All Replies


The following 77 answers have been received:

SurnameFirst NameAffiliationCityCountryUrlEmailPhoneFax
AbelAndreasLMUMuenchenGermanyhttp://www.tcs.informatik.uni-muenchen.de/~abelabel@informatik.uni-muenchen.de+49 89 2178 2238
AczelPeterManchester UniversityManchesterBritainpetera@cs.man.ac.uk44 0161 275 6155
AltenkirchThorstenLMU MuenchenMuenchenGermanyhttp://www.tcs.informatik.uni-muenchen.de/~alti/alti@informatik.uni-muenchen.de+49 89 2178 2209+49 89 2178 2238
BAROSylvainUniversite Paris 7ParisFranceSylvain.Baro@lip6.fr
BartheGillesINRIA Sophia AntipolisSophia AntipolisFrancehttp://www-sop.inria.fr/oasis/personnel/Gilles.Barthe/gilles.barthe@sophia.inria.fr(33) 4 92 38 79 38(33) 4 92 38 79 71
BerardiStefanoDipartimento Informatica TorinoTorinoITALYstefano@di.unito.it+39118980814
BergerUlrichUniversity of MunichMunichGermanyhttp://www.mathematik.uni-muenchen.de/~bergerberger@rz.mathematik.uni-muenchen.de+49 89 2394 4613+49 89 280 5248
BerryGerardEcole des Mines de ParisSophia-AntipolisFrancehttp://www.inria.fr/meije/personnel/Gerard.Berry.htmlGerard.Berry@sophia.inria.fr(33) (0)4 92 38 79 63(33) (0)4 92 38 79 98
BeylinIlyaChalmersGöteborgSwedenhttp://www.cs.chalmers.se/~ilyailya@cs.chalmers.se
BezemMarcUtrecht University, PhilosophyUtrechtThe Netherlandswww.phil.uu.nl/~bezembezem@phil.uu.nl+ 31 30 2535575+ 31 30 2532816
BohlinPeterComputer Science, ChalmersGöteborgSwedenpeb@ling.gu.se+46 (0)31 773 52 29
BoveAnaChalmers Univ. of TechnologyGothenburgSwedenhttp://www.cs.chalmers.se/~bove/bove@cs.chalmers.se+46-31-772 10 20+46-31-16 56 55
CallaghanPaulUniversity of DurhamDurhamENGLANDwww.dur.ac.uk/~dcs7ttgp.c.callaghan@durham.ac.uk
CarlssonMagnusChalmersGöteborgSwedenhttp://www.cs.chalmers.se/~magnus/magnus@cs.chalmers.se
CiaffaglioneAlbertoDip. Matematica e Informatica - UDINEUdineItalyciaffagl@dimi.uniud.it
ClaessenKoenChalmersGothenburgSwedenhttp://www.cs.chalmers.se/~koen/koen@cs.chalmers.se+46-31-7721010
CoppoMarioUniverista' di TorinoTORINOITALYcoppo@di.unito.it+39 011 6706738+39 011 751603
CoquandCatarinaChalmersGöteborgSwedencatarina@cs.chalmers.se
CoquandThierryChalmersGoteborgSwedencoquand@cs.chalmers.se
CourantJudicaelLRIOrsayFrancehttp://www.lri.fr/~jcourantJudicael.Courant@lri.fr(33) 1 69 15 64 85(33) 1 69 15 65 86
DamianiFerruccioDipartimento di Informatica, Universita' di TorinoTorinoITALYhttp://www.di.unito.it/~damianidamiani@di.unito.it+39 0116706750+39 011751603
DelahayeDavidINRIA-RocquencourtLe Chesnay CedexFrancehttp://coq.inria.fr/~delahaye/David.Delahaye@inria.fr+33 1 39 63 57 53+33 1 39 63 56 84
DespeyrouxJoëlleInriaSophia AntipolisFrancehttp://www.inria.fr/certilab/personnel/Joelle.Despeyroux/Joelle.htmlJoelle.Despeyroux@sophia.inria.fr+33 04 92 38 78 05+33 04 92 38 76 33
Di GianantonioPietroUniv. di UdineUdineItalywww.dimi.uniud.it/~pietropietro@dimi.uniud.it+39 0432 558480+39 0432 558499
DowekGillesINRIALe Chesnay CedexFrancecoq.inria.fr/~dowekGilles.Dowek@inria.fr+33 1 39 63 50 27+ 33 1 39 63 56 84
DupratJeanEcole Normale Superieure de LyonLyonFranceJean.duprat@ens-lyon.fr334 72 72 80 35
DybjerPeterChalmersGöteborgSwedenhttp://www.cs.chalmers.se/~peterdpeterd@cs.chalmers.se+46-31-7721035
DymetmanMarcXerox Research Centre EuropeMeylanFrancedymetman@xrce.xerox.com
FilliâtreJean-ChristopheLRIORSAYFRANCEhttp://www.lri.fr/~filliatr/filliatr@lri.fr+33 (0) 1 69 15 64 53+33 (0) 1 69 15 65 86
FridlenderDanielBRICS, Aarhus UniversityAarhus CDenmarkhttp://www.brics.dk/~danieldaniel@brics.dk+45 89 42 32 88+45 89 42 32 55
GaspesVeronicaUniversity of HalmstadKungsbackaSwedenhttp://www.hh.se/staff/verovero@itn.hh.se46 + 35 + 16738046 + 35 + 12 65 94
GeuversHermanUniv. of Nijmegen & Tech. Univ EindhovenEindhovenNLhttp://www.win.tue.nl/~hermanherman@cs.kun.nl(31)40 2472999(31)40 2463992
GillardGuillaumeINRIANiceFranceGuillaume.Gillard@sophia.inria.fr33 92 38 78 42
GonzaliaCarlosChalmersGothenburgSwedenhttp://www.cs.chalmers.se/~gonzaliagonzalia@cs.chalmers.se+46 31 772 10 18+46 31 16 56 55
HaiyanQiaoChalmersGöteborgSwedenhttp://www.cs.chalmers.se/~qiaoqiao@cs.chalmers.se+46 31 7725410+46 31 165655
HallgrenThomasChalmersGöteborgSverigehttp://www.cs.chalmers.se/~hallgren/hallgren@cs.chalmers.se+46 31 7725422
HendriksDimitriDepartment of Philosophy, Utrecht UniversityUtrechtThe Netherlandshendriks@phil.uu.nl+31 -30 2535575+31 -30 2532816
HerbelinHugoINRIA RocquencourtROCQUENCOURTFrancehttp://coq.inria.fr/~herbelinHugo.Herbelin@inria.fr(+33) 1 48 99 56 20(+33) 1 48 99 56 20
HofmannMartinLFCS EdinburghEdinburghUKhttp://www.dcs.ed.ac.uk/home/mxhmxh@dcs.ed.ac.uk0044 131 65051870044 131 6677209
HonsellFurioDipartimento di Matematica e Informatica, Universita` di UdineUDINEITALYwww.dimi.uniud.it/~honsellhonsell@dimi.uniud.it0039 0432 5584670039 0432 558499
IndrikaMiaChalmersGöteborgSwedenindrika@cs.chalmers.se+46 31 772 1006
IshtiaqSaminQueen Mary & Westfield CollegeLondonEnglandhttp://www.dcs.qmw.ac.uk/~sisi@dcs.qmw.ac.uk+44 (0)171 415 3775+44 (0)181 980 6533
KiesslingRobertDurham UniversityDurhamUnited Kindomhttp://www.dur.ac.uk/~dcs7ttg/R.K.Kiessling@durham.ac.uk+44 191 374 3651+44 191 374 2560
LiquoriLuigiENSLLyonFrancehttp://www.ens-lyon.fr/~lliquoriLuigi.Liquori@ens-lyon.fr+33 (0) 4 72 72 85 04 +33 (0)4 72 72 80 80
LuoZhaohuiDepartment of Computer Science, University of DurhamDurhamU.K.http://www.dur.ac.uk/~dcs0zl/Zhaohui.Luo@durham.ac.uk(+44)191-3743657(+44)191-3742560
MaiettiMaria EmiliaSchool of Computer Science, The University of BirminghamBirminghamUnited Kingdommem@cs.bham.ac.uk +44 (0)121 414 4793 +44 (0)121 414 4281
ManouryPascalUniversite Paris 6PARIS Cedex 05FRANCEPascal.Manoury@lip6.fr+33 144276199+33 144278812
Martin-LöfPerDepartment of Mathematics, University of Stockholm106 91 StockholmSweden
MayeroMicaelaINRIA-RocquencourtLE CHESNAY CedexFRANCEhttp://coq.inria.fr/~mayero/Micaela.Mayero@inria.fr+33 1 39 63 57 51+33 1 39 63 56 84
McBrideConorLFCS, University of EdinburghEdinburghScotlandhttp://www.dcs.ed.ac.uk/home/ctm/ctm@dcs.ed.ac.uk
McKinnaJamesDurham UniversityDurhamEnglandhttp://www.dur.ac.uk/CompSciJ.H.McKinna@durham.ac.uk+44 191 374 30 33+44 191 374 25 60
MiculanMarinoDip. di Matematica e InformaticaUdineItalyhttp://www.dimi.uniud.it/~miculanmiculan@dimi.uniud.it+39 0432 558456+39 0432 558499
MiquelAlexandreCoq Project, INRIA RocquencourtLe ChesnayFrancehttp://pauillac.inria.fr/coq/~miquelAlexandre.Miquel@inria.fr+33 (1) 39 63 52 20+33 (1) 39 63 56 84
MäenpääPetriNokia TelecommunicationsTKKFinlandpmaenpaa@cs.hut.fi+358-40-5692792 (mobile)+358-9-4515351
NordströmBengtChalmersGöteborgSwedenbengt@cs.chalmers.se46-31-772 1033
PalmgrenErikMatematiska institutionen, Uppsala universitetUppsalaSverigewww.math.uu.se/~palmgrenpalmgren@math.uu.se+46 18 471 32 85
ParigotMichelUniversité Paris 7ParisFranceparigot@logique.jussieu.fr33 1 44 27 79 7633 1 44 27 61 48
PerssonHenrikChalmersGöteborgSwedenhttp://www.cs.chalmers.se/~henrikphenrikp@cs.chalmers.se+46 31 772 5405+46 31 16 55 56
PaulinChristineLRI-Universite PARIS SudORSAY cedexFRANCEhttp://www.lri.fr/~paulinChristine.Paulin@lri.fr+33 1 69 15 66 35+33 1 69 15 66 85
PollackRandyEdinburgh, NijmegenEdinburghSCOTLANDhttp://www.brics.dk/~pollack/rap@dcs.ed.ac.uk+44 131 225 2228+44 131 667 7209
PottierLoicInriaSophia AntipolisFrancehttp://www.inria.fr/lemme/personnel/Loic.Pottier/index.htmlLoic.Pottier@sophia.inria.fr+33 04 92 38 78 19+33 04 92 38 76 33
ProstFredericEcole Normale Superieure de LyonLYONFRANCEfprost@ens-lyon.fr334 72 72 86 43
RantaAarneChalmers University of Technology
Department of Computing Science		GöteborgSwedenaarne@cs.chalmers.se+ 46 - 31 - 772 10 82+ 46 - 31 - 16 56 55
RuokolainenJuhaDept. of MathematicsUniversity of HelsinkiFinlandjuha.ruokolainen@helsinki.fi
SambinGiovanniDipartimento di Matematica P. e A., Universitˆ di Padova, ItalyPadovaItalysambin@math.unipd.it+39-049-8275987+39-049-8758596
ScagnettoIvanDip. di Matematica e InformaticaUdineItalyhttp://www.dimi.uniud.it/~scagnettscagnett@dimi.uniud.it+39 0432 558469+39 0432 558499
SchuermannCarstenCarnegie Mellon UniversityPittsburghUSAhttp://www.cs.cmu.edu/~carstencarsten@cs.cmu.edu+1 (412) 268 3069+1 (412) 268 5576
SeisenbergerMonikaLMU MuenchenMuenchenGermanyhttp://www.mathematik.uni-muenchen.de/~seisenb/seisenb@rz.mathematik.uni-muenchen.de+49 89 2394 4418+49 89 2805248
SetzerAntonDept. of MathematicsUppsalaSwedenhttp://www.math.uu.se/~setzer/setzer@math.uu.se+46 18 4713284+46 18 4713201
SmithJanChalmersGöteborgSwedenhttp://www.cs.chalmers.se/~smithsmith@cs.chalmers.se
SzaszNoraUniversidad de la RepublicaMontevideoUruguayhttp://www.fing.edu.uy/~noranora@fing.edu.uy598 2 711 4244598 2 711 0469
TakeyamaMakotoChalmerse University of TechnologyGöteborgSwedenmakoto@cs.chalmers.se+46-31-772-1027
WenzelMarkusTU MunichMunichGermanyhttp://www.in.tum.de/~wenzelmwenzelm@in.tum.de+49 (89) 289-22692+49 (89) 289-25310
WernerBenjaminINRIALE CHESNAY cedexFRANCEhttp://coq.inria.fr/~werner/Benjamin.Werner@inria.fr+33 6 10 25 46 50+33 1 39 63 52 31
WiedijkFreekNijmegen UniversityNijmegenthe Netherlandshttp://www.cs.kun.nl/~freek/freek@cs.kun.nl+31 24 3652647
van OostromVincentUniversiteit Utrecht & CWIUtrechtThe Netherlandshttp://www.phil.uu.nl/~oostromoostrom@phil.uu.nl+31 30 2532761 +31 30 2532816
von PlatoJanUniversity of HelsinkiHelsingforsFinlandvonplato@helsinki.fi