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=2022/01/ | + | |Submission deadline=2022/01/26 |
|Homepage=https://etaps.org/2022/tacas | |Homepage=https://etaps.org/2022/tacas | ||
|wikicfpId=tacas/tacas2022-1 | |wikicfpId=tacas/tacas2022-1 | ||
| Line 14: | Line 14: | ||
|Country=Germany | |Country=Germany | ||
|presence=presence | |presence=presence | ||
| − | |Paper deadline=2021/12/23 | + | |Paper deadline=2021/10/14 |
| + | |Notification=2021/12/23 | ||
}} | }} | ||
The 28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2022 | The 28. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2022 | ||
Revision as of 12:03, 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 | |
| Papers: | 2021/10/14 |
| Submissions: | 2022/01/26 |
| Notification: | 2021/12/23 |
| 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
-->