TACAS 2020

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
Loading map... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":53.3493795,"lon":-6.2605593,"icon":""}],"imageoverlays":null}
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.

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