SAT'10: July 11-14

Overview

The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT).

Detailed information about SAT2010 can be found on the SAT 2010 webpage.

Call for Papers

Programme

Program Chairs

Ofer Strichman, Technion, Israel
Stefan Szeider, TU Vienna, Austria

Conference Chairs

Ofer Strichman, Technion, Israel
Stefan Szeider, TU Vienna, Austria

Workshop Chairs

Carsten Sinz, Univ. of Karslruhe, Germany

Program Committee:

Dimitris Achlioptas, UC Santa Cruz, United States
Fahiem Bacchus, University of Toronto, Canada
Armin Biere, Johannes Kepler University, Austria
Nadia Creignou, Université d'Aix-Marseille, France
Stefan Dantchev, Durham University, United Kingdom
Adnan Darwiche, University of California, Los Angeles, United States
John Franco, University of Cincinnati, United States
Enrico Giunchiglia, DIST - Univ. Genova, Italy
Kazuo Iwama, Kyoto University, Japan
Hans Kleine Buning, Universität Paderborn, Germany
Oliver Kullmann, Swansea University, Computer Science Department, United Kingdom
SAIS LAKHDAR, CRIL-CNRS, France
Daniel Le Berre, CRIL-CNRS UMR 8188, France
Chu-Min Li, Laria, Universite de Picardie Jules Verne, France
Ines Lynce, Technical University of Lisbon, Portugal
Panagiotis Manolios, Northeastern University, United States
Joao Marques-Silva, University College Dublin, Ireland
David Mitchell, Simon Fraser University, Canada
Alexander Nadel, Tel-Aviv University & Intel Corporation, Israel
Robert Nieuwenhuis, Tech. University Catalonia, Spain
Albert Oliveras, Technical University of Catalonia, Spain
Ramamohan Paturi, University of California, San Diego, United States
Igor Razgon, Computer Science Department, University College Cork, Ireland
Karem Sakallah, University of Michigan, United States
Roberto Sebastiani, DISI, University of Trento, Italy
Laurent Simon, LRI - Univ. Paris Sud, France
Carsten Sinz, University of Karlsruhe, Germany
Robert Sloan, University of Illinois at Chicago, United States
Miroslaw Truszczynski, University of Kentucky, United States
Alasdair Urquhart, University of Toronto, Canada
Allen Van Gelder, University of California, Santa Cruz, United States
Hans van Maaren, Delft University, Netherlands
Toby Walsh, NICTA and UNSW, Australia
Emo Welzl, ETH Zurich, Switzerland
Lintao Zhang, Microsoft Research, United States
Xishun Zhao, Insitute of Logic and Cognition, Sun Yat-Sen University, China