Difference between revisions of "TACAS 2020"
Jump to navigation
Jump to search
| Line 8: | Line 8: | ||
|Start date=2020/04/15 | |Start date=2020/04/15 | ||
|End date=2020/04/30 | |End date=2020/04/30 | ||
| + | |Submission deadline=2019/10/24 | ||
|Homepage=https://etaps.org/2020/tacas | |Homepage=https://etaps.org/2020/tacas | ||
|gndId=1212468643 | |gndId=1212468643 | ||
| Line 16: | Line 17: | ||
|Country=Ireland | |Country=Ireland | ||
|presence=online | |presence=online | ||
| + | |Notification=2019/12/23 | ||
| + | |Camera ready=2020/02/22 | ||
|Submitting link=https://easychair.org/account/signin?l=Q33oBUNkVzc4KfIdDAnTh5# | |Submitting link=https://easychair.org/account/signin?l=Q33oBUNkVzc4KfIdDAnTh5# | ||
|has program chair=Armin Biere, David Parker | |has program chair=Armin Biere, David Parker | ||
Revision as of 08:40, 7 October 2021
| TACAS 2020 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 26 |
| Event in series | TACAS |
| Subevent of | ETAPS |
| Dates | 2020/04/15 (iCal) - 2020/04/30 |
| Presence | online |
| Homepage: | https://etaps.org/2020/tacas |
| Submitting link: | https://easychair.org/account/signin?l=Q33oBUNkVzc4KfIdDAnTh5# |
| Location | |
| Location: | Dublin, Ireland |
| Important dates | |
| Submissions: | 2019/10/24 |
| Notification: | 2019/12/23 |
| Camera ready due: | 2020/02/22 |
| Papers: | Submitted 155 / Accepted 48 (31 %) |
| Committees | |
| PC chairs: | Armin Biere, David Parker |
| Table of Contents | |
The 26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2020
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
Important dates
(No abstract submission deadline)
Paper submission deadline: 24 October 2019 23:59 AoE (=GMT-12)
Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 9 December 00:01 AoE - 10 December 23:59 AoE
Author notification: 23 December 2019
Camera-ready versions: 22 February 2020