Program Committee (to be completed)

Krysia Broda, Imperial College, UK
Marco Gavanelli, University of Ferrara, Italy
Germain Forestier, Université de Haute Alsace, France
Mateja Jamnik, University of Cambridge, UK
Gang Li, Deakin University, Australia
Apivadee Piyatumrong, National Electronics and Computer Technology Center, Thailand
Serge Autexier, DFKI, Germany
Gabriella Cortellessa, CNR-ISTC, National Research Council of Italy, Italy
Sanjiang Li, University of Technology, Sydney, Australia
Radu-Emil Precup, Politehnica University of Timisoara, Romania
Inon Zuckerman, Ariel University, Israel
Panagiotis Kanellopoulos, University of Patras and CTI “Diophantus”, Greece
Chenyi Zhang, Jinan University, China
Marco Roveri, FBK-irst, Italy
Matthias R. Brust, University of Luxembourg, Luxembourg
Dumitru Roman, SINTEF, Norway
Christoph Benzmüller, Freie Universität Berlin, Germany
Steven Schockaert, Cardiff University, UK
Gianluigi Greco, University of Calabria, Italy
Angelo Montanari, University of Udine, Italy
Gabriele Kern-Isberner, Technische Universitaet Dortmund, Germany
Ines Lynce, INESC-ID/IST, Universidade de Lisboa, Portugal
Marcin Seredynski, E-Bus Competence Center, Luxembourg
Wolfgang Faber, TU Wien, Austria
Juan Luis Jiménez Laredo, Université du Havre Normandie, France
Jose Julio Alferes, Universidade NOVA de Lisboa, Portugal
Tommi Junttila, Aalto University, Finland
Till Mossakowski, University of Magdeburg, Germany
George Metcalfe, University of Bern, Switzerland