Number
of Participants: |
41 |
|
|
|
|
|
|
Name |
Second Name |
Email |
Affiliation |
Siva |
Anantharaman |
siva@lifo.univ-orleans.fr |
LIFO, Universite d'ORLEANS (France) |
Gilles |
Barthe |
Gilles.Barthe@sophia.inria.fr |
INRIA Sophia-Antipolis |
Frederic |
Blanqui |
|
LIX, Ecole Polytechnique |
Miquel |
Bofill |
mbofill@ima.udg.es |
Universitat de Girona |
James |
Cheney |
jcheney@cs.cornell.edu |
Cornell University |
Hugues |
Citeau |
esmeunier@ilog.fr |
ILOG |
Hubert |
Comon-Lundh |
Hubert.Comon@lsv.ens-cachan.fr |
LSV, ENS Cachan |
Nelly |
Condori Fernández |
nelly@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
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 |
Santiago |
Escobar |
sescobar@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Annie |
Foret |
foret@irisa.fr |
Irisa and Rennes University |
Thom |
Fruehwirth |
Thom.Fruehwirth@informatik.uni-ulm.de |
Universitaet Ulm |
Guillem |
Godoy |
ggodoy@lsi.upc.es |
Universitat Politecnica de Catalunya (UPC) |
Bernhard |
Gramlich |
gramlich@logic.at |
TU Wien, Inst. f. Computersprachen |
Michael |
Kohlhase |
kohlhase+@cs.cmu.edu |
Carnegie Mellon University |
Teimuraz |
Kutsia |
kutsia@risc.uni-linz.ac.at |
Research Institute for Symbolic Computation, Johannes
Kepler University |
Pierre |
Lescanne |
pierre.lescanne@ens-lyon.fr |
ENS de Lyon |
Jordi |
Levy |
levy@iiia.csic.es |
IIIA-CSIC |
Salvador |
Lucas |
slucas@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Mircea |
Marin |
marin@indmath.uni-linz.ac.at |
Johann Radon Institute for Computational and Applied
Mathematics |
Aart |
Middeldorp |
ami@is.tsukuba.ac.jp |
University of Tsukuba |
Dale |
Miller |
dale.miller@inria.fr |
INRIA/Futurs |
Paliath |
Narendran |
dran@cs.albany.edu |
University at Albany -- SUNY |
Joachim |
Niehren |
niehren@ps.uni-sb.de |
University of Lille |
Mizuhito |
Ogawa |
mizuhito@acm.org |
JAIST / JST |
Hitoshi |
Ohsaki |
ohsaki@ni.aist.go.jp |
National Institute of Advanced Industrial Science and
Technology (AIST) |
Yoshikatsu |
Ohta |
ohta@cs.info.mie-u.ac.jp |
Mie University |
Albert |
Oliveras |
oliveras@lsi.upc.es |
Universitat Politecnica de Catalunya |
Michio |
Oyamaguchi |
mo@cs.info.mie-u.ac.jp |
Faculty of Engineering, Mie University |
Wojciech |
Plandowski |
wojtekpl@mimuw.edu.pl |
Institute of Informatics, Warsaw University |
Tim |
Priesnitz |
tim@ps.uni-sb.de |
Programming System Lab |
Christophe |
Ringeissen |
ringeiss@loria.fr |
LORIA-INRIA Lorraine |
Enric |
Rodriguez |
erodri@lsi.upc.es |
Universitat Politecnica de Catalunya |
Ralf |
Treinen |
treinen@lsv.ens-cachan.fr |
LSV, ENS de Cachan |
Christian |
Urban |
cu200@hermes.cam.ac.uk |
University of Cambridge |
Mateu |
Villaret |
villaret@ima.udg.es |
Universitat de Girona |
Adrian |
Williams |
aw3@doc.ic.ac.uk |
Imperial College |
Hans |
Zantema |
h.zantema@tue.nl |
TU/e |