Committees

Program Chairs

• Jane Hillston (Edinburgh University, UK)
• Sadegh Soudjani (Max Planck Institute, DE)

Track Chairs

• QEST: Morteza Lahijanian (CU Boulder, US)
• FORMATS: Masaki Waga (Kyoto University, JP)

Publicity Chairs

• Jie An (National Institute of Informatics of Tokyo, JP)
• Jyotirmoy Deshmukh (Univ. of Southern California, US)
• Patrick Totzke (University of Liverpool, UK)

Artifact Evaluation Chairs

• Tobias Meggendorfer (Lancaster University Leipzig, DE)
• Andrea Vandin (Sant’Anna School for Advanced Studies, IT)

QEST Steering Committee

• Erika Ábrahám (RWTH Aachen University, DE)
• Benoît Barbot (Université Paris-Est Créteil, FR)
• Ezio Bartocci (TU Vienna, AT)
• Giuliano Casale (Imperial College London, UK)
• Jane Hillston (University of Edinburgh, UK)
• Nils Jansen (Radboud University, NL)
• Joost-Pieter Katoen (RWTH Aachen Uni., DE)
• Andrea Marin (Università Ca’ Foscari Venezia, IT)
• Gethin Norman (University of Glasgow, UK)
• Guillermo Alberto Perez (University of Antwerp, BE)
• Anne Remke (University of Muenster, DE)
• Enrico Vicario (chair, University of Florence, IT)

FORMATS Steering Committee

• Rajeev Alur (University of Pennsylvania, US)
• Eugene Asarin (Université Paris Cité, FR)
• Martin Fränzle (chair, University of Oldenburg, DE)
• Joost-Pieter Katoen (RWTH Aachen Uni., DE)
• Kim G. Larsen (Aalborg University, DK)
• Oded Maler (1957-2018, founding chair, University of Grenoble, FR)
• Pavithra Prabhakar (Kansas State University, US)
• Mariëlle Stoelinga (TU Twente, NL)
• Wang Yi (Uppsala University, SE)

Program Web Co-Chairs

• Ernesto Casablanca (Newcastle University, UK)
• Marco Paolieri (University of Southern California, US)

Program Committee

• Alessandro Abate (Oxford University, UK)
• Ezio Bartocci (TU Vienna, AT)
• Peter Buchholz (TU Dortmund, DE)
• Francesca Cairoli (University of Trieste, IT)
• Laura Carnevali (University of Florence, IT)
• Giuliano Casale (Imperial College London, UK)
• Pedro D’Argenio (Univ. Nacional de Córdoba, AR)
• Marco Gribaudo (Politecnico of Milan, IT)
• Sofie Haesaert (TU Eindhoven, NL)
• Arnd Hartmanns (University of Twente, NL)
• Nils Jansen (Radboud University, NL)
• Taylor Johnson (Vanderbilt University, US)
• Sebastian Junges (Radboud University, NL)
• Engel Lefaucheux (INRIA Nancy, FR)
• Jun Liu (University of Waterloo, CA)
• Andrea Marin (Università Ca’ Foscari Venezia, IT)
• Dejan Nickovic (Austrian Institute of Technology, AT)
• Gethin Norman (University of Glasgow, UK)
• Nicola Paoletti (King’s College London, UK)
• Marco Paolieri (University of Southern California, US)
• David Parker (University of Birmingham, UK)
• Laure Petrucci (Université Paris 13, FR)
• Anne Remke (University of Muenster, DE)
• Kristin Yvonne Rozier (Iowa State University, US)
• Ocan Sankur (Université de Rennes, FR)
• Jeremy Sproston (University of Turin, IT)
• Jiri Srba (Aalborg University, DK)
• B. Srivathsan (Chennai Mathematical Institute, IN)
• Nathalie Sznajder (Université Pierre et Marie Curie, FR)
• Mirco Tribastone (IMT School for Advanced Studies, IT)
• Ashutosh Trivedi (University of Colorado Boulder, US)
• Max Tschaikowski (Aalborg University, DK)
• Benny Van Houdt (University of Antwerp, BE)
• Enrico Vicario (University of Florence, IT)
• Verena Wolf (Saarland University, DE)
• Paolo Zuliani (Sapienza University of Rome, IT)

Artifact Evaluation Committee

• Mohammed Afzal (IITB, IN)
• Sima Sarv Ahrabi (Sant’Anna School of Advanced Studies Pisa, IT)
• Roberto Casaluce (University of Pisa, IT)
• Marek Chalupa (ISTA, AT)
• Calvin Chau (TU Dresden, DE)
• Marta Grobelna (TU Munich, DE)
• Amit Gurung (UPES, IN)
• Antonio Jiménez-Pastor (Aalborg University, DK)
• Aniruddha Joshi (UC Berkeley, US)
• Kaushik Malik (ISTA, AT)
• Stafano Nicoletti (University of Twente, NL)
• Maximilian Prokop (Masaryk University / TU Munich, DE)
• Francesca Randone (IMT Lucca, IT)
• Govind Rajanbabu (Uppsala University, SE)
• Riccardo Reali (University of Florence, IT)
• Raphaël Reynouard (Eawag, CH)
• Landon Taylor (Utah State University, US)
• Patrick Wienhöft (TU Dresden, DE)
• Lulai Zhu (Politecnico di Milano, IT)