Theory and Practice of Satisfiability Solving

Arriving Sunday, August 26 and departing Friday August 31, 2018

Confirmed Participants

Name Affiliation
Atserias, Albert Universitat Politecnica de Catalunya
Bacchus, Fahiem University of Toronto
Beame, Paul University of Washington
Beyersdorff, Olaf University of Leeds
Bjorner, Nikolaj Microsoft Research
Bonet, Maria Luisa Universitat Politècnica de Catalunya
Buss, Sam University of California, San Diego
Carboni Oliveira, Igor University of Oxford
de Rezende, Susanna KTH Royal Institute of Technology
Devriendt, Jo KU Leuven
Ganesh, Vijay University of Waterloo
Gleixner, Ambros Zuse Institute Berlin
Gocht, Stephan KTH Royal Institute of Technology
Gupta, Aarti Princeton University
Hadarean, Liana Synopsys
Heule, Marijn University of Texas at Austin
Janota, Mikoláš IST/INESC-ID, U. of Lisbon
Kauers, Manuel Johannes Kepler University
Knop, Alexander UC San Diego
Kolokolova, Antonina Memorial University of Newfoundland
Kullmann, Oliver Swansea University
Lauria, Massimo Università degli studi di Roma - La Sapienza
Le Berre, Daniel Université d'Artois
Malik, Sharad Princeton University
Margulies, Susan United States Naval Academy
Markström, Klas Umeå universitet
Marques-Silva, Joao LASIGE, Faculty of Sciences, University of Lisbon
Martins, Ruben Carnegie Mellon University
Mull, Nathan University of Chicago
Narodytska, Nina VMware Research
Niemetz, Aina Stanford University
Nordstrom, Jakob KTH Royal Institute of Technology
Papakonstantinou, Periklis Rutgers University
Preiner, Mathias Stanford University
Rozier, Kristin Yvonne Iowa State University
Santhanam, Rahul University of Oxford
Seidl, Martina Johannes Kepler University
Simon, Laurent LaBRI / University of Bordeaux
Sorensson, Niklas Mentor Graphics
Vardi, Moshe Rice University
Vinyals, Marc Tata Institute of Fundamental Research
Wallon, Romain Universite d'Artois