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

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

Who's online

We have 34 guests and no members online

Site Hosted by