Committees
General Chairs
Program Chairs
Program Committee
- Wolfgang Ahrendt, Chalmers University of Technology, Sweden
- S. Akshay, Indian Institute of Technology Bombay, India
- Elvira Albert, Universidad Complutense de Madrid, Spain
- Kyungmin Bae, Pohang University of Science and Technology, Korea
- Ezio Bartocci, Technical Univeristy of Wien, Austria
- Marcello Bonsangue, Leiden University, Netherlands
- Deepak D’Souza, Indian Institute of Science, India
- Besik Dundua, Kutaisi International University, Georgia
- Kim Guldstrand Larsen, Aalborg University, Denmark
- Jane Hillston, The University of Edinburgh, United Kingdom
- Jana Hofmann, Microsoft Research, United Kingdom
- Zoltán Horváth, Eötvös Loránd University, Hungary
- Sebastian Junges, Radboud University, Netherlands
- Patrick Koopmann, Technical University of Dresden, Germany
- Jan Kretinsky, Technical University of Munich, Germany
- Sławomir Lasota, University of Warsaw, Poland
- Mircea Marin, West University of Timisoara, Romania
- Mieke Massink, CNR-ISTI, Italy
- Stefan Mitsch, Carnegie Mellon University, United States
- Eugenio Moggi, University of Genova, Italy
- Rosemary Monahan, Maynooth University, Ireland
- Joël Ouaknine, Max Planck Institute for Software Systems, Germany
- Corina Pasareanu, Carnegie Mellon University and NASA, United States
- José Proença, CISTER-ISEP and HASLab-INESC TEC, Portugal
- Violet Ka I Pun, Western Norway University of Applied Sciences, Norway
- Stefan Ratschan, Czech Academy of Sciences, Czech Republic
- Mikheil Rukhaia, Tbilisi State University, Georgia
- Gwen Salaün, University of Grenoble Alpes, France
- Augusto Sampaio, Federal University of Pernambuco, Brazil
- Cesar Sanchez, IMDEA Software Institute, Spain
- Gerardo Schneider, University of Gothenburg, Sweden
- Martina Seidl, Johannes Kepler University Linz, Austria
- Tarmo Uustalu, Tallinn University of Technology and Reykjavik University, Estonia and Iceland
- Heike Wehrheim, University of Oldenburg, Germany
Local Organisation Committee
- Gabriela Perea Vega - Local Organiser, University of Engineering and Technology - UTEC, Lima - Peru
- Yamilet Serrano - Financial Chair, University of Engineering and Technology - UTEC, Lima - Peru
- Cristian Lopez, University of Engineering and Technology - UTEC, Lima - Peru
- Juan Gutierrez, University of Engineering and Technology - UTEC, Lima - Peru
- Maor Roizman Gheiler - Webpage, University of Engineering and Technology - UTEC, Lima - Peru
Publicity Chairs
- Violet Ka I Pun, Western Norway University of Applied Sciences, Norway
- Cristian Lopez, University of Engineering and Technology - UTEC, Lima - Peru
Training School and Tutorials Chairs
Steering Committee
- Martin Leucker - Chair, University of Lübeck, Germany
- Zhiming Liu, Southwest University, China
- Tobias Nipkow, Technical University of Munich, Germany
- Augusto Sampaio,Federal University of Pernambuco, Brazil
- Natarajan Shankar, SRI, USA
- Tarmo Uustalu, Tallinn University of Technology and Reykjavik University, Estonia and Iceland