- Mathieu Acher (opens in new tab) (University of Rennes I/INRIA. FR)
- Roberto Bagnara (opens in new tab) (University of Parma and BUGSENG, IT)
- Martin Brain (opens in new tab) (University of Oxford, UK)
-
Stefano Di Alesio (opens in new tab) (Certus Centre for Software Verification and Validation, Simula Research Laboratory, NO)
-
Julian Dolby (opens in new tab) (IBM T. J. Watson, US)
-
Peng Liu (opens in new tab) (IBM T. J. Watson, US)
-
Ruben Martins (opens in new tab) (University of Texas at Austin, US)
-
Corina Pasareanu (opens in new tab) (CMU/NASA Ames Research Center, US)
-
Markus N. Rabe (opens in new tab) (University of California, Berkeley, US)
-
Philipp Ruemmer (opens in new tab) (Uppsala University, SE)
-
Philippe Suter (opens in new tab) (IBM T. J. Watson, US)
-
Georg Weissenbacher (opens in new tab) (Vienna University of Technology, AT)