Participant list for LICS

Registrants

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

Distribution

Country Count
USA 41
UK 31
France 25
Denmark 22
Canada 17
Italy 16
Germany 15
Japan 7
Sweden 5
Australia 4
Nepal 4
Spain 4
Norway 3
Austria 2
Poland 2
Portugal 2
Slovenia 2
Belgium 1
Brazil 1
Estonia 1
Finland 1
Ireland 1
New Zealand 1
Russia 1
The Netherlands 1
Ukraine 1
Total 211

Generated on Fri Aug 9 12:08:38 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.