| 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 |
|
|
|
|
|