A
Abel Andreas
Abiteboul Serge
Abramsky Samson
Aczel Peter
Aiken Alex
Altenkirch Thorsten
Amadio Roberto
Aoto Takahito
Asperti Andrea
Aspinall David
Augustsson Lennart
Ayala-Rincón Mauricio
Awodey Steve
B
Baala Antonia
Bachmair Leo
Backhouse Roland
Balabonski Thibaut
Balat Vincent
Barbanera Franco
Barendregt Henk
Barras Bruno
Barthe Gilles
Bellare Mihir
Ben-Amram Amir
Berardi Stefano
Berger Ulrich
Bernardy Jean-Philippe
Berry Gérard
Bertot Yves
Betarte Gustavo
Bidoit Michel
Blanchette Jasmin
Blazy Sandrine
Boespflug Mathieu
Böhm Corrado
Bonelli Eduardo
Bonfante Guillaume
Boudol Gérard
Boulmé Sylvain
Bournez Olivier
Boutillier Pierre
Bove Ana
Boyer Robert
Braibant Thomas
|
Brotherston James
Bruce Kim
Buchholz Wilfried
Burel Guillaume
Burton Warren
C
Cameron Robert
Capretta Venanzio
Cardelli Luca
Castagna Giuseppe
Castéran Pierre
Charguéraud Arthur
Chin Wei Ngan
Chlipala Adam
Chrzaszcz Jacek
Cirstea Horatiu
Clément François
Cockx Jesper
Cohen Cyril
Comon Hubert
Compagnoni Adriana
Conchon Sylvain
Constable Robert
Contejean Evelyne
Coquand Thierry
Corbineau Pierre
Cortier Véronique
Coscoy Yann
Courant Judicaël
Courtieu Pierre
Cousot Patrick
Curien Pierre-Louis
D
Dagand Pierre-Evariste
Danos Vincent
Danvy Olivier
David René
De Groote Philippe
Delahaye David
Dénès Maxime
Dershowitz Nachum
Despeyroux Joëlle
Devriese Dominique
De Vrijer Roel
Dezani Mariangiola
Di Cosmo Roberto
Doligez Damien
Dougherty Dan
|
Dowek Gilles
Dybjer Peter
E
Echahed Rachid
Edalat Abbas
Eker Steven
Elliott Conal
Endrullis Joerg
F
Fages François
Fernández Maribel
Filliâtre Jean-Christophe
Fiore Marcello
Fontaine Pascal
Forest Julien
Fox Anthony
Frisch Alain
Fuhs Carsten
G
Gabbay Dov
Gabbay Murdoch
Gallego Emilio
Garchery Quentin
Gauthier Thibault
Ghani Neil
Gallier Jean
Geuvers Herman
Ghelli Giorgio
Giesl Jürgen
Girard Jean-Yves
Glauert John
Goguen Healfdene
Gonthier Georges
Gordon Andrew
Gordon Michael
Goubault-Larrecq Jean
Grégoire Benjamin
Guiraud Yves
H
Haftmann Florian
Halpern Joseph
Hamana Makoto
Hardin Thérèse
Harrison John
Harper Robert
|
Hasebe Koji
Herbelin Hugo
Hermann Miki
Hermant Olivier
Herzog Jonathan
Hindley J. Roger
Hirokawa Nao
Hirschowitz Tom
Hoare Tony
Hofmann Martin
Honsell Furio
Houtmann Clément
Hsiang Jieh
Huet Gérard
Hurd Joe
Hyvernat Pierre
J
Jaffar Joxan
Jansson Patrik
Jay Barry
Janodet Jean-Christophe
Jones Neil
Jouannaud Jean-Pierre
K
Kahrs Stefan
Kamareddine Fairouz
Kapur Deepak
Keller Chantal
Kennaway Richard
Kesner Delia
Kfoury Assaf
Khoo Siau Cheng
Kikuchi Kentaro
Kirchner Claude
Kirchner Hélène
Klop Jan Willem
Kohlhase Michael
Kop Cynthia
Krauss Alexander
Krivine Jean-Louis
Kusakari Keiichirou
L
Lang Bernard
Laüfer Konstantin
|
Lee Gyesik
Leivant Daniel
Leslie Lamport
Lengrand Stéphane
Lepigre Rodolphe
Leroy Xavier
Le Roux Stéphane
Lescanne Pierre
Letouzey Pierre
Lévy Jean-Jacques
Liquori Luigi
Longo Giuseppe
Lowe Gavin
Lucas Salvador
Luo Zhaohui
M
Mackie Ian
Mahboubi Assia
Manna Zohar
Manoury Pascal
Maranget Luc
Marché Claude
Marion Jean-Yves
Martin-Löf Per
Matthes Ralph
Mayero Micaela
Mayr Richard
McAllester David
McBride Conor
McKinna James
Melham Tom
Melliès Paul-André
Meseguer José
Meyer Albert
Middeldorp Aart
Miller Dale
Miquel Alexandre
Mitchell John
Mogensen Torben
Monin Jean-François
Monniaux David
Moreau Pierre-Étienne
Moser Georg
Moyen Jean-Yves
Muñoz César
Myreen Magnus
|
N
Nadathur Gopalan
Narendran Paliath
Necula George
Nederhof Mark-Jan
Nederpelt Rob
Neurauter Friedrich
Nguyen Quang-Huy
Niehren Joachim
Nieuwenhuis Robert
Nipkow Tobias
Nordström Bengt
Norell Ulf
O
Odersky Martin
Ohlebusch Enno
Okada Mitsuhiro
P
Paterson Ross
Paulin Christine
Paulson Larry
Payet Étienne
Petit Antoine
Pfenning Frank
Pichardie David
Pientka Brigitte
Pierce Benjamin
Pitts Andrew
Plotkin Gordon
Poll Erik
Pollack Randy
Pottier François
Pottier Loïc
Pous Damien
Pouzet Marc
Prawitz Dag
Prehofer Christian
R
Rabe Florian
Raffalli Christophe
Régis-Gianas Yann
Régnier Laurent
Reynolds John
Riba Colin
Ringeissen Christophe
Ritter Eike
Riveill Michel
|
Ronchi della Rocca Simona
Royer James
Rubio Albert
Rusinowitch Michaël
S
Sabry Amr
Sacerdoti-Coen Claudio
Sakai Masahiko
Scedrov Andre
Schmidt-Schauß Manfred
Schneider-Kamp Peter
Schürmann Carsten
Schwichtenberg Helmut
Scott Phil
Seldin Jonathan
Selinger Peter
Setzer Anton
Severi Paula
Shankar Natarajan
Sheard Tim
Siles Vincent
Smolka Gert
Snyder Wayne
Soloviev Sergei
Sozeau Matthieu
Spiwack Arnaud
Stehr Mark-Oliver
Sternagel Christian
Stratulat Sorin
Streicher Thomas
Strub Pierre-Yves
Stuckey Peter
Stump Aaron
Sulzmann Martin
T
Tannen Val
Taylor Paul
Tassi Enrico
Théry Laurent
Thiemann René
Thompson Simon
Tiu Alwen
Tiuryn Jerzy
Toyama Yoshihito
Treinen Ralf
|
U
Urban Christian
Urbain Xavier
Urso Pascal
Urzyczyn Pawel
Uustalu Tarmo
V
Van Bakel Steffen
Van de Pol Jaco
Van Oostrom Vincent
Van Raamsdonk Femke
Vestergaard René
Vigneron Laurent
Virga Roberto
Voevodsky Vladimir
Voigtländer Janis
Vouillon Jérôme
Vytiniotis Dimitrios
W
Wadler Philip
Wahlstedt David
Waldmann Johannes
Walther Christoph
Walukiewicz Daria
Weirich Stephanie
Weis Pierre
Wells Joe
Wenzel Markus
Werner Benjamin
Westbrook Edwin
Wiedijk Freek
X
Xi Hongwei
Y
Yamada Toshiyuki
Yamada Akihisa
Yee Bennet
Z
Zankl Harald
Zantema Hans
Zhang Ting
Ziliani Beta
|