Русский
English
- Rajeev Alur (Univ. Pennsylvania)
- Domagoj Babic (UC Berkeley)
- Armin Biere (JKU Linz)
- Nikolaj Bjorner (Microsoft Research)
- Roderick Bloem (TU Graz)
- Ahmed Bouajjani (LIAFA, Univ. of Paris 7)
- Aaron Bradley (CU Boulder)
- Hana Chockler (IBM)
- Byron Cook (Microsoft Research, Univ. College London)
- Vincent Danos (The University of Edinburgh)
- Anupam Datta (Carnegie Mellon Univ.)
- Javier Esparza (TU Munich)
- Azadeh Farzan (Univ. of Toronto)
- Bernd Finkbeiner (Saarland Univ.)
- Jasmin Fisher (Microsoft Research)
- Radu Grosu (TU Vienna)
- Arie Gurfinkel (Carnegie Mellon Univ.)
- William Hung (Synopsys Inc)
- Susmit Jha (Intel)
- Somesh Jha (Univ. of Wisconsin)
- Barbara Jobstmann (CNRS, Verimag, Jasper DA)
- Bengt Jonsson (Uppsala Univ.)
- Rajeev Joshi (NASA JPL)
- Joost-Pieter Katoen (RWTH Aachen)
- Robert P. Kurshan (Cadence Design Systems)
- Benjamin Livshits (Microsoft Research)
- Rupak Majumdar (Max Planck Institute)
- Ken Mcmillan (Microsoft Research)
- Kedar Namjoshi (Bell Labs)
- Joel Ouaknine (Oxford Univ.)
- Madhusudan Parthasarathy (Univ. of Illinois at Urbana-Champaign)
- Corina Pasareanu (Carnegie Mellon Univ., NASA Ames)
- Andreas Podelski (Univ. of Freiburg)
- Natasha Sharygina (Univ. of Lugano)
- Nishant Sinha (IBM)
- Anna Slobodova (Centaur Technology)
- Murali Talupur (Intel)
- Stavros Tripakis (UC Berkeley)
- Helmut Veith (TU Vienna)
- Mahesh Viswanathan (Univ. of Illinois at Urbana-Champaign)
- Thomas Wahl (Northeastern Univ.)
- Georg Weissenbacher (TU Vienna)
- Eran Yahav (Technion)