Mirian |
Andres |
mirian.andres at unirioja.es |
Stefan |
Brunthaler |
sbrunthaler at verising.com |
Bruno |
Buchberger |
Bruno.Buchberger at risc.uni-linz.ac.at |
Jaques |
Carette |
carette at mcmaster.ca |
Amine |
Chaieb |
chaieb at in.tum.de |
Thierry |
Coquand |
coquand at cs.chalmers.se |
James |
Davenport |
J.H.Davenport at bath.ac.uk |
David |
Delahaye |
David.Delahaye at cnam.fr |
William |
Farmer |
wmfarmer at mcmaster.ca |
Martin |
Giese |
martin.giese at risc.uni-linz.ac.at |
Reiner |
Hähnle |
reiner at chalmers.se |
Thomas |
Hales |
pbxpby at hotmail.com |
John |
Harrison |
johnh at ichips.intel.com |
Predrag |
Janicic |
janicic at matf.bg.ac.yu |
Tudor |
Jebelean |
Tudor.Jebelean at risc.uni-linz.ac.at |
David |
Jeffrey |
djeffrey at uwo.ca |
Cezary |
Kaliszyk |
cek at cs.ru.nl |
Yukiyoshi |
Kameyama |
kameyama at acm.org |
Deepak |
Kapur |
kapur at cs.unm.edu |
Manuel |
Kauers |
mkauers at risc.uni-linz.ac.at |
Michael |
Kohlhase |
m.kohlhase at jacobs-university.de |
Laura |
Kovacs |
kovacs at risc.uni-linz.ac.at |
Temur |
Kutsia |
t.kutsia at risc.uni-linz.ac.at |
Laureano |
Lamban |
lalamban at unirioja.es |
Scott |
McCallum |
scott at ics.mq.edu.au |
Roy |
McCasland |
rmccasla at inf.ed.ac.uk |
Laura |
Meikle |
lauram at dai.ed.ac.uk |
Shuichi |
Moritsugu |
moritsug at slis.tsukuba.ac.jp |
Walther |
Neupner |
neuper at ist.tugraz.at |
Peter |
Paule |
Peter.Paule at risc.uni-linz.ac.at |
Renaud |
Rioboo |
Renaud.Rioboo at lip6.fr |
Camelia |
Rosenkranz |
ckocsis at risc.uni-linz.ac.at |
Dana |
Scott |
dana.scott at cs.cmu.edu |
Volker |
Sorge |
V.Sorge at cs.bham.ac.uk |
Loredana |
Tec |
ltec at risc.uni-linz.ac.at |
Andrei |
Voronkov |
andrei at voronkov.com |
Makarius |
Wenzel |
makarius at sketis.net |
Wolfgang |
Windsteiger |
Wolfgang.Windsteiger at risc.uni-linz.ac.at |
Jian |
Xu |
xuj5 at mcmaster.ca |