Committees

Program Chairs

• Pavithra Prabhakar (Kansas State University, US)
• Andrea Vandin (Sant’Anna School of Advanced Studies Pisa, IT)

Publicity Chairs

• Marco Paolieri (University of Southern California, US)

Artifact Evaluation Chairs

• Carlos E. Budde (DTU, Denmark)
• Lal Ratan (Northwest Missouri State University , USA)

QEST Steering Committee

• Erika Ábrahám (RWTH Aachen University, DE)
• Benoît Barbot (Université Paris-Est Créteil, FR)
• Ezio Bartocci (TU Vienna, AT)
• Jane Hillston (University of Edinburgh, UK)
• Nils Jansen (Ruhr University Bochum, DE)
• Diwakar Krishnamurthy (Calgary University, Canada)
• Andrea Marin (Università Ca’ Foscari Venezia, IT)
• 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 Committee

• TBD