Difference between revisions of "TACAS 2020"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=TACAS 2020 | |Acronym=TACAS 2020 | ||
| − | |Title= | + | |Title=International Conference on Tools and Algorithms for the Construction and Analysis of Systems |
| + | |Ordinal=26 | ||
|Series=TACAS | |Series=TACAS | ||
|Type=Conference | |Type=Conference | ||
| − | | | + | |Superevent=ETAPS |
|Start date=2020/04/15 | |Start date=2020/04/15 | ||
|End date=2020/04/30 | |End date=2020/04/30 | ||
| + | |Homepage=https://etaps.org/2020/tacas | ||
| + | |gndId=1212468643 | ||
| + | |DblpConferenceId=tacas/tacas2020-1 | ||
| + | |wikicfpId=94691 | ||
| + | |wikidataid=Q106337697 | ||
|City=Dublin | |City=Dublin | ||
|Country=Ireland | |Country=Ireland | ||
| + | |presence=online | ||
| + | |Submitting link=https://easychair.org/account/signin?l=Q33oBUNkVzc4KfIdDAnTh5# | ||
|has program chair=Armin Biere, David Parker | |has program chair=Armin Biere, David Parker | ||
|Submitted papers=155 | |Submitted papers=155 | ||
| Line 15: | Line 23: | ||
|has Proceedings DOI=DOI https://doi.org/10.1007/978-3-030-45190-5 | |has Proceedings DOI=DOI https://doi.org/10.1007/978-3-030-45190-5 | ||
}} | }} | ||
| − | + | 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== | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Revision as of 08:38, 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 |
| 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.