Participant list for PAPM-PROBMIV

Registrants

Name Affiliation Country Email (with "*" for "@")
Alessandro Aldini University of Bologna Italy aldini*cs.unibo.it
Christel Baier University of Bonn Germany baier*cs.uni-bonn.de
Gregor v. Bochmann University of Ottawa Canada bochmann*site.uottawa.ca
Henrik Bohnenkamp Univ of Twente, Dep. of Comp The Netherlands bohnenka*cs.utwente.nl
Olivier Bournez INRIA / LORIA France Olivier.Bournez*loria.fr
Mario Bravetti Univ. of Bologna Italy bravetti*cs.unibo.it
Josée Desharnais Université Laval Canada Josee.Desharnais*ift.ulaval.ca
Stefan Haar IRISA/INRIA France stefan.haar*irisa.fr
Holger Hermanns University of Twente The Netherlands hermanns*cs.utwente.nl
Ulrich Herzog University of Erlangen - Nürnberg Germany herzog*informatik.uni-erlangen.de
Michael Huth Imperial College UK mrh*doc.ic.ac.uk
Bertrand Jeannet IRISA France Bertrand.Jeannet*irisa.fr
Joost-Pieter Katoen Univ. of Twente, Faculty of Com. The Netherlands katoen*cs.utwente.nl
Matthias Kuntz Universitaet Erlangen-Nuernberg Germany mskuntz*informatik.uni-erlangen.de
Marta Kwiatkowska University of Birmingham UK mzk*cs.bham.ac.uk
Kim G. Larsen BRICS Aalborg Denmark kgl*cs.auc.dk
Richard Lassaigne Equipe de Logique / Univ Paris 7 France lassaign*logique.jussieu.fr
Rashid Mehmood University of Birmingham UK rxm*cs.bham.ac.uk
Gethin Norman University of Birmingham UK G.Norman*cs.bham.ac.uk
Prakash Panangaden McGill University Canada prakash*cs.mcgill.ca
Sylvain Peyronnet LRI, University PARIS XI France syp*lri.fr
André Schiper EPFL Switzerland andre.schiper*epfl.ch
Roberto Segala University of Verona Italy roberto.segala*univr.it
Markus Siegle University of Erlangen Germany siegle*informatik.uni-erlangen.de
Jeremy Sproston University of Turin Italy sproston*di.unito.it
Daniele Varacca BRICS UK varacca*brics.dk
Herbert Wiklicky Imperial College UK herbert*doc.ic.ac.uk
Hakan Younes Carnegie Mellon University USA Lorens*cs.cmu.edu

Distribution

Country Count
UK 6
France 5
Germany 4
Italy 4
Canada 3
The Netherlands 3
Denmark 1
Switzerland 1
USA 1
Total 28

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.