Participant list for DOMAIN

Registrants

Name Affiliation Country Email (with "*" for "@")
Jirí Adámek Tech. Univ. of Braunschweig Germany adamek*iti.cs.tu-bs.de
Steve Awodey Carnegie Mellon Univ. USA awodey*cmu.edu
Andrej Bauer University of Ljubljana Slovenia from_floc*andrej.com
Gianluigi Bellin Queen Mary and Westfield College Univ UK bellin*dcs.qmul.ac.uk
Lars Birkedal The IT Univ. of Cph Denmark birkedal*itu.dk
Carsten Butz IT Univ. of Copenhagen Denmark butz*it-c.dk
Simona Ronchi Della Rocca University of Torino, dept. of Computer Italy ronchi*di.unito.it
Fer-Jan de Vries Univ. of Leichester UK fdv1*mcs.le.ac.uk
Mariangiola Dezani-Ciancaglini University of Torino Italy dezani*di.unito.it
Asger Eir IMM, DTU Denmark ae*byg.dtu.dk
Martín Escardó University of Birmingham UK m.escardo*cs.bham.ac.uk
Marcelo Pablo Fiore Univ. of Cambridge UK Marcelo.Fiore*cl.cam.ac.uk
Lee Flax Macquarie Univ. Australia flax*ics.mq.edu.au
Michael Fourman The University of Edinburgh UK Michael.Fourman*ed.ac.uk
Makoto Hamana Gunma University Japan hamana*cs.gunma-u.ac.jp
Jo Hannay Simula Research Lab. Norway jo*simula.no
Thomas Hildebrandt IT University of Copenhagen Denmark hilde*it-c.dk
Furio Honsell DiMI - University of Udine Italy honsell*dimi.uniud.it
Martin Hyland DPMMS, University of Cambridge UK m.hyland*dpmms.cam.ac.uk
Klaus Jřrgensen Roskilde University Denmark frovin*ruc.dk
Panagis Karazeris University of Patras Greece pkarazer*math.upatras.gr
Jeroen Ketema Vrije Univ. (dep. of math. and co The Netherlands jketema*cs.vu.nl
Ulrich Kohlenbach University of Aarhus Denmark kohlenb*brics.dk
Jimmie Lawson Louisiana State University USA lawson*math.lsu.edu
Bill Lawvere SUNY at Buffalo USA
Silvia Likavec Universita di Torino Italy likavec*di.unito.it
Paul-André Melličs CNRS, University Paris 7 France mellies*pps.jussieu.fr
Marino Miculan DiMI - University of Udine Italy miculan*dimi.uniud.it
Rasmus Ejlers Mřgelberg IT-University of Copenhagen Denmark mogel*it-c.dk
Peter D. Mosses BRICS & University of Aarhus Denmark pdmosses*brics.dk
Yoko Motohama University of Udine Italy motohama*dimi.uniud.it
Misao Nagayama Tokyo Woman's Christian University Japan misao*twcu.ac.jp
Mikkel Nygaard BRICS, University of Aarhus Denmark nygaard*daimi.au.dk
Prakash Panangaden McGill University Canada prakash*cs.mcgill.ca
Elaine Pimentel UFMG - Federal University of Minas Gerai Brazil elaine*mat.ufmg.br
Anthony John Power University of Edinburgh UK ajp*dcs.ed.ac.uk
Bernhard Reus University of Sussex UK bernhard*cogs.susx.ac.uk
John Reynolds Carnegie Mellon University USA jcr*cs.cmu.edu
Jiri Rosicky Masaryk University Czech Republic rosicky*math.muni.cz
Giuseppe Rosolini DISI, Universita` di Genova Italy rosolini*disi.unige.it
Ivar Rummelhoff University of Oslo Norway ivarru*math.uio.no
Andrea Schalk Univ.of Manchester, Dep. of UK A.Schalk*cs.man.ac.uk
Vincent Raymond Robert Schmitt Leicester Univ - Department of mat UK vs27*mcs.le.ac.uk
Dana S. Scott Carnegie Mellon Univ/ Dept. Comput USA dana.scott*cs.cmu.edu
Jonathan P. Seldin University of Lethbridge Canada jonathan.seldin*uleth.ca
Paula Gabriela Severi Universita di Torino UK ps56*mcs.le.ac.uk
Volodya Shavrukov IT-Hřjskolen Denmark volodya*it-c.dk
Ken Shiotani Chiba University Japan saltcat*bc4.so-net.ne.jp
Alex Simpson LFCS, Univ of Edinburgh UK Alex.Simpson*dcs.ed.ac.uk
Michel Sintzoff Catholic University of Louvain Belgium ms*info.ucl.ac.be
Dieter Spreen Universität Siegen Germany spreen*informatik.uni-siegen.de
Thomas Streicher Tech. Univ. Darmstadt (TUD) Germany streicher*mathematik.tu-darmstadt.de
Noah Torp-Smith IT University of Cph. Denmark noah*itu.dk
Daniele Varacca BRICS UK varacca*brics.dk
Paul Voda University of Bratislavia Slovenia voda*fmph.uniba.sk
Kidane Yemane Weldemariam Uppsala University Sweden Kidane.Yemane*it.uu.se
Glynn Winskel University of Aarhus Denmark gw104*cl.cam.ac.uk
Michael Patrick Wright N/A UK

Distribution

Country Count
UK 14
Denmark 12
Italy 7
USA 5
Germany 3
Japan 3
Canada 2
Norway 2
Slovenia 2
Australia 1
Belgium 1
Brazil 1
Czech Republic 1
France 1
Greece 1
Sweden 1
The Netherlands 1
Total 58

Generated on Fri Aug 9 12:08:37 2002.

This list is generated from the VHC registration database, with manual patches based on information from the FLoC paper and committee databases.
If your entry is incorrect, or if you would prefer not to be listed, contact andrzej@diku.dk.