ETAPS 2020: 25-30 April 2020, Dublin, Ireland cancelled

Invited Talks and Tutorials

The physical ETAPS 25-30 April 2020 has been cancelled.

Unifying speakers

Scott Smolka, Stony Brook University, USA
Jane Hillston, University of Edinburgh, United Kingdom

ESOP invited speaker

Isil Dillig, University of Texas at Austin, USA

FASE invited speaker

Willem Visser, Stellenbosch University, South Africa

Tutorial speakers

Erika Ábrahám (RWTH Aachen University, Germany) - on analysis of hybrid systems
Madhusudan Parthasararathy (University of Illinois at Urbana-Champaign, USA) - on combining machine learning and formal methods