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 Leeds
Biere, Armin Johannes Kepler University
Bonacina, Ilario Università degli Studi di Roma La Sapienza
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 IST/INESC-ID
Miksa, Mladen KTH Royal Institute of Technology
Narodytska, Nina University of Toronto
Nordstrom, Jakob KTH Royal Institute of Technology
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, Bordeaux Institute of Technology, France
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 KTH Royal Institute of Technology
Weaver, Sean US Department of Defense