Committee 2022-2025
- Carla Ferreira, NOVA University of Lisbon, Portugal
- Leo Freitas, Newcastle University, UK
- Mario Gleirscher, University of Bremen, Germany
- Cláudio Ângelo Gonçalves Gomes, Aarhus University, Denmark
- Peter Höfner, The Australian National University (ANU), Australia.
- Jeroen Keiren, Eindhoven University of Technology, The Netherlands (Secretary)
- Kristin Yvonne Rozier, Iowa State University, USA
- Cristina Seceleanu, Malardalen University, Sweden
- Tim Willemse, Eindhoven University of Technology, The Netherlands (Chair)
Committee 2019-2022
- Nikolaj Bjorner, Microsoft Research, USA
- Jonathan Bowen, London South Bank University, UK
- Alessandro Cimatti, FBK Trento, Italy
- Rance Cleaveland, Maryland University, USA
- Jan Friso Groote, Eindhoven University, The Netherlands
- John Hatcliff, Kansas State University, USA
- Klaus Havelund, Jet Propulsion Laboratory/NASA, USA (Chair)
- Connie Heitmeyer, Naval Research Laboratory, USA
- Gerwin Klein, University of NewSouth Wales, Australia
- Thierry Lecompte, ClearSy, France
- Cesar Munoz, AWS, USA
- Colin O’Halloran, D-RisQ Ltd., UK
- Jan Peleska, Bremen University, Germany
- Shaz Qadeer, Facebook, USA
- Markus Völter, Völter Ingenieurbüro, Germany