Site Overlay

Committees

Due to the current circumstances regarding the COVID-19 pandemic outbreak, the conference program chairs have decided to hold SAT 2020 as a fully virtual conference which will be held from 3 to 10 July 2020.

 

Program Chairs
Workshop Chair
Publicity Chair
Program Committee

Fahiem Bacchus, University of Toronto
Olaf Beyersdorff, Friedrich Schiller University Jena
Armin Biere, Johannes Kepler University Linz
Nikolaj Bjorner, Microsoft
Maria Luisa Bonet, Universitat Politècnica de Catalunya
Sam Buss, University of California San Diego
Florent Capelli, Université de Lille
Pascal Fontaine, Université de Liège, Belgium
Marijn Heule, Carnegie Mellon University
Alexey Ignatiev, Universidade de Lisboa
Mikolas Janota, University of Lisbon
Matti Järvisalo, University of Helsinki
Oliver Kullmann, Swansea University
Jie-Hong Roland Jiang, National Taiwan University
Jan Johannsen, LMU Munich
Benjamin Kiesl, CISPA Helmholtz Center for Information Security
Daniel Le Berre, Université d’Artois
Florian Lonsing, Stanford University
Ines Lynce, Universidade de Lisboa
Vasco Manquinho, Universidade de Lisboa, Portugal
Felip Manyà, IIIA-CSIC
Joao Marques-Silva, University of Toulouse
Ruben Martins, Carnegie Mellon University
Kuldeep S. Meel, National University of Singapore
Alexander Nadel, Intel
Aina Niemetz, Stanford University
Jakob Nordstrom, University of Copenhagen
Markus N. Rabe, Google
Roberto Sebastiani, University of Trento
Natasha Sharygina, Università della Svizzera italiana
Laurent Simon, Bordeaux Institute of Technology
Friedrich Slivovsky, Vienna University of Technology
Stefan Szeider, Vienna University of Technology
Ralf Wimmer, Concept Engineering GmbH & Albert-Ludwigs-Universität Freiburg
Christoph M. Wintersteiger, Microsoft