Invited Talks and Tutorials

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