| Number
of Participants: |
34 |
|
|
|
|
|
|
| Name |
Second Name |
Email |
Affiliation |
| María |
Alpuente |
alpuente@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Otto Skrove |
Bagge |
otto@ottosb.org |
University of Bergen |
| Gilles |
Barthe |
Gilles.Barthe@sophia.inria.fr |
INRIA Sophia-Antipolis |
| Clara |
Bertolissi |
clara.bertolissi@loria.fr |
INRIA-Loria |
| Frederic |
Blanqui |
|
LIX, Ecole Polytechnique |
| Sebastian |
Brand |
Sebastian.Brand@cwi.nl |
CWI |
| Hugues |
Citeau |
esmeunier@ilog.fr |
ILOG |
| Julien |
Cohen |
jcohen@lami.univ-evry.fr |
LaMI |
| 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 |
| Thom |
Fruehwirth |
Thom.Fruehwirth@informatik.uni-ulm.de |
Universitaet Ulm |
| Jean-Louis |
Giavitto |
giavitto@lami.univ-evry.fr |
CNRS - LaMI umr 8042 |
| Bernhard |
Gramlich |
gramlich@logic.at |
TU Wien, Inst. f. Computersprachen |
| Claude |
Kirchner |
Claude.Kirchner@loria.fr |
INRIA |
| Pierre |
Lescanne |
pierre.lescanne@ens-lyon.fr |
ENS de Lyon |
| Salvador |
Lucas |
slucas@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Aart |
Middeldorp |
ami@is.tsukuba.ac.jp |
University of Tsukuba |
| Pierre-Etienne |
Moreau |
moreau@loria.fr |
Loria - Inria |
| Misao |
Nagayama |
m-nagayama@aist.go.jp |
research staff |
| Ataru |
Nakagawa |
nakagawa@sra.co.jp |
SRA KTL |
| Mizuhito |
Ogawa |
mizuhito@acm.org |
JAIST / JST |
| Hitoshi |
Ohsaki |
ohsaki@ni.aist.go.jp |
National Institute of Advanced Industrial Science and
Technology (AIST) |
| Jorge |
Pinto |
jsp@di.uminho.pt |
Universidade Do Minho |
| Przemyslaw |
Prusinkiewicz |
pwp@cpsc.ucalgary.ca |
University of Calgary, Computer Science |
| Christophe |
Ringeissen |
ringeiss@loria.fr |
LORIA-INRIA Lorraine |
| Amadio |
Roberto |
amadio@cmi.univ-mrs.fr |
Universite de Marseille |
| Germán |
Vidal |
gvidal@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Christian |
Villamizar |
villamizar@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Jurgen |
Vinju |
Jurgen.Vinju@cwi.nl |
CWI |
| Hans |
Zantema |
h.zantema@tue.nl |
TU/e |