SoCS 2019 Program Committee
SoCS 2019 Program Chairs
William Yeoh, Washington University in St. Louis, USAPavel Surynek, Czech Technical University in Prague, Czechia
SoCS 2019 Program Committee Members
Sandip Aine, Apple Inc.
Jorge Baier, Pontificia Universidad Católica de Chile
Tomá Balyo, Karlsruhe Institute of Technology
Chris Beck, University of Toronto
Subhrajit Bhattacharya, Lehigh University
Nikolaj Bjorner, Microsoft Research
Zahy Bnaya, New York University
Blai Bonet, Universidad Simón Bolívar
Daniel Borrajo, Universidad Carlos III de Madrid
Luká Chrpa, Czech Technical University in Prague
Ariel Felner, Ben-Gurion University
Ferdinando Fioretto, Georgia Institute of Technology
Alex Fukunaga, The University of Tokyo
Alberto Griggio, Fondazione Bruno Kessler
Daniel Harabor, Monash University
Malte Helmert, University of Basel
Marijn Heule, University of Texas at Austin
Matti Järvisalo, University of Helsinki
Akihiro Kishimoto, IBM Research
Sven Koenig, University of Southern California
T. K. Satish Kumar, University of Southern California
Maxim Likhachev, Carnegie Mellon University
Felip Manya, IIIA-CSIC
Radu Marinescu, IBM Research, Ireland
Joao Marques Silva, University of Lisbon
Robert Mattmüller, University of Freiburg
Nina Narodytska, VMware Research
Hector Palacios, Element AI
André Grahl Pereira, Federal University of Rio Grande do Sul
Florian Pommerening, University of Basel
Andrea Rendl, Satalia
Marcus Ritt, Universidade Federal do Rio Grande do Sul
Wheeler Ruml, University of New Hampshire
Gabriele Röger, University of Basel
Alessandro Saetti, University of Brescia
Lorenza Saitta, Universita del Piemonte Orientale
Torsten Schaub, Universität Potsdam
Silvan Sievers, University of Basel
Laurent Simon, Labri, Bordeaux Institute of Technology
Roni Stern, Ben Gurion University of the Negev
Sabine Storandt, University of Konstanz
Nathan Sturtevant, University of Alberta
Stefan Szeider, TU Wien
Álvaro Torralba, Saarland University
Michael Trick, Carnegie Mellon University
Rick Valenzano, Element AI
Petr Vilím, IBM Czech
Glenn Wagner, Emesent
Toby Walsh, NICTA and UNSW