Chairs and Committees
Program Co-chairs
Nils Jansen (The Netherlands)
Mirco Tribastone (Italy)
Artifact Evaluation Chairs:
Tim Quatmann (Germany)
Carlos E. Budde (Italy)
Publicity Chair
David Safranek (Czech Republic)
Steering Committee
Erika Ábrahám (RWTH Aachen University, DE)
Benoît Barbot (Université Paris-Est Créteil, FR)
Ezio Bartocci (TU Vienna, AT)
Peter Buchholz (TU Dortmund, DE)
Giuliano Casale (Imperial College London, UK)
Jane Hillston (University of Edinburgh, UK)
Jorge Júlvez (Universidad Zaragoza, ES)
Joost-Pieter Katoen (RWTH Aachen Uni., DE)
Andrea Marin (Università Ca' Foscari Venezia, IT)
Gethin Norman (University of Glasgow, UK)
Enrico Vicario (University of Florence, IT) -- steering committee chair
Lijun Zhang (Chinese Academy of Sciences, CN)
Program Committee
Alessandro Abate (Oxford University, UK)
Ezio Bartocci (TU Vienna, AT)
Luca Bortolussi (University of Trieste, IT)
Peter Buchholz (TU Dortmund, DE)
Laura Carnevali (University of Florence, IT)
Giuliano Casale (Imperial College London, UK)
Milan Češka (Brno University of Technology, CZ)
Pedro D'Argenio (Univ. Nacional de Córdoba, AR)
Rayna Dimitrova (CISPA Helmholtz Center for Information Security, DE)
Clemens Dubslaff (Eindhoven University of Technology, NL) Nathanaël Fijalkow (LaBRI University of Bordeaux, FR)
Marco Gribaudo (Politecnico of Milan, IT)
Shibashis Guha (Tata Institute of Fundamental Research, India)
Sofie Haesaert (Eindhoven University of Technology, NL)
Arnd Hartmanns (University of Twente, NL)
Holger Hermanns (Saarland University, DE)
Nils Jansen (Radboud University, NL)
Sebastian Junges (Radboud University, NL)
Benjamin L. Kaminski (Saarland University, DE)
Michaela Klauck (Bosch Research, DE)
Jan Křetínský (Technical University of Munich, DE)
Diwakar Krishnamurthy (University of Calgary, CA)
Luca Laurenti (Technical University Delft, NL)
Andrea Marin (Università Ca' Foscari Venezia, IT)
Daniel Nieder (TU Dortmund, DE)
Gethin Norman (University of Glasgow, UK)
David Parker (University of Birmingham, UK)
Marco Paolieri (University of Southern California, US)
Pavithra Prabhakar (Kansas State University, US)
Anne Remke (University of Muenster, DE)
Matteo Sereno (University of Turin, IT)
Marcus Siegle (University Bundeswehr Munich, DE)
David Šafránek (Masaryk University, CZ)
Mirco Tribastone (IMT School for Advanced Studies, IT)
Max Tschaikowski (Aalborg University, DK)
Andrea Vandin (School of Advanced Studies Pisa, IT)
Benny Van Houdt (University of Antwerp, BE)
Matthias Volk (University of Twente, NL)
Verena Wolf (Saarland University, DE)
Katinka Wolter (FU Berlin, DE)
Artifact Evaluation Committee
Oyendrila Dobe (Michigan State University, US)
Joshua Jeppson (Utah State University, US)
Bram Kohlen (University of Twente, NL)
Ricardo Reali (University of Florence, IT)
Raphael Reynouard (Reykjavik University, IS)
Robert Rubbens (University of Twente, NL)
Andreas Schmidt (Saarland Informatics Campus, DE)
Philipp Schroer (RWTH Aachen University, DE)
Landon Taylor (Utah State University, US)
Djurre Van Der Wal (University of Twente, NL)
Marck Vandervegt (Radboud University, NL)
Gabriele Venturato (KU Leuven, BE)
Lulai Zhu (Politecnico Milano, IT)
Nils Jansen (The Netherlands)
Mirco Tribastone (Italy)
Artifact Evaluation Chairs:
Tim Quatmann (Germany)
Carlos E. Budde (Italy)
Publicity Chair
David Safranek (Czech Republic)
Steering Committee
Erika Ábrahám (RWTH Aachen University, DE)
Benoît Barbot (Université Paris-Est Créteil, FR)
Ezio Bartocci (TU Vienna, AT)
Peter Buchholz (TU Dortmund, DE)
Giuliano Casale (Imperial College London, UK)
Jane Hillston (University of Edinburgh, UK)
Jorge Júlvez (Universidad Zaragoza, ES)
Joost-Pieter Katoen (RWTH Aachen Uni., DE)
Andrea Marin (Università Ca' Foscari Venezia, IT)
Gethin Norman (University of Glasgow, UK)
Enrico Vicario (University of Florence, IT) -- steering committee chair
Lijun Zhang (Chinese Academy of Sciences, CN)
Program Committee
Alessandro Abate (Oxford University, UK)
Ezio Bartocci (TU Vienna, AT)
Luca Bortolussi (University of Trieste, IT)
Peter Buchholz (TU Dortmund, DE)
Laura Carnevali (University of Florence, IT)
Giuliano Casale (Imperial College London, UK)
Milan Češka (Brno University of Technology, CZ)
Pedro D'Argenio (Univ. Nacional de Córdoba, AR)
Rayna Dimitrova (CISPA Helmholtz Center for Information Security, DE)
Clemens Dubslaff (Eindhoven University of Technology, NL) Nathanaël Fijalkow (LaBRI University of Bordeaux, FR)
Marco Gribaudo (Politecnico of Milan, IT)
Shibashis Guha (Tata Institute of Fundamental Research, India)
Sofie Haesaert (Eindhoven University of Technology, NL)
Arnd Hartmanns (University of Twente, NL)
Holger Hermanns (Saarland University, DE)
Nils Jansen (Radboud University, NL)
Sebastian Junges (Radboud University, NL)
Benjamin L. Kaminski (Saarland University, DE)
Michaela Klauck (Bosch Research, DE)
Jan Křetínský (Technical University of Munich, DE)
Diwakar Krishnamurthy (University of Calgary, CA)
Luca Laurenti (Technical University Delft, NL)
Andrea Marin (Università Ca' Foscari Venezia, IT)
Daniel Nieder (TU Dortmund, DE)
Gethin Norman (University of Glasgow, UK)
David Parker (University of Birmingham, UK)
Marco Paolieri (University of Southern California, US)
Pavithra Prabhakar (Kansas State University, US)
Anne Remke (University of Muenster, DE)
Matteo Sereno (University of Turin, IT)
Marcus Siegle (University Bundeswehr Munich, DE)
David Šafránek (Masaryk University, CZ)
Mirco Tribastone (IMT School for Advanced Studies, IT)
Max Tschaikowski (Aalborg University, DK)
Andrea Vandin (School of Advanced Studies Pisa, IT)
Benny Van Houdt (University of Antwerp, BE)
Matthias Volk (University of Twente, NL)
Verena Wolf (Saarland University, DE)
Katinka Wolter (FU Berlin, DE)
Artifact Evaluation Committee
Oyendrila Dobe (Michigan State University, US)
Joshua Jeppson (Utah State University, US)
Bram Kohlen (University of Twente, NL)
Ricardo Reali (University of Florence, IT)
Raphael Reynouard (Reykjavik University, IS)
Robert Rubbens (University of Twente, NL)
Andreas Schmidt (Saarland Informatics Campus, DE)
Philipp Schroer (RWTH Aachen University, DE)
Landon Taylor (Utah State University, US)
Djurre Van Der Wal (University of Twente, NL)
Marck Vandervegt (Radboud University, NL)
Gabriele Venturato (KU Leuven, BE)
Lulai Zhu (Politecnico Milano, IT)