SAT 2019
July 7 - 12, Lisboa, Portugal
July 7 - 12, Lisboa, Portugal
Committees
Program Chairs
- Mikoláš Janota (INESC-ID/IST, Universidade de Lisboa, Portugal)
- Inês Lynce (INESC-ID/IST, Universidade de Lisboa, Portugal)
Workshop Chair
- Vasco Manquinho (INESC-ID/IST, Universidade de Lisboa, Portugal)
Publicity Chair
- Alexey Ignatiev (FCUL/LaSIGE, Universidade de Lisboa, Portugal)
Program Committee
- Aina Niemetz, Stanford University
- Alexander Nadel, Intel
- Alexey Ignatiev, FCUL/LaSIGE, Universidade de Lisboa
- Armin Biere, Johannes Kepler University
- Christoph Wintersteiger, Microsoft Research
- Daniel LeBerre, Université d'Artois, CNRS
- Emmanuel Hebrard, LAAS-CNRS
- Fahiem Bacchus, University of Toronto
- Felip Manyà, IIIA-CSIC
- Friedrich Slivovsky, TU Wien
- Jakob Nordström, KTH
- Jan Johannsen, Ludwig-Maximilians-Universität München
- Joao Marques-Silva, FCUL, Universidade de Lisboa
- Kuldeep Meel, National University of Singapore
- Laurent Simon, Labri, Bordeaux Institute of Technology
- Luca Pulina, University of Sassari
- Maria Luisa Bonet, Universidad Politécnica de Cataluña
- Marijn Heule, The University of Texas at Austin
- Markus Rabe, Google Research
- Martin Suda, CIIRC, Czech Technical University
- Martina Seidl, Johannes Kepler University Linz
- Matti Järvisalo, University of Helsinki
- Natasha Sharygina, University of Lugano
- Nikolaj Bjørner, Microsoft Research
- Olaf Beyersdorff, University of Jena
- Oliver Kullmann, Swansea University
- Pascal Fontaine, Université de Lorraine
- Ralf Wimmer, Albert-Ludwigs-Universität Freiburg
- Roberto Sebastiani, DISI, University of Trento
- Ruben Martins, Carnegie Mellon University
- Sam Buss, University of California, San Diego
- Stefan Szeider, TU Wien
- Takehide Soh, Kobe University
- Vasco Manquinho, INESC-ID/IST, Universidade de Lisboa