Giens, France,
August 30 - September 10, 1999
List of participants
Participants (55):
Michael Abbott, michael@rcp.co.uk.
RCP Consultants Ltd, Didcot, Oxfordshire, United Kingdom
David Aspinall,
da@dcs.ed.ac.uk. LFCS, University of Edinburgh, Scotland UK.
Serge Autexier,
autexier@ags.uni-sb.de.
PhD student, Saarland University, Saarbruecken, Germany.
Antonia Balaa, abalaa@sophia.inria.fr.
PhD student, INRIA, Sophia Antipolis, France.
Sylvain Baro, Sylvain.Baro@lip6.fr.
PhD student, LIP6, Universite de Paris 6, France.
Frédérick Benaben, Frederic.Benaben@TCO.Thomson-CSF.com.
PhD student, Thomson-CSF, France.
Stefan Berghofer,
berghofe@in.tum.de.
PhD student, TU Muenchen, Muenchen, Germany.
Chantal Berline, berline@logique.jussieu.fr.
Senior researcher, Universite Paris 7, France.
Per Bjesse ,
bjesse@cs.chalmers.se.
PhD student, Chalmers technical university, Göteborg, Sweden.
Ana Bove,
bove@cs.chalmers.se.
PhD student, Chalmers University of Technology, Göteborg, Sweden.
Jens Brage, brage@matematik.su.se.
PhD student, University of Stockholm, Sweden.
Gergely Buday,
gergoe@math.bme.hu.
PhD student, Technical University of Budapest, Hongrie.
Mario Jose Caccamo,
mcaccamo@brics.dk.
PhD student, BRICS, Aarhus C, Denmark.
Ludovic Casset, ludovic.casset@gemplus.com.
Gemplus Research Lab, France.
Laurent Chicli, lchicli@sophia.inria.fr.
PhD student, INRIA, Sophia Antipolis, France
Gennady Chugunov, gena@sics.se.
PhD student, Swedish Institute of Computer Science, Kista, Sweden
Alberto Ciaffaglione, ciaffagl@dimi.uniud.it.
PhD student, University of Udine, Italy
Dario Colazzo, colazzo@di.unipi.it.
PhD student, University of Pisa, Italy.
Pierre Courtieu, courtieu@lri.fr.
PhD student, Universite Paris Sud, Orsay, France.
Maarten de Mol,
maartenm@cs.kun.nl.
PhD student, University of Nijmegen, Netherlands.
Jean Duprat, duprat@ens-lyon.fr.
Senior researcher, ENS, Lyon, France.
Laurent Fournerie, laurent.fournerie@research.gemplus.com.
Research engineer, Gemplus.
Pablo Giambiagi,
pablo@sics.se.
PhD student, Royal Institute of Technology, KTH, Stockholm, Sweden.
Peter Gillett,
gillett@everest.rutgers.edu.
Associate professor, Rutgers University, Newark, New Jersey, U.S.A.
Maria Joao Gomes Frade,
mjf@di.uminho.pt.
PhD student, Universidade do Minho, Portugal.
Benjamin Gregoire,
benjamin.gregoire@inria.fr.
PhD student, INRIA, Rocquencourt, France.
Bernd Grobauer,
grobauer@brics.dk.
PhD student, BRICS, Aarhus, Denmark.
Ferruccio Guidi, fguidi@leonardo.math.unipd.it.
PhD student, Universiity of Padua, Italy.
Matti J Kinnunen, matti.kinnunen@helsinki.fi.
Researcher and R&D engineer,
University of Helsinki, and Nokia Telecommunications, Finland.
Dominique Larchey-Wendling,
larchey@loria.fr.
PhD student, LORIA, Nancy, France.
Richard Lassaigne, lassaigne@logique.jussieu.fr.
Professor, Jussieu University, France.
Sylvain Lippi, lippi@iml.univ-mrs.fr.
PhD student at Marseille.
Petri Mäenpää,
pmaenpaa@cs.hut.fi.
Chief research engineer, Nokia Telecommunications, Helsinki, Finland.
Hamana Makoto,
makoto@dcs.ed.ac.uk.
Researcher, Kyoto University,
visiting University of Edinburgh, Scotland UK.
Thierry Massart,
tmassart@ulb.ac.be.
Assistant-professor, University of Brussels (ULB), Belgique.
Simao Melo de Sousa,
desousa@noe.ubi.pt.
Assistant Lecturer, Universidade da Beira Interior, Portugal.
Nicholas Mitchell,
npmitc@essex.ac.uk.
PhD student, University of Essex, Colchester, England.
Jean-Francois Monin, JeanFrancois.Monin@cnet.francetelecom.fr.
Expert Senior, CNET Francetelecom, France.
Lockwood Morris,
lockwood@ecs.syr.edu.
retired (Professor Emeritus), Syracuse University, NY, USA.
Simona Motogna,
motogna@cs.ubbcluj.ro.
PhD student, Cluj Napoca, Romania.
Darmalingum Muthiayen,
d_muthi@cs.concordia.ca.
PhD student, Concordia University, Montreal, Quebec, Canada.
Raja Natarajan.
raja@tifr.res.in.
Researcher, Post-doctoral Fellow,
Tata Institute of Fundamental Research, Bombay, India.
Sara Negri,
negri@helsinki.fi.
Researcher, University of Helsinki, Finland.
Henrik Nilsson,
Henrik.Nilsson@sophia.inria.fr.
PhD student, INRIA Sophia-Antipolis, France.
Davy Rouillard, rouillar@labri.u-bordeaux.fr.
PhD student, LaBRI, Université Bordeaux I, France.
Ivan Scagnetto,
scagnett@dimi.uniud.it.
PhD student, Universita` degli Studi di Udine, Italy.
Richard Scherl,
scherl@cis.njit.edu.
Assistant Professor, University Heights, Newark, New Jersey, U.S.A.
Luis Sierra Abbate.
sierra@fing.edu.uy.
PhD student, INCO, Montevideo, Uruguay.
Sebastian Skalberg,
skalberg@diku.dk.
Research programmer, DIKU, Copenhagen East, Denmark.
Lim Yohanes Stefanus, yohanes@cs.ui.ac.id.
Lecturer, University of Indonesia, Depok, Indonesia.
David Swasey,
swasey@cs.cmu.edu.
Research Programmer, Carnegie Mellon University, Pittsburgh, USA.
Emilio Tuosto,
etuosto@di.unipi.it.
PhD student, University of Pisa, Italy.
Stephane Vaillant,
Stephane.Vaillant@inria.fr.
PhD student, INRIA Rocquencourt, France.
René Vestergaard,
jrvest@cee.hw.ac.uk.
PhD student, Heriot-Watt University, Edinburgh, Scotland.
Michel Vollebregt,
tintin@win.tue.nl.
PhD student, Eindhoven University of Technology, The Netherlands.
Free participants (9):
Mario Coppo, coppo@di.unito.it.
University of Torino, Italy.
Joelle Despeyroux, Joelle.Despeyroux@inria.fr.
Inria, Sophia-Antipolis, France.
Gilles Dowek, Gilles.Dowek@inria.fr.
Inria, Rocquencourt, France.
Guillaume Gillard, Guillaume.Gillard@inria.fr.
Inria, Sophia-Antipolis, France.
Maria E Maietti, M.E.Maietti@cs.bham.ac.uk. Birmingham, UK.
Loic Pottier, Loic.Pottier@sophia.inria.fr.
Inria, Sophia-Antipolis, France.
Laurence Rideau, Laurence.Rideau@sophia.inria.fr.
Inria, Sophia-Antipolis, France.
Jan Smith,smith@cs.chalmers.se.
Chalmers University of Technology, Göteborg, Sweden.
Jan von Plato, vonplato@cc.helsinki.fi.
University of Helsinki, Finland.
Lecturers (20):
Henk Barendregt, henk@cs.kun.nl.
Nijmegen University, The Netherlands.
Yves Bertot, Yves.Bertot@sophia.inria.fr.
Inria, Sophia-Antipolis, France.
Stefano Berardi, stefano@di.unito.it.
University of Torino, Italy.
Catarina Coquand, catarina@cs.chalmers.se.
Chalmers University of Technology, Göteborg, Sweden.
Thierry Coquand, coquand@cs.chalmers.se.
Chalmers University of Technology, Göteborg, Sweden.
Herman Geuvers, herman@cs.kun.nl.
Nijmegen University, The Netherlands.
Thomas Hallgren, hallgren@cs.chalmers.se.
Chalmers University of Technology, Göteborg, Sweden.
John Harrison, John.Harrison@cl.cam.ac.uk.
Intel, Hillsboro, Oregon, USA.
Jean-Louis Krivine, krivine@logique.jussieu.fr.
Paris 7 University, France.
Yves Lafont, lafont@iml.univ-mrs.fr.
CNRS, University of Marseille, France.
Zhaohui Luo, Zhaohui.Luo@durham.ac.uk.
Durham University, UK.
Per Martin-Löf. University of Stockholm, Sweden.
Tobias Nipkow, nipkow@informatik.tu-muenchen.de.
Technical University, Munich, Germany.
Bengt Nordström, bengt@cs.chalmers.se.
Chalmers University of Technology, Göteborg, Sweden.
Michel Parigot, parigot@logique.jussieu.fr.
Paris 7 University, France.
Henrik Persson, henrikp@cs.chalmers.se.
Chalmers University of Technology, Göteborg, Sweden.
Aarne Ranta, Aarne.Ranta@cs.chalmers.se.
Laurent Théry, Laurent.Thery@inria.fr.
Inria, Sophia-Antipolis, France.
Jaco van de Pol, jaco@win.tue.nl.
CWI, Amsterdam, The Netherlands.
Benjamin Werner, Benjamin.Werner@inria.fr.
Inria, Rocquencourt, France.
Some numbers:
Among the 55 participants, 34 are PhD students, 14 are researchers,
and 7 are engineers.
Joelle.Despeyroux@inria.fr