SAT-2005 Home Page



SAT-2005 Eighth International Conference on Theory and Applications of Satisfiability Testing with 2005 SAT Solver Competition 2005 QBF Solver Evaluation
June 19th-23rd 2005 University of St. Andrews Conference Centre St. Andrews, Scotland

On-Line Registration and accommodation booking
Deadline June 1st.

Travel Information
(How to get to the University of St. Andrews,
and some information about St. Andrews and the Conference Venue)

List of accepted papers

Schedule

AV Information

Important Dates:

June 1st:

Registration and accommodation booking deadline.

Proceedings: The proceedings of the conference will be published in the Springer Lecture Notes in Computer Science Series. Unlike previous years accepted papers will be published in the proceedings and distributed at the conference. (There will not be a secondary round of post-conference submissions).
Description: The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT). Located in the historic town of St Andrews, SAT 2005 will feature technical paper and poster sessions, invited talks, and the annual SAT Solver Competition and QBF Solver Evaluation.
Organizing Committee:

Conference Chairs:
Fahiem Bacchus
University of Toronto, Canada
Toby Walsh
UNSW, Sydney and NICTA, Australia

Local Chair:
Ian Miguel
University of St. Andrews, Scotland

SAT solver competition chairs:
Daniel Le Berre Universite d'Artois, France
Laurent Simon Universite Paris-Sud, France

QBF SOLVER EVALUATION ORGANIZERS
Massimo Narizzano Universita di Genova, Italy
Armando Tacchella Universita di Genova, Italy

Program Committee:

Dimitris Achlioptas, Microsoft Research,USA.
Fadi Aloul, University of Michigan, USA.
Clark Barrett, New York University, USA.
Paul Beame, University of Washington, USA.
Armin Biere ETH Zurich, Switzerland.
Ronen Brafman, Ben Gurion University, Israel.
Alessandro Cimatti, IRST, Italy.
Constantinos Bartzis, CMU, USA.
Adnan Darwiche, UCLA, USA.
Alvaro del Val, Universidad Autonomoa de Madrid, Spain.
Enrico Giunchiglia, Universita di Genova, Italy.
Eugene Goldberg, Cadence, USA.
Ziyad Hanna, Intel Corporation, USA.
Edward Hirsch, Steklov Institute of Mathematics at St. Petersburg, Russia.
Henry Kautz, University of Washington, USA.
Eleftherios Kirousis, University of Patras, Greece.
Hans Kleine Büning, University of Paderborn, Germany.

Daniel Le Berre Universite d'Artois, France.
Chu-Min Li, Universite de Picardie, France.
Fangzhen Lin, University of Science and Technology, Hong Kong.
Sharad Malik, Princeton University, USA.
Joao Marques-Silva, Universidade Tecnica de Lisboa, Portugal.
Ilkka Niemela, Helsinki University of Technology, Finland.
Toniann Pitassi, University of Toronto, Canada.
Steve Prestwich, University College Cork, Ireland.
Jussi Rintanen, Universitaet Freiburg, Germany.
Lakhdar Sais, CNRS, Universite d'Artois, France.
Karem Sakallah, University of Michigan, USA.
Laurent Simon, Universite Paris-Sud, France.
Stefan Szeider, University of Durham, UK.
Mirek Truszczynski, University of Kentucky, USA.
Allen Van Gelder, University of California at Santa Cruz, USA.
Hans van Maaren, Delft University of Technology, Netherlands.
Lintao Zhang, Microsoft Research, USA.

Sponsors:

Expired calls
- Call For Papers pdf, html

SAT-2005

Eighth International Conference on Theory and Applications of Satisfiability Testing

June 19th-23rd 2005 University of St. Andrews Conference Centre St. Andrews, Scotland

Eighth International Conference on
Theory and Applications of Satisfiability Testing

June 19th-23rd 2005
University of St. Andrews Conference Centre
St. Andrews, Scotland