SoCS 2013 Organization

Symposium Chairs Malte Helmert (University of Basel, Switzerland) Gabriele Röger (University of Basel, Switzerland)

Local Arrangements Mausam (University of Washington, USA)

Program Committee Christer Bäckström (Linköping University, Sweden) Jorge Baier (PUC Chile, Chile) Roman Barták (Charles University, Czech Republic) Hannah Bast (University of Freiburg, Germany) Chris Beck (University of Toronto, Canada) Kostas Bekris (Rutgers University, USA) J. Benton (Smart Information Flow Technologies – SIFT, USA) Blai Bonet (Universidad Simon Bolivar, Venezuela) Daniel Borrajo (Universidad Carlos III de Madrid, Spain) Adi Botea (IBM Research, Ireland) Ethan Burns (University of New Hampshire, USA) Rina Dechter (University of California at Irvine, USA) Daniel Delling (Microsoft Research Silicon Valley, USA) Carmel Domshlak (Technion, Israel) Stefan Edelkamp (University of Bremen, Germany) Ariel Felner (Ben-Gurion University, Israel) Alex Fukunaga (The University of Tokyo, Japan) Hector Geffner (ICREA & Universitat Pompeu Fabra, Spain) Carla Gomes (Cornell University, USA) Malte Helmert (University of Basel, Switzerland) Jörg Hoffmann (Saarland University, Germany) Robert Holte (University of Alberta, Canada) Eric Huang (Palo Alto Research Center, USA) Frank Hutter (University of Freiburg, Germany) Riko Jacob (ETH Zürich, Switzerland) Erez Karpas (Technion, Israel) Lydia Kavraki (Rice University, USA) Thomas Keller (University of Freiburg, Germany) Philip Kilby (NICTA and Australian National University, Australia) Akihiro Kishimoto (IBM Research, Ireland)

viii Peter Kissmann (Saarland University, Germany) Sven Koenig (University of Southern California, USA) Richard Korf (University of California at Los Angeles, USA) Carlos Linares López (Universidad Carlos III de Madrid, Spain) Robert Mattmüller (University of Freiburg, Germany) Martin Mueller (University of Alberta, Canada) Barry O'Sullivan (4C, University College Cork, Ireland) Héctor Palacios (Universidad Carlos III de Madrid, Spain) Gabriele Röger (University of Basel, Switzerland) Wheeler Ruml (University of New Hampshire, USA) Alessandro Saetti (University of Brescia, Italy) Lorenza Saitta (Universita del Piemonte Orientale, Italy) Roni Stern (Ben Gurion University, Israel) Sabine Storandt (University of Freiburg, Germany) Nathan Sturtevant (University of Denver, USA) Jordan Thayer (Smart Information Flow Technologies – SIFT, USA) Jur van den Berg (University of Utah, USA) Toby Walsh (NICTA and University of New South Wales, Australia) Martin Wehrle (University of Basel, Switzerland) William Yeoh (New Mexico State University, USA) Rong Zhou (Palo Alto Research Center, USA)

Additional Reviewers Vidal Alcázar (Universidad Carlos III de Madrid, Spain) Yusra Alkhazraji (University of Freiburg, Germany) Marcello Cirillo (Örebro University, Sweden) Natasha Flerova (University of California at Irvine, USA) Serge Gaspers (NICTA and University of New South Wales, Australia) Max Gath (University of Bremen, Germany) Meir Goldenberg (Ben-Gurion University, Israel) Daniel Harabor (NICTA and Australian National University, Australia) Morteza Lahijanian (Rice University, USA) Ronan Le Bras (Cornell University, USA) Zakary Littlefield (Rutgers University, USA) Sergio Núñez (Universidad Carlos III de Madrid, Spain) Ivan Serina (University of Brescia, Italy) Guni Sharon (Ben-Gurion University, Israel) Álvaro Torralba (Universidad Carlos III de Madrid, Spain) Tony Tran (University of Toronto, Canada) Tansel Uras (University of Southern California, USA) Mauro Vallati (University of Huddersfield, UK) Jesús Virseda (Universidad Carlos III de Madrid, Spain) Fan Xie (University of Alberta, Canada)

ix