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 Jena |
| 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 | Czech Academy of Sciences |
| 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 |
| Nordström, Jakob | University of Copenhagen |
| 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 | Technion |
| Wallon, Romain | Universite d'Artois |
