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