Difference between revisions of "TACAS 2021"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=TACAS 2021 | |Acronym=TACAS 2021 | ||
| − | |Title= | + | |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
| + | |Ordinal=27 | ||
|Series=TACAS | |Series=TACAS | ||
|Type=Conference | |Type=Conference | ||
| − | | | + | |Superevent=ETAPS |
|Start date=2021/03/27 | |Start date=2021/03/27 | ||
|End date=2021/04/01 | |End date=2021/04/01 | ||
| Line 10: | Line 11: | ||
|City=Luxembourg | |City=Luxembourg | ||
|Country=Luxembourg | |Country=Luxembourg | ||
| + | |presence=online | ||
| + | |Submitting link=https://easychair.org/account/signin?l=aR2dmj5v9tsrlvKjyl1w2k# | ||
|has general chair=Peter Y. A. Ryan | |has general chair=Peter Y. A. Ryan | ||
| + | |has program chair=Jan Friso Groote, Kim G. Larsen | ||
|has workshop chair=Joaquin Garcia-Alfaro | |has workshop chair=Joaquin Garcia-Alfaro | ||
}} | }} | ||
| − | + | The 27. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2021 | |
| − | |||
| − | == | + | ==Topics== |
| − | + | *specification and verification techniques; | |
| − | * specification and verification techniques; | + | *software and hardware verification; |
| − | * software and hardware verification; | + | *analytical techniques for real-time, hybrid, or stochastic systems; |
| − | * analytical techniques for real-time, hybrid, or stochastic systems; | + | *analytical techniques for safety, security, or dependability; |
| − | * analytical techniques for safety, security, or dependability; | + | *SAT and SMT solving; |
| − | * SAT and SMT solving; | + | *theorem proving; |
| − | * theorem proving; | + | *model checking; |
| − | * model checking; | + | *static and dynamic program analysis; |
| − | * static and dynamic program analysis; | + | *testing; |
| − | * testing; | + | *abstraction techniques for modeling and verification; |
| − | * abstraction techniques for modeling and verification; | + | *compositional and refinement-based methodologies; |
| − | * compositional and refinement-based methodologies; | + | *system construction and transformation techniques; |
| − | * system construction and transformation techniques; | + | *machine-learning techniques for synthesis and verification; |
| − | * machine-learning techniques for synthesis and verification; | + | *tool environments and tool architectures; |
| − | * tool environments and tool architectures; | + | *applications and case studies. |
| − | * applications and case studies. | ||
| − | |||
| − | |||
| − | == | + | ==Submissions== |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ==Important Dates== | |
| − | + | (No abstract submission deadline)<br> | |
| − | + | Paper submission deadline: 15 October 2020 23:59 AoE (=GMT-12)<br> | |
| − | + | Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 23:59 AoE<br> | |
| + | Author notification: 23 December 2020<br> | ||
| + | Camera-ready versions: 22 January 2021 | ||
Revision as of 10:15, 7 October 2021
| TACAS 2021 | |
|---|---|
International Conference on Tools and Algorithms for the Construction and Analysis of Systems
| |
| Ordinal | 27 |
| Event in series | TACAS |
| Subevent of | ETAPS |
| Dates | 2021/03/27 (iCal) - 2021/04/01 |
| Presence | online |
| Homepage: | https://etaps.org/2021/tacas |
| Submitting link: | https://easychair.org/account/signin?l=aR2dmj5v9tsrlvKjyl1w2k# |
| Location | |
| Location: | Luxembourg, Luxembourg |
| Committees | |
| General chairs: | Peter Y. A. Ryan |
| PC chairs: | Jan Friso Groote, Kim G. Larsen |
| Workshop chairs: | Joaquin Garcia-Alfaro |
| Table of Contents | |
The 27. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2021
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
(No abstract submission deadline)
Paper submission deadline: 15 October 2020 23:59 AoE (=GMT-12)
Rebuttal (ESOP, FoSSaCS and, partially, TACAS): 7 December 00:01 AoE - 9 December 23:59 AoE
Author notification: 23 December 2020
Camera-ready versions: 22 January 2021