Program committee



Name Affiliation
Alessandro Fantechi University of Florence
Alexander Knapp University of Augsburg
Armin Biere University of Freiburg, Germany
Carlos Olarte Université Sorbonne Paris Nord
Carolyn Talcott SRI International, USA
Cristina Seceleanu Mälardalen University
Cyrille Artho chair KTH Royal Institute of Technology
Eduard Kamburjan University of Oslo
Étienne André Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030, F-93430 Villetaneuse, France
Frederic Mallet Université Côte d'Azur, France
Huibiao Zhu East China Normal University
José Proença CISTER, Polytechnic Institute of Porto
Kazuhiro Ogata Japan Advanced Institute of Science and Technology
Kyungmin Bae POSTECH
Laure Petrucci CNRS, LIPN, Université Sorbonne Paris Nord
Lina Marsso University of Toronto
Marie Farrell The University of Manchester
Osman Hasan National University of Sciences & Technology
Patricia Derler Zoox
Peter Ölveczky chair University of Oslo
Sofiene Tahar Concordia University
Thomas Noll RWTH Aachen University
Yi Li Nanyang Technological University