Difference between revisions of "TACAS 2022"
Jump to navigation
Jump to search
| Line 8: | Line 8: | ||
|Start date=2022/04/02 | |Start date=2022/04/02 | ||
|End date=2022/04/07 | |End date=2022/04/07 | ||
| + | |Submission deadline=2021/10/14 | ||
|Homepage=https://etaps.org/2022/tacas | |Homepage=https://etaps.org/2022/tacas | ||
|wikicfpId=tacas/tacas2022-1 | |wikicfpId=tacas/tacas2022-1 | ||
| Line 18: | Line 19: | ||
==Topics== | ==Topics== | ||
| + | *specification and verification techniques; | ||
| + | *software and hardware verification; | ||
| + | *analytical techniques for real-time, hybrid, or stochastic systems; | ||
| + | *analytical techniques for safety, security, or dependability; | ||
| + | *SAT and SMT solving; | ||
| + | *theorem proving; | ||
| + | *model checking; | ||
| + | *static and dynamic program analysis; | ||
| + | *testing; | ||
| + | *abstraction techniques for modeling and verification; | ||
| + | *compositional and refinement-based methodologies; | ||
| + | *system construction and transformation techniques; | ||
| + | *machine-learning techniques for synthesis and verification; | ||
| + | *tool environments and tool architectures; | ||
| + | *applications and case studies. | ||
| + | |||
| + | |||
==Submissions== | ==Submissions== | ||
==Important Dates== | ==Important Dates== | ||
Revision as of 11:59, 12 October 2021
| TACAS 2022 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 28 |
| Event in series | TACAS |
| Subevent of | ETAPS |
| Dates | 2022/04/02 (iCal) - 2022/04/07 |
| Presence | presence |
| Homepage: | https://etaps.org/2022/tacas |
| Location | |
| Location: | Munich, Germany |
| Important dates | |
| Submissions: | 2021/10/14 |
| Table of Contents | |
The 28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2022
Topics
- specification and verification techniques;
- software and hardware verification;
- analytical techniques for real-time, hybrid, or stochastic systems;
- analytical techniques for safety, security, or dependability;
- SAT and SMT solving;
- theorem proving;
- model checking;
- static and dynamic program analysis;
- testing;
- abstraction techniques for modeling and verification;
- compositional and refinement-based methodologies;
- system construction and transformation techniques;
- machine-learning techniques for synthesis and verification;
- tool environments and tool architectures;
- applications and case studies.
Submissions
Important Dates
Paper submission deadline (also, pre-paper-acceptance artifact registration deadline (TACAS)): 14 October 2021 23:59 AoE (=GMT-12)
Pre-paper-acceptance artifact submission deadline (TACAS): 4 November 2021 23:59 AoE
Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 2021 00:01 AoE - 9 December 2021 23:59 AoE
Paper notification: 23 December 2021
Post-paper-acceptance artifact submission deadline (ESOP, FASE, TACAS): 5 January 2022 23:59 AoE
Paper final versions: 26 January 2022
Artifact notification: 16 February 2022
Committees
- Co-Organizers
- General Co-Chairs
- some person, some affiliation, country
- PC Co-Chairs
- some person, some affiliation, country
- Workshop Chair
- some person, some affiliation, country
- Panel Chair
- some person, some affiliation, country
- Seminars Chair
- some person, some affiliation, country
- Demonstration Co-Chairs
- some person, some affiliation, country
- some person, some affiliation, country
- Local Organizing Co-Chairs
- some person, some affiliation, country
- Program Committee Members
- some person, some affiliation, country
-->