| Name |
Affiliation |
Country |
Email
(with "*" for "@") |
| Samson
Abramsky | Oxford
Univ. Comp. Lab. | UK |
samson*comlab.ox.ac.uk |
| Klaus
Aehlig | Ludwig-Maximilians-Univ. |
Germany |
aehlig*mathematik.uni-muenchen.de |
| Amal
Ahmed | Princeton
University | USA |
amal*cs.princeton.edu |
| Roberto
Amadio | University
of Marseille | France |
amadio*cmi.univ-mrs.fr |
| Albert
Atserias | Univ.
Politecnica de Catalunya | Spain |
atserias*lsi.upc.es |
| Steve
Awodey | Carnegie
Mellon Univ. | USA |
awodey*cmu.edu |
| Vincent
Balat | Labo
PPS - univ. Paris 7 | France |
balat*pps.jussieu.fr |
| Andrej
Bauer | University
of Ljubljana | Slovenia |
from_floc*andrej.com |
| Gianluigi
Bellin | Queen
Mary and Westfield College Univ | UK |
bellin*dcs.qmul.ac.uk |
| Michael
Benedikt | Bell
Laboratories | Ireland |
benedikt*research.bell-labs.com |
| Dietmar
Berwanger | RWTH
Aachen | Germany |
berwanger*cs.rwth-aachen.de |
| Lars
Birkedal | The
IT Univ. of Cph | Denmark |
birkedal*itu.dk |
| Henrik
Björklund | Uppsala
Univ. | Sweden |
hebj6769*student.uu.se |
| Richard
Blute | University
of ottawa | Canada |
rblute*mathstat.uottawa.ca |
| Miquel
Bofill | Universitat
de Girona | Spain |
miquel.bofill*ima.udg.es |
| Gerard
Boudol | INRIA |
France |
gbo*sophia.inria.fr |
| Torben
Braüner | Roskilde
University | Denmark |
torben*ruc.dk |
| Stephen
Brookes | Carnegie
Mellon Univ. | USA |
BROOKES*CS.CMU.EDU |
| Carsten
Butz | IT
Univ. of Copenhagen | Denmark |
butz*it-c.dk |
| Iliano
Cervesato | ITT
Ind. AES Division | USA |
iliano*itd.nrl.navy.mil |
| Marsha
Chechik | University
of Toronto | Canada |
chechik*cs.toronto.edu |
| Hubert
Comon | LSV,
CNRS & ENS Cachan | France |
Hubert.Comon*lsv.ens-cachan.fr |
| Sylvain
Conchon | OGI |
USA |
conchon*cse.ogi.edu |
| Stephen
Cook | University
of Toronto | Canada |
sacook*cs.toronto.edu |
| Mario
Coppo | Universita'
di Torino | Italy |
deligu*di.unito.it |
| Paolo
Coppola | Dep.
Math., University of Udine | Italy |
coppola*dimi.uniud.it |
| Véronique
Cortier | ENS
de Cachan and CNRS | France |
cortier*lsv.ens-cachan.fr |
| Anuj
Dawar | Univ.
of Cambridge | UK |
anuj.dawar*cl.cam.ac.uk |
| Renata
Pereira de Freitas | Unev.
Federal Rio de Janeiro | Brazil |
naborges*cos.ufrj.br |
| Simona
Ronchi Della Rocca | University
of Torino, dept. of Computer | Italy |
ronchi*di.unito.it |
| Federico
De Marchi | University
of Leicester | UK |
fdm2*mcs.le.ac.uk |
| Valeria
Correa Vaz de Paiva | PARC
- Palo Alto Res. Center | USA |
paiva*parc.com |
| Michel
de Rougemont | Université
Paris II | France |
mdr*lri.fr |
| Josée
Desharnais | Université
Laval | Canada |
Josee.Desharnais*ift.ulaval.ca |
| Benet
Devereux | University
of Toronto | Canada |
benet*cs.toronto.edu |
| Mariangiola
Dezani-Ciancaglini | University
of Torino | Italy |
dezani*di.unito.it |
| Roberto
Di Cosmo | Univ.
of Paris 7 and Inria | France |
roberto*dicosmo.org |
| Catalin
Dima | Verimag |
France |
ctdima*imag.fr |
| Abbas
Edalat | Imperial
College | UK |
ae*doc.ic.ac.uk |
| Kai
Engelhardt | University
of New South Wales | Australia |
kaie*cse.unsw.edu.au |
| Martín
Escardó | University
of Birmingham | UK |
m.escardo*cs.bham.ac.uk |
| Marco
Faella | Università
di Salerno | Italy |
mfaella*dia.unisa.it |
| François
Fages | Inria |
France |
francois.fages*inria.fr |
| Claudia
Faggian | U.Cambridge-DPMMS |
UK |
cf245*dpmms.cam.ac.uk |
| Harald
Fecher | Universtaet
Mannheim | Germany |
hfecher*pi2.informatik.uni-mannheim.de |
| Amy
Felty | University
of Ottawa | Canada |
afelty*site.uottawa.ca |
| Andrzej
Filinski | DIKU,
Univ. of Copenhagen | Denmark |
andrzej*diku.dk |
| Michele
Finelli | University
of Bologna | Italy |
finelli*cs.unibo.it |
| Marcelo
Pablo Fiore | Univ.
of Cambridge | UK |
Marcelo.Fiore*cl.cam.ac.uk |
| Jonathan
Mark Ford | SRI
International / Univ. of NSW | Australia |
jford*turing.une.edu.au |
| Alain
Frisch | Ecole
Normale Superieure | France |
Alain.Frisch*ens.fr |
| Harald
Ganzinger | Max-Planck-Inst.fuer
info. | Germany |
ganzinger*mpi-sb.mpg.de |
| Lilia
Georgieva | Max-Planck-Inst
für Inf. | Germany |
georgiel*cs.man.ac.uk |
| Philipp
Gerhardy | University
of Aarhus | Denmark |
peegee*daimi.au.dk |
| Dina
Goldin | University
of Connecticut | USA |
dqg*cse.uconn.edu |
| Rajeev
Goré | Australian
National Univ. | Australia |
Rajeev.Gore*anu.edu.au |
| Georg
Gottlob | Vienna
University of Technology | Austria |
gottlob*dbai.tuwien.ac.at |
| Erich
Grädel | Aachen
Univ. of Technology | Germany |
graedel*informatik.rwth-aachen.de |
| Martin
Grohe | University
of Edinburgh | UK |
grohe*dcs.ed.ac.uk |
| Dimitar
Panayotov Guelev | University
of Birmingham | UK |
D.P.Guelev*cs.bham.ac.uk |
| Vineet
Gupta | Stratify
Inc. | USA |
vineet*stratify.com |
| Arie
Gurfinkel | University
of Toronto | Canada |
arie*cs.toronto.edu |
| Makoto
Hamana | Gunma
University | Japan |
hamana*cs.gunma-u.ac.jp |
| Nadeem
Abdul Hamid | Yale
University | USA |
nadeem*acm.org |
| Jo
Hannay | Simula
Research Lab. | Norway |
jo*simula.no |
| James
Harland | RMIT
University | Australia |
jah*cs.rmit.edu.au |
| William
L. Harrison | OGI |
USA |
wlh*cse.ogi.edu |
| Miki
Hermann | LIX,
Ecole Polytechnique | France |
Miki.Hermann*lix.polytechnique.fr |
| Claudio
Hermida | IST
Lisbon | Portugal |
chermida*math.ist.utl.pt |
| William
Hesse | Univ.
of Massachusetts/Amherst | USA |
whesse*cs.umass.edu |
| Thomas
Hildebrandt | IT
University of Copenhagen | Denmark |
hilde*it-c.dk |
| J.
Roger Hindley | University
of Wales Swansea | UK |
j.r.hindley*swansea.ac.uk |
| Daniel
Hirschkoff | ENS
Lyon | France |
Daniel.Hirschkoff*ens-lyon.fr |
| Furio
Honsell | DiMI
- University of Udine | Italy |
honsell*dimi.uniud.it |
| Douglas
Howe | Carleton
University | Canada |
howe*scs.carleton.ca |
| Hans
Hüttel | Dep.
of Computer Science, Aalborg | Denmark |
hans*cs.auc.dk |
| Martin
Hyland | DPMMS,
University of Cambridge | UK |
m.hyland*dpmms.cam.ac.uk |
| Neil
Immerman | UMass,
Amherst | USA |
immerman*cs.umass.edu |
| Jørgen
Iversen | BRICS |
Denmark |
jive*brics.dk |
| Radha
Jagadeesan | DePaul
University | USA |
rjagadeesan*cs.depaul.edu |
| Ryszard
Janicki | McMaster
University | Canada |
janicki*mcmaster.ca |
| Alan
Jeffrey | DePaul
University | USA |
ajeffrey*cs.depaul.edu |
| Jan
Johannsen | Inst
fur Informatik, LMU Munchen | Germany |
jjohanns*informatik.uni-muenchen.de |
| Neil
D. Jones | DIKU,
University of Copenhagen | Denmark |
neil*diku.dk |
| Klaus
Jørgensen | Roskilde
University | Denmark |
frovin*ruc.dk |
| Jean
Pierre Jouannaud | LRI |
France |
|
| Bruce
Kapron | University
of Victoria | Canada |
kapron*cs.uvic.ca |
| Ryo
Kashima | Tokyo
Institute of Technology | Japan |
kashima*is.titech.ac.jp |
| Yevgeny
Kazakov | Max-Planck-Institut
fuer Informatik | Germany |
kazakov*mpi-sb.mpg.de |
| Jeroen
Ketema | Vrije
Univ. (dep. of math. and co | The
Netherlands | jketema*cs.vu.nl |
| Raghu
Dip Khadka | National
College of Computer Sciences | Nepal |
rdkhadka*rediffmail.com |
| Bakhadyr
Khoussainov | The
University of Auckland | New
Zealand | bmk*cs.auckland.ac.nz |
| Nils
Klarlund | AT&T
Labs | USA |
klarlund*research.att.com |
| Ulrich
Kohlenbach | University
of Aarhus | Denmark |
kohlenb*brics.dk |
| Phokion
Kolaitis | University
of California Santa Cruz | USA |
kolaitis*cs.ucsc.edu |
| Margarita
Korovina | BRICS,
University of Aarhus | Denmark |
korovina*brics.dk |
| Dexter
Kozen | Cornell
University | USA |
kozen*cs.cornell.edu |
| Stephan
Kreutzer | RWTH
Aachen | Germany |
kreutzer*informatik.rwth-aachen.de |
| Lars
Kristiansen | Oslo
Univ College - Faculty of Egi | Norway |
larskri*iu.hio.no |
| Yngve
Lamo | Høgskolen
i Bergen | Norway |
yla*hlb.no |
| François
Laroussinie | LSV
- ENS de Cachan, CNRS | France |
fl*lsv.ens-cachan.fr |
| Richard
Lassaigne | Equipe
de Logique / Univ Paris 7 | France |
lassaign*logique.jussieu.fr |
| Salvatore
La Torre | University
of Pennsylvania | USA |
latorre*seas.upenn.edu |
| Olivier
Laurent | University
of Paris VII | France |
laurent*pps.jussieu.fr |
| Jean-Marie
Le Bars | GREYC,
University of Caen | France |
lebars*info.unicaen.fr |
| Hans
Leiss | University
of Munich, CIS | Germany |
leiss*cis.uni-muenchen.de |
| Daniel
Leivant | Indiana
University | USA |
leivant*cs.indiana.edu |
| Maurizio
Lenzerini | Universita'
degli Studi di Roma | Italy |
lenzerini*dis.uniroma1.it |
| Pierre
Lescanne | ENS
Lyon | France |
Pierre.Lescanne*ens-lyon.fr |
| Leonid
Libkin | University
of Toronto | Canada |
libkin*cs.toronto.edu |
| Silvia
Likavec | Universita
di Torino | Italy |
likavec*di.unito.it |
| Bernd
Löchner | Universität
Kaiserslautern | Germany |
loechner*informatik.uni-kl.de |
| Etienne
Lozes | ENS
Lyon | France |
elozes*ens-lyon.fr |
| Stefania
Lusin | Università
Ca' Foscari di Venezia | Italy |
slusin*dsi.unive.it |
| Christopher
Lynch | Clarkson
University | USA |
clynch*clarkson.edu |
| Maria
Emilia Maietti | University
of Padova | Italy |
maietti*math.unipd.it |
| Nicolas
Markey | LSV
- ENS Cachan & CNRS 8643 | France |
markey*lsv.ens-cachan.fr |
| Ursula
Martin | University
of St Andrews | UK |
um*dcs.st-and.ac.uk |
| Michael
Mendler | University
of Bamberg | Germany |
michael.mendler*wiai.uni-bamberg.de |
| Neophytos
Michael | Princeton
University | USA |
nmichael*cs.princeton.edu |
| Marino
Miculan | DiMI
- University of Udine | Italy |
miculan*dimi.uniud.it |
| Dale
Miller | Penn
State University | USA |
dale*cse.psu.edu |
| Rasmus
Ejlers Møgelberg | IT-University
of Copenhagen | Denmark |
mogel*it-c.dk |
| Torben
Ægidius Mogensen | DIKU |
Denmark |
torbenm*diku.dk |
| Alberto
Momigliano | University
of Leicester | UK |
am133*mcs.le.ac.uk |
| Stefan
Monnier | Yale
University | USA |
monnier*lia.di.epfl.ch |
| Barbara
Morawska | Clarkson
University | USA |
morawskb*clarkson.edu |
| Peter
D. Mosses | BRICS
& University of Aarhus | Denmark |
pdmosses*brics.dk |
| Yoko
Motohama | University
of Udine | Italy |
motohama*dimi.uniud.it |
| Jean-Yves
Moyen | Loria |
France |
moyen*loria.fr |
| Aniello
Murano | Università
di Salerno | Italy |
murano*dia.unisa.it |
| Nikos
Mylonakis | Univ.
Politecnica de Catalunya | Spain |
nicos*lsi.upc.es |
| Misao
Nagayama | Tokyo
Woman's Christian University | Japan |
misao*twcu.ac.jp |
| Ataru
Nakagawa | SRA
KTL | Japan |
nakagawa*sra.co.jp |
| Akio
Nakata | Osaka
University | Japan |
nakata*ist.osaka-u.ac.jp |
| Peter
Møller Neergaard | School
of Com. Sci, Brandeis Uni | USA |
turtle*achilles.linearity.org |
| Zhaozhong
Ni | Yale
University | USA |
zhaozhong.ni*yale.edu |
| Robert
Nieuwenhuis | Tech.
Univ. Catalonia | Spain |
roberto*lsi.upc.es |
| Mykola
Nikitchenko | Kyiv
National Taras Shevchenko Univ | Ukraine |
nikitchenko*unicyb.kiev.ua |
| Juha
Nurmonen | University
of Helsinki | Finland |
juha.nurmonen*helsinki.fi |
| Mikkel
Nygaard | BRICS,
University of Aarhus | Denmark |
nygaard*daimi.au.dk |
| Peter
O'Hearn | Queen
Mary, Univ of London | UK |
ohearn*dcs.qmul.ac.uk |
| Paulo
Oliva | BRICS,
University of Aarhus | Denmark |
pbo*brics.dk |
| C.-H.
Luke Ong | Oxford
University | UK |
lo*comlab.ox.ac.uk |
| Martin
Otto | University
of Wales Swansea | UK |
m.otto*swan.ac.uk |
| Leszek
Pacholski | Wroclaw
University | Poland |
pacholsk*ii.uni.wroc.pl |
| Jens
Palsberg | Purdue
University | USA |
palsberg*cs.purdue.edu |
| Prakash
Panangaden | McGill
University | Canada |
prakash*cs.mcgill.ca |
| Sylvain
Peyronnet | LRI,
University PARIS XI | France |
syp*lri.fr |
| Frank
Pfenning | Carnegie
Mellon University | USA |
fp*cs.cmu.edu |
| Andrew
M. Pitts | University
of Cambridge | UK |
Andrew.Pitts*cl.cam.ac.uk |
| Gordon
Plotkin | University
of Edinburgh | UK |
gdp*dcs.ed.ac.uk |
| Narad
Kumar Pokharel | Kantipur
College of Com Sciences | Nepal |
naradp*ntc.net.np |
| Shyam
Kumar Poudel | Kathmandu
College of Info. Technol | Nepal |
shayampoudel*rediffmail.com |
| Julian
Rathke | University
of Sussex | UK |
julianr*cogs.susx.ac.uk |
| Thomas
Reps | University
of Wisconsin | USA |
reps*cs.wisc.edu |
| Bernhard
Reus | University
of Sussex | UK |
bernhard*cogs.susx.ac.uk |
| Christopher
Reuter | EOARD |
UK |
chris.reuter*london.af.mil |
| John
Reynolds | Carnegie
Mellon University | USA |
jcr*cs.cmu.edu |
| Eike
Ritter | University
of Birmingham | UK |
E.Ritter*cs.bham.ac.uk |
| Giuseppe
Rosolini | DISI,
Universita` di Genova | Italy |
rosolini*disi.unige.it |
| Luca
Roversi | University
di Torino | Italy |
roversi*di.unito.it |
| James
Royer | EECS
Dept Syracuse University | USA |
royer*ecs.syr.edu |
| Sasha
Rubin | University
of Auckland | USA |
rubin*math.auckland.ac.nz |
| Sven
Sandberg | Uppsala
University | Sweden |
svsa1977*student.uu.se |
| Jose
Espirito Santo | University
of Minho | Portugal |
jes*math.uminho.pt |
| Luigi
Santocanale | LaBRI
- Université Bordeaux I | France |
santocan*labri.fr |
| Ananta
Raj Sapkota | Kathmandu
College of Info. Technol | Nepal |
arsapkota*rediffmail.com |
| Andre
Scedrov | University
of Pennsylvania | USA |
scedrov*cis.upenn.edu |
| Andrea
Schalk | Univ.of
Manchester, Dep. of | UK |
A.Schalk*cs.man.ac.uk |
| Manfred
Schmidt-Schauß | Goethe-university |
Germany |
schauss*cs.uni-frankfurt.de |
| Aleksy
Schubert | Warsaw
Univ., Inst. of Informat | Poland |
alx*mimuw.edu.pl |
| Dana
S. Scott | Carnegie
Mellon Univ/ Dept. Comput | USA |
dana.scott*cs.cmu.edu |
| Philip
J. Scott | U.
Ottawa | Canada |
phil*site.uottawa.ca |
| Jens
Peter Secher | DIKU |
Denmark |
jpsecher*diku.dk |
| Emil
Sekerinski | McMaster
University | Canada |
emil*mcmaster.ca |
| Jonathan
P. Seldin | University
of Lethbridge | Canada |
jonathan.seldin*uleth.ca |
| Peter
Selinger | University
of Ottawa | Canada |
selinger*mathstat.uottawa.ca |
| Paula
Gabriela Severi | Universita
di Torino | UK |
ps56*mcs.le.ac.uk |
| Natarajan
Shankar | SRI
International | USA |
shankar*csl.sri.com |
| Nikolay
Shilov | Inst.
of Informatics System | Russia |
shilov*iis.nsk.su |
| 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 |
| Sebastian
Skalberg | DIKU |
Denmark |
skalberg*diku.dk |
| Christian
Skalka | The
Johns Hopkins University | USA |
ces*cs.jhu.edu |
| Michael
Soltys | McMaster
University | Canada |
soltys*mcmaster.ca |
| Dieter
Spreen | Universität
Siegen | Germany |
spreen*informatik.uni-siegen.de |
| Christoph
Sprenger | Swedish
Institute of Computer Sci. (S | Sweden |
sprenger*sics.se |
| Ian
Stark | University
of Edinburgh | UK |
Ian.Stark*ed.ac.uk |
| Mark
E. Stickel | SRI
International | USA |
stickel*ai.sri.com |
| Thomas
Streicher | Tech.
Univ. Darmstadt (TUD) | Germany |
streicher*mathematik.tu-darmstadt.de |
| Kazushige
Terui | National
Institute for Informatics | Japan |
terui*nii.ac.jp |
| Ashish
Tiwari | SRI
International | USA |
tiwari*csl.sri.com |
| Noah
Torp-Smith | IT
University of Cph. | Denmark |
noah*itu.dk |
| Valery
Trifonov | Yale
University | USA |
trifonov*cs.yale.edu |
| Tarmo
Uustalu | Inst
of Cybernetics,Tallinn Techn Univ | Estonia |
tarmo*cs.ioc.ee |
| Steffen
van Bakel | Dep.
of Computing, Imperial Colleg | UK |
svb*doc.ic.ac.uk |
| Daniele
Varacca | BRICS |
UK |
varacca*brics.dk |
| Moshe
Vardi | Rice
University | USA |
vardi*cs.rice.edu |
| Helmut
Veith | TU
Wien, Inst f. Informationssysteme | Austria |
veith*dbai.tuwien.ac.at |
| Maria
Grazia Vigliotti | BRICS |
Denmark |
mgv*daimi.au.dk |
| Paul
Voda | University
of Bratislavia | Slovenia |
voda*fmph.uniba.sk |
| Sergei
Vorobyov | Uppsala
University | Sweden |
vorobyov*csd.uu.se |
| Benjamin
Wack | LORIA
- ENS LYON | France |
wack*loria.fr |
| Kidane
Yemane Weldemariam | Uppsala
University | Sweden |
Kidane.Yemane*it.uu.se |
| Joe
Wells | Heriot-Watt
University | UK |
jbw*cee.hw.ac.uk |
| Glynn
Winskel | University
of Aarhus | Denmark |
gw104*cl.cam.ac.uk |
| Michael
Zakharyaschev | Comp.Sci.,
King's College London | UK |
mz*dcs.kcl.ac.uk |
| Guo-Qiang
Zhang | Case
Western Reserve Univ. | USA |
gqz*eecs.cwru.edu |
| Pascal
Zimmer | INRIA
Sophia Antipolis | France |
Pascal.Zimmer*sophia.inria.fr |
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.
![[previous]](../img/prev.gif){kind=small}
![[up]](../img/up.gif){kind=small}
![[next]](../img/next.gif){kind=small}
