List of participants:
Reynald Affeldt.
affeldt@yl.is.s.u-tokyo.ac.jp. 1st year PhD student at Univ. of Tokyo.
Domagoj Babic. domagoj@rasip.fer.hr. No PhD. Research assistant,
Fac. of elect. eng. and comp., Zagreb, Croatia.
Philippe Bidinger. philippe.bidinger@inria.fr.
PhD student at Inria, Grenoble.
Guillaume Chatelet. guillaume.chatelet@rd.francetelecom.com.
guillaume.chatelet@rd.francetelecom.com.
PhD student at France Telecom R&D, Lannion, France,
Cuihtlauac Alvarado. cuihtlauac.alvarado@francetelecom.com.
France Telecom R&D, Lannion, France.
Robert Atkey. roba@dcs.ed.ac.uk. PhD student at Univ. of Edinburgh.
Pieter Audenaert.
paudenae@cage.rug.ac.be. PhD student at Ghent University, Belgium.
Christelle Bergerot. christelle.bergerot@rd.francetelecom.com.
PhD student at France Telecom R&D, Lannion, France.
Clara Bertolissi. bertolis@loria.fr. PhD student Inria-Loria.
Edwin Brady.
Edwin Brady . PhD student at Durham.
David Chemouil.
chemouil@irit.fr. PhD student at IRIT, Paul Sabatier Univ., Toulouse.
Kwanghoon Choi.
khchoi@compiler.kaist.ac.kr. PhD student at Kaist, Daejeon, Korea.
Jacek Chrzaszcz.
chrzaszcz@mimuw.edu.pl. Teaching assistant and PhD student at Warsaw, Poland.
Pierre Corbineau.
pierre.corbineau@lri.fr. PhD student at Orsay, France.
Luis Cruz-Filipe.
lcf@cs.kun.nl. PhD student at Nijmegen.
Kuntal Das Barman.
Kuntal.Das_Barman@sophia.inria.fr. PhD student at Inria Sophia.
Lucas Dixon. lucasd@dai.ed.ac.uk. PhD student at Univ. of Edinburgh.
Ken-etsu Fujita.
fujiken@cis.shimane-u.ac.jp.
Ass. Prof. at Interdis. Fac. of Science and Engineering, Matsue, Japan.
Laurent Gottely. laurent.gottely@rd.francetelecom.com.
PhD student at France Telecom R&D, Lannion, France,
Qiao Haiyan. qiao@cs.chalmers.se. PhD student at Chalmers.
Nadeem Abdul Hamid.
nadeem@acm.org. 3rd-year PhD student at Yale univ.
Alan Hu.
ajh@cs.ubc.ca. Associate Professor, Univ. of British Columbia, Vancouver.
Bart Jacobs. bart.jacobs@student.kuleuven.ac.be.
Last-year master-student at Leuven, Belgium.
Gueorgui Jojgov.
G.I.Jojgov@tue.nl. PhD student at Nijmegen.
Michal Konecny.
mkonecny@dcs.ed.ac.uk. PhD student, Edinburgh.
Pierre Letouzey.
letouzey@lri.fr. PhD student at Orsay, France.
Edwin Lewis-Kelham. lewis@dcs.shef.ac.uk. PhD student at Sheffield.
Nicolas Magaud.
Nicolas.Magaud@sophia.inria.fr. PhD student at Inria Sophia.
Ricardo Medel.
rmedel@cs.stevens-tech.edu.
PhD student and research assistant, Stevens Inst. of Tech., Hoboken, USA.
Farhad Mehta.
mehta@informatik.tu-muenchen.de. Research Assistant at _. B.Tech IIT, Delhi.
Fabio Miranda.
miranda@informatik.uni-muenchen.de. PhD student at LMU, Muenchen.
Wojciech Moczydlowski.
wm174746@zodiac.mimuw.edu.pl. MS student at Warsaw, Poland.
Lionel Morel.
Lionel.Morel@imag.Fr. PhD student at Verimag.
Areski Nait Abdallah. Areski.Nait_Abdallah@inria.fr.
Professor at Western Ontario, Canada. Inria Rocquencourt.
Milad Niqui.
milad@cs.kun.nl. PhD student at Nijmegen.
Adrian Onet.
adrian@Nessie.cs.ubbcluj.ro.
PhD student and assistant at Babes-Bolyai univ., Cluj-Napoca, Romania.
Elaine Pimentel.
elaine@mat.ufmg.br.
Assistant Prof. and young researcher at Math/UFMG, Belo Horizonte, Brazil.
Clement Renard. Clement.Renard@inria.fr.
PhD student at Inria Rocquencourt,
Davor Runje. davor.runje@fer.hr. Research assistant. University of Zagreb.
Sylvain Salvati. salvati@loria.fr. PhD student. Inria.
Ulrich Schoepp. us@dcs.ed.ac.uk. PhD student at Univ. of Edinburgh.
Neva Slani.
nslani@fsb.hr.
Research assistant and graduate student at Univ. of Zagreb, Croatia,
Jasper Stein.
jasper@cs.kun.nl. PhD student at Nijmegen.
Yuji Uchiyama. utiyama@is.titech.ac.jp.
PhD student at Tokyo Institute of Technology, Japan.
Benjamin Wack. wack@loria.fr. PhD student at Inria-Loria.
Daria Walukiewicz-Chrzaszcz.
daria@mimuw.edu.pl. Teaching assistant and PhD student at Warsaw, Poland.
Artur Zawlocki.
zawlocki@mimuw.edu.pl. PhD student at Warsaw, Poland.
Jiaqi Zhang. Jiaqi.Zhang@durham.ac.uk. 1st year PhD student at Durham.
Free participants:
Marc Bezem. bezem@ii.uib.no. Bergen.
Joëlle Despeyroux. Joelle.Despeyroux@inria.fr. Inria.
Jean Duprat. Jean.Duprat@ens-lyon.fr. ENS Lyon, France.
Zhaohui Luo. zhaohui.luo@durham.ac.uk. Durham, UK.
Randy Pollack. rap@dcs.ed.ac.uk. Durham, UK.
Lecturers:
Martin Abadi. abadi@cs.ucsc.edu. UCSC, Santa Cruz.
David Aspinall. da@dcs.ed.ac.uk. Edinburgh.
Yves Bertot. Yves.Bertot@sophia.inria.fr. Inria.
Paul Callaghan. p.c.callaghan@durham.ac.uk. Durham.
Catarina Coquand. catarina@cs.chalmers.se. Chalmers.
Thierry Coquand. coquand@cs.chalmers.se. Chalmers.
Peter Dybjer. peterd@cs.chalmers.se. Chalmers.
Herman Geuvers. herman@cs.kun.nl. Nijmegen.
Susanne Graf. susanne.graf@imag.fr. Verimag, Grenoble, France.
Paul Jackson. pbj@dcs.ed.ac.uk. Edinburgh.
Per Martin-Löf. pml@matematik.su.se. Stockholm.
Greg Morrisett. jgm@cs.cornell.edu. Cornell, USA.
Tobias Nipkow. nipkow@in.tum.de. München.
Christophe Raffalli. raffalli@univ-savoie.fr. Chambery.
Davide Sangiorgi. Davide.Sangiorgi@sophia.inria.fr. Inria.
Carsten Schuermann. carsten@cs.yale.edu. Yale.
Laurent Théry. Laurent.Thery@sophia.inria.fr. Inria.
Benjamin Werner. Benjamin.Werner@inria.fr. Inria.
A few numbers:
48 participants:
37 PhD students. 1 master student. 10 professors/researchers. 0 engineers.
4 "free participants" (professors or researchers coming for a few days).
18 lecturers.
4 people applied but did not registered.
Joëlle Despeyroux,
Joelle.Despeyroux@inria.fr