Theoretical Foundations of Applied SAT Solving
Arriving Sunday, January 19 and departing Friday January 24, 2014
Confirmed Participants
| Name | Affiliation |
|---|---|
| Atserias, Albert | Universitat Politecnica de Catalunya |
| Audemard, Gilles | Universite d'Artois |
| Beame, Paul | University of Washington |
| Beck, Chris | Princeton University |
| Ben-Sasson, Eli | Technion |
| Beyersdorff, Olaf | University of Jena |
| Biere, Armin | Johannes Kepler University |
| Bonacina, Ilario | UPC Universitat Politècnica de Catalunya |
| Bueno, Denis | University of Michigan |
| Buss, Sam | University of California, San Diego |
| Darwiche, Adnan | University of California Los Angeles |
| Een, Niklas | University of California Berkeley |
| Fichte, Johannes Klaus | Vienna University of Technology |
| Franco, John | University of Cincinnati |
| Galesi, Nicola | Università degli Studi di Roma La Sapienza |
| Ganesh, Vijay | University of Waterloo |
| Ghasemloo, Kaveh | University of Toronto |
| Goultiaeva, Alexandra | University of Toronto |
| Gurevich, Yuri | Microsoft Research |
| Heule, Marijn | University of Texas at Austin |
| Järvisalo, Matti | University of Helsinki |
| Johannsen, Jan | LMU Munich |
| Kalla, Priyank | University of Utah |
| Kolokolova, Antonina | Memorial University of Newfoundland |
| Kullmann, Oliver | Swansea University |
| Lauria, Massimo | KTH Royal Institute of Technology |
| Le Berre, Daniel | Universite d'Artois |
| Malik, Sharad | Princeton University |
| Manthey, Norbert | TU Dresden |
| Marques-Silva, Joao | LASIGE, Faculty of Sciences, University of Lisbon |
| Miksa, Mladen | KTH Royal Institute of Technology |
| Narodytska, Nina | University of Toronto |
| Nordström, Jakob | University of Copenhagen |
| Oliveras, Albert | Universitat Politecnica de Catalunya |
| Razborov, Alexander | University of Chicago |
| Sabharwal, Ashish | IBM Watson Research Center |
| Sakallah, Karem | University of Michigan |
| Santhanam, Rahul | University of Oxford |
| Seidl, Martina | Johannes Kepler University |
| Simon, Laurent | LaBRI / University of Bordeaux |
| Sinz, Carsten | Karlsruhe Institute of Technology |
| Szeider, Stefan | Vienna University of Technology |
| Toran, Jacobo | University of Ulm |
| Urquhart, Alasdair | University of Toronto |
| Van Gelder, Allen | University of California Santa Cruz |
| Vardi, Moshe | Rice University |
| Vinyals, Marc | Technion |
| Weaver, Sean | US Department of Defense |
