SAT 2013
16th International Conference on Theory and Applications of Satisfiability Testing

July 8-12, 2013   ·   Helsinki, Finland

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 TrentoItaly
Alessandro Cimatti FBK-IrstItaly
Karem Sakallah University of MichiganUSA
Laurent Simon University of Paris 11France
Stefan Szeider Vienna Institute of TechnologyAustria
Ofer Strichman TechnionIsrael
Oliver Kullmann University of SwanseaUK

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 AbioCarlos AnsoteguiAdrian Balint
Mutsunori BanbaraSam BaylessAnton Belov
Olaf BeyersdorffRoberto BruttomessoGeoffrey Chu
Michael CodishStefan DantchevCristina David
Bistra DilkinaUwe EglyStefano Ermon
Thibaut FeydyVojtech ForejtAnders Franzen
Andreas FroehlichAlban GrastienAlberto Griggio
Matthew GwynneFederico HerasBenoit Hoessen
Alexey IgnatievDmitry ItsyksonSaid Jabbour
Mikolas JanotaHans Kleine BueningGergeley Kovasznai
Jean Marie LagniezMassimo LauriaRonan Le Bras
Theodor LettmannTheodor LettmannMatt Lewis
Chu-Min LiVasco ManquinhoFelip Manya
Marco MarateaRuben MartinsArne Meier
Mladen MiksaAntonio MorgadoHidetomo Nabeshima
Jorge A. NavasAina NiemetzMladen Nikolic
Yakov NovikovNicola OlivettiSebastian Ordyniak
C├ędric PietteMathias PreinerAlessandro Previti
Simone Fulvio RolliniStephanie RousselVadim Ryvchin
Bas SchaafsmaDominik SchederJohannes Schmidt
Marius SchneiderStefan SchneiderPeter Schrammel
Martina SeidlLaurent SimonFriedrich Slivovsky
Takehide SohGuido TackMichael Tautschnig
Silvia TomasiStefano TonettaMarc Vinyals
Yakir VizelMagdalena WidlSiert Wieringa
Christoph M. WintersteigerGuy WolfovitzLin Xu
Yexiang XueWeiya Yue