Number
of Participants: |
59 |
|
|
|
|
|
|
Name |
Second Name |
Email |
Affiliation |
Michael |
Abbott |
michael@araneidae.co.uk |
University of Leicester |
Andreas |
Abel |
abel@informatik.uni-muenchen.de |
University of Munich |
Thorsten |
Altenkirch |
txa@cs.nott.ac.uk |
Uni Nottingham |
Henk |
Barendregt |
henk@cs.kun.nl |
University of Nijmegen, dept. of Foundations of
Mathematics and Computer Science |
Gilles |
Barthe |
Gilles.Barthe@sophia.inria.fr |
INRIA
Sophia-Antipolis |
Frederic |
Blanqui |
blanqui@lix.polytechnique.fr |
LIX, Ecole Polytechnique |
Gerard |
Boudol |
gbo@sophia.inria.fr |
INRIA |
James |
Cheney |
jcheney@cs.cornell.edu |
Cornell University |
Hugues |
Citeau |
esmeunier@ilog.fr |
ILOG |
Nelly |
Condori Fernández |
nelly@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Evelyne |
Contejean |
contejea@lri.fr |
LRI-CNRS |
Paolo |
Coppola |
coppola@dimi.uniud.it |
Department of Math and CS - University of Udine |
Francisco |
Correa Zabala |
fcorrea@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Nachum |
Dershowitz |
nachumd@tau.ac.il |
Tel Aviv Univ. |
Elmar |
Eder |
eder@cosy.sbg.ac.at |
Dep. of Scientific Computing, University of Salzburg |
Steven |
Eker |
eker@csl.sri.com |
SRI International |
Jose |
Espirito Santo |
jes@math.uminho.pt |
Universidade do Minho |
Thom |
Fruehwirth |
Thom.Fruehwirth@informatik.uni-ulm.de |
Universitaet Ulm |
Ken-Etsu |
Fujita |
fujiken@cis.shimane-u.ac.jp |
Shimane University |
Herman |
Geuvers |
herman@cs.kun.nl |
Univ. of Nijmegen |
Georges |
Gonthier |
Georges.Gonthier@inria.fr |
INRIA Rocquencourt |
Bernhard |
Gramlich |
gramlich@logic.at |
TU Wien, Inst. f. Computersprachen |
Jo |
Hannay |
johannay@simula.no |
Simula Research Laboratory |
Masahito |
Hasegawa |
hassei@kurims.kyoto-u.ac.jp |
RIMS, Kyoto University |
Martin |
Hofmann |
mhofmann@informatik.uni-muenchen.de |
Institut fuer Informatik |
Thierry |
Joly |
joly@logique.jussieu.fr |
University Paris 7 |
Neil |
Jones |
neil@diku.dk |
DIKU, University of Copenhagen |
Jean-Pierre |
Jouannaud |
jouannaud@lix.polytechnique.fr |
LIX |
Stefan |
Kahrs |
smk@ukc.ac.uk |
Department of Computer Science |
Yoshihiko |
Kakutani |
kakutani@kurims.kyoto-u.ac.jp |
RIMS, Kyoto University |
Michal |
Konecny |
mkonecny@inf.ed.ac.uk |
University of Edinburgh |
James |
Laird |
jiml@cogs.susx.ac.uk |
University of Sussex |
Ranko |
Lazic |
Ranko.Lazic@dcs.warwick.ac.uk |
University of Warwick |
Daniel |
Leivant |
leivant@cs.indiana.edu |
Indiana University |
Stephane |
Lengrand |
Stephane.Lengrand@ENS-Lyon.fr |
PPS Paris 7 |
Benjamin |
Leperchey |
benjamin.leperchey@pps.jussieu.fr |
PPS |
Pierre |
Lescanne |
pierre.lescanne@ens-lyon.fr |
ENS de Lyon |
Ralph |
Loader |
suckfish@ihug.co.nz |
none |
Salvador |
Lucas |
slucas@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Francois |
Maurel |
francois.maurel@pps.jussieu.fr |
PPS |
David |
Mcallester |
mcallester@tti-c.org |
Toyota Technological Institute at Chicago |
Aart |
Middeldorp |
ami@is.tsukuba.ac.jp |
University of Tsukuba |
Raphael |
Montelatici |
raphael.montelatici@pps.jussieu.fr |
PPS |
Misao |
Nagayama |
m-nagayama@aist.go.jp |
research staff |
Ataru |
Nakagawa |
nakagawa@sra.co.jp |
SRA KTL |
David |
Nowak |
David.Nowak@lsv.ens-cachan.fr |
LSV, CNRS & ENS Cachan |
Mizuhito |
Ogawa |
mizuhito@acm.org |
JAIST / JST |
Hitoshi |
Ohsaki |
ohsaki@ni.aist.go.jp |
National Institute of Advanced Industrial Science and
Technology (AIST) |
Nicolas |
Oury |
Nicolas.Oury@lri.fr |
LRI |
Robert |
Pollack |
rap@inf.ed.ac.uk |
Edinburgh University, U.K. |
John |
Power |
ajp@inf.ed.ac.uk |
University of Edinburgh |
Christophe |
Ringeissen |
ringeiss@loria.fr |
LORIA-INRIA Lorraine |
Amadio |
Roberto |
amadio@cmi.univ-mrs.fr |
Universite de Marseille |
Simona |
Ronchi Della Rocca |
ronchi@di.unito.it |
Dipartimento di Informatica-Universita di Torino |
Iddo |
Tzameret |
tzameret@post.tau.ac.il |
Graduate student |
Pawel |
Urzyczyn |
urzy@mimuw.edu.pl |
Warsaw University, Institute of Informatics |
Christian |
Villamizar |
villamizar@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Marek |
Zaionc |
zaionc@ii.uj.edu.pl |
Computer Science Department, Jagiellonian University |
Hans |
Zantema |
h.zantema@tue.nl |
TU/e |
|
|
|
|
|