SoCS 2021 Organizing Committee

SoCS 2021 Program Chairs

Hang Ma, Simon Fraser University, Canada,
hangma@sfu.ca

Ivan Serina, University of Brescia, Italy,
ivan.serina@unibs.it

SoCS 2021 Doctoral Consortium Chairs

Enrico Scala, University of Brescia, Italy,
enrico.scala@unibs.it

Mauro Vallati, University of Huddersfield, United Kingdom
m.vallati@hud.ac.uk

SoCS 2021 Virtual Conference Arrangement Chairs

Jinyi Long, Jinan University, Guangzhou, China
jinyil@jnu.edu

Liangda Fang, Jinan University, Guangzhou, China
fangld@jnu.edu.cn

SoCS 2021 Virtual Conference Arrangement Members

Hao Miao, Jinan University

Yonghong Li, Jinan University

Yi Huang, Jinan University

Zhang Chen, Jinan University

SoCS 2021 Program Committee Members

Sandip Aine, Mentor Graphics

Mario Alviano, University of Calabria

Fahiem Bacchus, University of Toronto

Tomas Balyo, CAS Software AG

Michael Barley, The University of Auckland

Roman Bartak, Charles University

Chris Beck, University of Toronto

Nikolaj Bjorner, Microsoft Research Lab – Redmond

Blai Bonet, Universidad Simon Bolivar

Daniel Borrajo, JPMorgan & Chase AI Research Lab

Antonio Bucchiarone, Fondazione Bruno Kessler

Vadim Bulitko, University of Alberta

Federico Cerutti, University of Brescia

Lukas Chrpa, Czech Technical University in Prague

Salomé Eriksson, University of Basel

Ariel Felner, Ben-Gurion University

Vijay Ganesh, University of Waterloo

Hector Geffner, ICREA & Universitat Pompeu Fabra

Florian Geißer, Australian National University

Alberto Griggio, Fondazione Bruno Kessler

Daniel Harabor, Monash University, Australia

Malte Helmert, University of Basel

Marijn Heule, Carnegie Mellon University

Joerg Hoffmann, Saarland University

Matti Jarvisalo, University of Helsinki

Erez Karpas, Technion – Israel Institute of Technology

Philip Kilby, Data61 and the Australian National University

Akihiro Kishimoto, IBM Research - Ireland

Sven Koenig, University of Southern California

Richard Korf, University of California, Los Angeles

T. K. Satish Kumar, University of Southern California

Pierre Le Bodic, Monash University

Maxim Likhachev, Carnegie Mellon University

Carlos Linares Lopez, Universidad Carlos III de Madrid

Nir Lipovetzky, The University of Melbourne

Marco Maratea, DIBRIS, University of Genova

Radu Marinescu, IBM Dublin

Joao Marques-Silva, IRIT, CNRS

Eva Onaindia, Universitat Politècnica de València

Hector Palacios, Nuance Communications

Francesco Percassi, University of Huddersfield, United Kingdom

André Grahl Pereira, Federal University of Rio Grande do Sul

Florian Pommerening, University of Basel

Jean-Charles Regin, University Nice-Sophia Antipolis / I3S / CNRS

Andrew Reynolds, University of Iowa

Marcus Ritt, Instituto de Informatica, Universidade Federal do Rio Grande do Sul

Wheeler Ruml, University of New Hampshire

Gabriele Roeger, University of Basel

Alessandro Saetti, University of Brescia

Enrico Scala, University of Brescia

Torsten Schaub, University of Potsdam

Silvan Sievers, University of Basel

Laurent Simon, Labri -- Bordeaux Institute of Technology

Takehide Soh, Information Science and Technology Center, Kobe University

Roni Stern, Ben Gurion University of the Negev

Nathan Sturtevant, University of Alberta

Martin Suda, Czech Technical University in Prague

Pavel Surynek, Czech Technical University in Prague, Faculty of Information Technology

Stefan Szeider, Technische Universität Wien

Alvaro Torralba, Saarland University, Saarland Informatics Campus

Michael Trick, Carnegie Mellon University

Richard Valenzano, University of Toronto

Mauro Vallati, University of Huddersfield, United Kingdom

Toby Walsh, The University of New South Wales

William Yeoh, Washington University in St. Louis