Call for Papers – TACAS 2020

26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems


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