| Has PC member
|
Alessandro Armando +
, Peter Baumgartner +
, Christoph Benzmüller +
, Patrick Blackburn +
, Nikolaj Bjørner +
, Maria Paola Bonacina +
, Alessandro Cimatti +
, Hans de Nivelle +
, Gilles Dowek +
, Roy Dyckhoff +
, Silvio Ghilardi +
, Jürgen Giesl +
, Rajeev Goré +
, Bernhard Gramlich +
, Reiner Hähnle +
, John Harrison +
, Deepak Kaupur +
, Viktor Kuncak +
, Christopher Lynch +
, Tobias Nipkow +
, Nicola Olivetti +
, Larry Paulson +
, Silvio Ranise +
, Christophe Ringeissen +
, Albert Rubio +
, Michael Rusinowitch +
, Ulrike Sattler +
, Carsten Schürmann +
, Natarajan Shankar +
, Viorica Sofronie-Stokkermans +
, Geoff Sutcliffe +
, Cesare Tinelli +
, Ashish Tiwari +
, Luca Viganò +
, Andrei Voronkov +
, Toby Walsh +
, Frank Wolter +
|
