17th International Conference on Theory and Applications of Satisfiability Testing

July 14-17, 2014   ·   Vienna, Austria

Organization

Program Committee Chairs

Uwe EglyVienna University of TechnologyAustria
Carsten SinzKarlsruhe Institute of TechnologyGermany

Workshops Chair

Inês LynceTechnical University of LisbonPortugal

Competitions Chair

Laurent SimonUniversity of BordeauxFrance

Program Committee

Gilles Audemard Artois UniversityFrance
Fahiem Bacchus University of TorontoCanada
Anton Belov University College DublinIreland
Olaf Beyersdorff University of LeedsUK
Armin Biere Johannes Kepler University LinzAustria
Alessandro Cimatti Fondazione Bruno Kessler Italy
Nadia Creignou University of Aix-MarseilleFrance
John Franco University of CincinnatiUSA
Enrico Giunchiglia University of GenoaItaly
Youssef Hamadi Microsoft Research CambridgeUK
Marijn Heule University of Texas at AustinUSA
Holger H. Hoos University of British ColumbiaCanada
Matti Järvisalo University of HelsinkiFinland
Hans Kleine Büning University of PaderbornGermany
Oliver Kullmann Swansea UniversityUK
Daniel Le Berre Artois UniversityFrance
Chu Min Li University of Picardie Jules VerneFrance
Florian Lonsing Vienna University of TechnologyAustria
Ines Lynce Technical University of LisbonPortugal
Panagiotis Manolios Northeastern UniversityUSA
Norbert Manthey TU DresdenGermany
Joao Marques-Silva University College DublinIreland
Alexander Nadel Intel HaifaIsrael
Jakob Nordström KTH Royal Institute of TechnologySweden
Albert Oliveras Technical University of CataloniaSpain
Jussi Rintanen Aalto UniversityFinland
Lakhdar Sais Artois UniversityFrance
Karem Sakallah University of MichiganUSA
Horst Samulowitz IBM TJ Watson Research CenterUSA
Tobias Schubert Albert-Ludwigs-University of FreiburgGermany
Roberto Sebastiani University of TrentoItaly
Martina Seidl Johannes Kepler University LinzAustria
Bart Selman Cornell UniversityUSA
Stefan Szeider Vienna University of TechnologyAustria
Jacobo Torán University of UlmGermany
Allen Van Gelder University of California at Santa CruzUSA
Xishun Zhao Sun Yat-sen UniversityChina