Home Organization Program Participants Pictures Satellites Travel Info

Participants at Calculemus 2007

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