Invited Talks and Tutorials
The invited speakers and tutorialists from ETAPS 2020 (cancelled because of the pandemic) have been reinvited to speak at ETAPS 2021.
Unifying speakers
Scott Smolka, Stony Brook University, USA
Jane Hillston, University of Edinburgh, United Kingdom (TO BE RECONFIRMED)
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
