A
Abadi Martín
Abel Andreas
Abiteboul Serge
Abramsky Samson
Aczel Peter
Aiken Alex
Altenkirch Thorsten
Amadio Roberto
Aoto Takahito
Asperti Andrea
Aspinall David
Assaf Ali
Audebaud Philippe
Augustsson Lennart
Avenhaus Jürgen
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
Cohen Cyril
Comon Hubert
Compagnoni Adriana
Conchon Sylvain
Constable Robert
Contejean Evelyne
Coquand Thierry
Corbineau Pierre
Cortier Véronique
Coscoy Yann
Coupet-Grimal Solange
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
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
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
Guillaume Bruno
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
Hofbauer Dieter
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
Jiang Ying
Jones Neil
Jouannaud Jean-Pierre

K
Kahrs Stefan
Kamareddine Fairouz
Kapur Deepak
Keller Chantal
Kennaway Richard
Kesner Delia
Kfoury Assaf
Khoo Siau Cheng
Kirchner Claude
Kirchner Hélène
Klop Jan Willem
Kop Cynthia
Koprowski Adam
Kounalis Emmanuel
Krauss Alexander
Krivine Jean-Louis
Kusakari Keiichirou

L
Lang Bernard
Laüfer Konstantin
Lee Gyesik
Leivant Daniel
Leroy Xavier
Le Roux Stéphane
Lescanne Pierre
Letouzey Pierre
Lévy Jean-Jacques
Liquori Luigi
Loader Ralph
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
Otto Friedrich

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
Abttier Fr>CssRidekln JeaWinria.Fi>Abtf=tean-Cit Antoine
Arawa>
GonthWelcrançoisPateoligez Damien
Guiraud Yves

Brauma000iercSulz.de/people/martin-hof*************************************T/~otto/">Otto Friedrich
Nva>
oOopeoom

oRaamsdonk Femke> Vrmayrga/gi livier
Dezani Mariangiola
Voevod****Vlaann-r>
Gonthier Geoann-tr.net/Vyle/iotis Dnn-tr.o César
Otto Friedrich
Bn-tarbeiayr/c
.jspelWalas
BerarWei">Beobr/ie> Huet GérardW/>zelo****u.br/-->
Otto Friedrich