Committees
Program Chairs
Artifact Evaluation Chairs
Publicity Chair
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)
- 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
- Alessandro Abate, University of Oxford
- Ezio Bartocci, TU Wien
- Andrea Burattin, Technical University of Denmark
- Valentina Castiglioni, Eindhoven University of Technology
- Pedro R. D’Argenio, Universidad Nacional de Córdoba - CONICET
- Thao Dang, CNRS/VERIMAG
- Taylor T Johnson, Vanderbilt University
- Yusuke Kawamoto, National Institute of Advanced Industrial Science and Technology (AIST)
- S Krishna, IIT Bombay
- Diwakar Krishnamurthy, University of Calgary
- Arnd Hartmanns, University of Twente
- Jane Hillston, The University of Edinburgh
- Engel Lefaucheux, Inria Nancy, Loria, Université de Lorraine
- Michele Loreti, University of Camerino
- Jun Liu, University of Waterloo
- Andrea Marin, Università Ca’ Foscari Venezia
- Dejan Nickovic, Austrian Institute of Technology AIT
- Marco Paolieri, University of Southern California
- Loïc Paulevé, CNRS/LaBRI, Bordeaux, France
- Tuan Phung-Duc, University of Tsukuba
- Anne Remke, WWU Münster
- Camilo Rocha, Pontificia Universidad Javeriana Cali
- Cesar Sanchez, IMDEA Software Institute
- Ocan Sankur, Mitsubishi Electric R&D Centre Europe
- Ramin Sadre, Université catholique de Louvain
- Sadegh Soudjani, Newcastle University
- Jeremy Sproston, University of Turin
- Max Tschaikowski, Aalborg University
- Ashutosh Trivedi, University of Colorado Boulder
- Hoang Dung Tran, University of Nebraska-Lincoln
- Benny Van Houdt, University of Antwerp
- Mahesh Viswanathan, University of Illinois at Urbana-Champaign
- Masaki Waga, Kyoto University
- Verena Wolf, Saarland University
- Tichakorn Wongpiromsarn, Iowa State University
- Bai Xue, Chinese Academy of Sciences
- Paolo Zuliani, Università di Roma La Sapienza
Artifact Evaluation Committee
- Adityo Anggraito, Ca’Foscari University
- Chris Johannsen, Iowa State University
- Diletta Olliaro, Ca’Foscari University
- Dylan Marinho, Sorbonne University
- Ernesto Casablanca, Newcastle University
- Eshita Zaman, Utah Valley University
- Filip Smola, University of Edinburgh
- Gokul Hariharan, Intel
- Kentaro Kobayashi, Tsukuba University & AIST
- Marco Lewis, INRIA
- Mark van Wijk, University of Twente
- Maurice Laveaux, Eindhoven University of Technology
- Minjian Zhang, University of Illinois at Urbana Champaign
- Mohammad Mamduhi, University of Birmingham
- Nicolaj Ø. Jensen, Aalborg Universitet
- Samuel Sasaki, Vanderbilt University
- Simone Pernice, University of Torino
- Sungwoo Choi, University of Nebraska-Lincoln
- Thom Badings, University of Oxford
- Yuntao Li, University of Nebraska-Lincoln