SAT 2013 Conference Organization
Program Committee Chairs
| Matti Järvisalo | University of Helsinki | Finland |
| Allen Van Gelder | University of California at Santa Cruz | USA |
Competitions Chair
| Olivier Roussel | Artois University | France |
Local Chair
| Matti Järvisalo | University of Helsinki | Finland |
Local Organization Team
Jeremias Berg, Kerstin Bunte, Juho Hirvonen, Antti Hyttinen, Juho-Kustaa Kangas, Janne H. Korhonen, Brandon Malone, Joel Rybicki, Olli Saarikivi, Nikolay Vasilev, Siert Wieringa, Jie Xiong
Steering Committee
| Roberto Sebastiani | University of Trento | Italy |
| Alessandro Cimatti | FBK-Irst | Italy |
| Karem Sakallah | University of Michigan | USA |
| Laurent Simon | University of Paris 11 | France |
| Stefan Szeider | Vienna Institute of Technology | Austria |
| Ofer Strichman | Technion | Israel |
| Oliver Kullmann | University of Swansea | UK |
Program Committee
| Gilles Audemard | Artois University | France |
| Fahiem Bacchus | University of Toronto | Canada |
| Armin Biere | Johannes Kepler University | Austria |
| Maria Luisa Bonet | Technical University of Catalonia | Spain |
| Lucas Bordeaux | Microsoft Research | UK |
| Uwe Bubeck | University of Paderborn | Germany |
| Samuel Buss | University of California at San Diego | USA |
| Nadia Creignou | Aix-Marseille Université | France |
| Leonardo de Moura | Microsoft Research | USA |
| John Franco | University of Cincinnati | USA |
| Enrico Giunchiglia | Università di Genova | Italy |
| Ziyad Hanna | Jasper Automation | USA |
| Marijn Heule | The University of Texas at Austin | USA |
| Holger H. Hoos | University of British Columbia | Canada |
| Jinbo Huang | NICTA | Australia |
| Tommi Junttila | Aalto University | Finland |
| Matti Järvisalo | University of Helsinki | Finland |
| Arist Kojevnikov | Intel | Germany |
| Daniel Kroening | Oxford University | UK |
| Oliver Kullmann | Swansea University | UK |
| Daniel Le Berre | Artois University | France |
| Florian Lonsing | Vienna University of Technology | Austria |
| Ines Lynce | Technical University of Lisbon | Portugal |
| Joao Marques-Silva | University College Dublin | Ireland |
| Alexander Nadel | Intel | Israel |
| Jakob Nordström | KTH Royal Institute of Technology | Sweden |
| Albert Oliveras | Technical University of Catalonia | Spain |
| Ramamohan Paturi | University of California at San Diego | USA |
| Jussi Rintanen | Aalto University | Finland |
| Olivier Roussel | Artois University | France |
| Ashish Sabharwal | IBM Research | USA |
| Lakhdar Sais | Artois University | France |
| Roberto Sebastiani | University of Trento | Italy |
| Bart Selman | Cornell University | USA |
| Peter Stuckey | NICTA and University of Melbourne | Australia |
| Stefan Szeider | Vienna University of Technology | Austria |
| Naoyuki Tamura | Kobe University | Japan |
| Allen Van Gelder | University of California at Santa Cruz | USA |
| Toby Walsh | NICTA and University of New South Wales | Australia |
External Reviewers
| Ignasi Abio | Carlos Ansotegui | Adrian Balint |
| Mutsunori Banbara | Sam Bayless | Anton Belov |
| Olaf Beyersdorff | Roberto Bruttomesso | Geoffrey Chu |
| Michael Codish | Stefan Dantchev | Cristina David |
| Bistra Dilkina | Uwe Egly | Stefano Ermon |
| Thibaut Feydy | Vojtech Forejt | Anders Franzen |
| Andreas Froehlich | Alban Grastien | Alberto Griggio |
| Matthew Gwynne | Federico Heras | Benoit Hoessen |
| Alexey Ignatiev | Dmitry Itsykson | Said Jabbour |
| Mikolas Janota | Hans Kleine Buening | Gergeley Kovasznai |
| Jean Marie Lagniez | Massimo Lauria | Ronan Le Bras |
| Theodor Lettmann | Theodor Lettmann | Matt Lewis |
| Chu-Min Li | Vasco Manquinho | Felip Manya |
| Marco Maratea | Ruben Martins | Arne Meier |
| Mladen Miksa | Antonio Morgado | Hidetomo Nabeshima |
| Jorge A. Navas | Aina Niemetz | Mladen Nikolic |
| Yakov Novikov | Nicola Olivetti | Sebastian Ordyniak |
| Cédric Piette | Mathias Preiner | Alessandro Previti |
| Simone Fulvio Rollini | Stephanie Roussel | Vadim Ryvchin |
| Bas Schaafsma | Dominik Scheder | Johannes Schmidt |
| Marius Schneider | Stefan Schneider | Peter Schrammel |
| Martina Seidl | Laurent Simon | Friedrich Slivovsky |
| Takehide Soh | Guido Tack | Michael Tautschnig |
| Silvia Tomasi | Stefano Tonetta | Marc Vinyals |
| Yakir Vizel | Magdalena Widl | Siert Wieringa |
| Christoph M. Wintersteiger | Guy Wolfovitz | Lin Xu |
| Yexiang Xue | Weiya Yue |