26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Website: https://www.etaps.org/2020/tacas
Location : Dublin, Ireland
Conference dates : 25 April-1 May 2020
Important dates :
Paper submission deadline: 24 October 2019
Affiliated Events :
* ESOP: European Symposium on Programming
* FASE: Fundamental Approaches to Software Engineering
* FoSSaCS: Foundations of Software Science and Computation Structures