SoCS 2014 Organization
Symposium Chairs
Stefan Edelkamp (University of Bremen, Germany) Roman Barták (Charles University in Prague, Czech Republic)
Local Arrangements
Milena Zeithamlová (Action M Agency)
Program Committee
Christer Bäckström (Linköping University, Sweden) Jorge Baier (Pontificia Universidad Católica de Chile, Chile) Roman Barták (Charles University in Prague, Czech Republic) Chris Beck (University of Toronto, Canada) Kostas Bekris (Rutgers University, USA) John Benton (Smart Information Flow Technologies, USA) Blai Bonet (Universidad Simon Bolivar, Venezuela) Daniel Borrajo (Universidad Carlos III de Madrid, Spain) Adi Botea (IBM Research, Ireland) Rina Dechter (University of California at Irvine, USA) Daniel Delling (Microso Research, USA) Stefan Edelkamp (University of Bremen, Germany) Ariel Felner (Ben-Gurion University, Israel) Alex Fukunaga (e University of Tokyo, Japan) Hector Geffner (ICREA and 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) Riko Jacob (ETH Zurich, Switzerland) Erez Karpas (Massachusetts Institute of Technology, USA) Lydia Kavraki (Rice University, USA) Philip Kilby (NICTA and the Australian National University, Australia) Akihiro Kishimoto (IBM Research, Ireland) Peter Kissmann (Saarland University, Germany) Sven Koenig (University of Southern California, USA) Richard Korf (University of California, Los Angeles, USA) Carlos Linares López (Universidad Carlos III de Madrid, Spain) Robert Mattmüller (University of Freiburg, Germany)
viii Martin Müller (University of Alberta, Canada) Barry O’Sullivan (4C, University College Cork, Ireland) 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 ayer (Smart Information Flow Technologies, USA) Alvaro Torralba (Saarland University, Germany) Toby Walsh (NICTA and the 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) Isabel Cenamor (Universidad Carlos III de Madrid, Spain) Ping Hou (New Mexico State University, USA) Gaojian Fan (University of Alberta, Canada) Ferdinando Fioretto (New Mexico State University, USA) Scott Kiesel (University of New Hampshire, USA) Ronan Le Bras (Cornell University, USA) Moises Martinez (Universidad Carlos III de Madrid, Spain) Mark Moll (Rice University, USA) Nerea Luis (Universidad Carlos III de Madrid, Spain) Sergio Núñez (Universidad Carlos III de Madrid, Spain) Nicols Rivera (King’s College London, UK) Ivan Serina (University of Brescia, Italy) Guni Sharon (Ben-Gurion University, Israel) Silvan Sievers (University of Basel, Switzerland) Carlos Hernández (Universidad Católica de la Santíısima Concepción, Chile) Tansel Uras (University of Southern California, USA) Fan Xie (University of Alberta, Canada) Yexiang Xue (Cornell University, USA)
ix