| 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 |
