Program committee



Name Affiliation
Thomas Noll RWTH Aachen University
Sofiene Tahar Concordia University
Sabine Glesner TU Berlin
Robi Malik University of Waikato
Roberto Nardone University of Naples Parthenope
Rob van Glabbeek Data61, CSIRO
Peter Ölveczky chair University of Oslo
Osman Hasan National University of Sciences & Technology
Martina Seidl Johannes Kepler University
Markus Roggenbach Swansea University
Marie Farrell Maynooth University
Lindsay Groves Victoria University of Wellington
Lina Marsso University of Toronto
Kyungmin Bae POSTECH
Kazuhiro Ogata Japan Advanced Institute of Science and Technology
Jing Sun School of Computer Science, University of Auckland
Huibiao Zhu East China Normal University
Fuyuki Ishikawa National Institute of Informatics
Frederic Mallet Université Cote d’Azur
Étienne André Université Sorbonne Paris Nord, LIPN, CNRS UMR 7030, F-93430 Villetaneuse, France
Elena Sherman Boise State University
Dimitra Giannakopoulou NASA Ames
David Pearce ConsenSys
David Broman KTH Royal Institute of Technology
Cyrille Artho chair KTH Royal Institute of Technology
Catuscia Palamidessi Inria (Invited Chair on Privacy)
Carolyn Talcott SRI International
Carlos Olarte Université Sorbonne Paris Nord
Armin Biere University of Freiburg, Germany
Adrian Francalanza University of Malta