Number
of Participants: |
46 |
|
|
|
|
|
|
Name |
Second Name |
Email |
Affiliation |
María |
Alpuente |
alpuente@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Sergio |
Antoy |
antoy@cs.pdx.edu |
Portland State University |
Takahito |
Aoto |
aoto@nue.riec.tohoku.ac.jp |
Tohoku University |
Otto Skrove |
Bagge |
otto@ottosb.org |
University of Bergen |
Gilles |
Barthe |
Gilles.Barthe@sophia.inria.fr |
INRIA Sophia-Antipolis |
Frederic |
Blanqui |
|
LIX, Ecole Polytechnique |
Sander |
Bruggink |
bruggink@phil.uu.nl |
Faculteit Wijsbegeerte, Universiteit Utrecht |
Hugues |
Citeau |
esmeunier@ilog.fr |
ILOG |
Manuel |
Clavel |
clavel@sip.ucm.es |
Universidad Complutense de Madrid |
Nelly |
Condori Fernández |
nelly@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
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 |
Santiago |
Escobar |
sescobar@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Olivier |
Fissore |
fissore@loria.fr |
LORIA-CNRS |
Julien |
Forest |
forest@lri.fr |
LRI |
Thom |
Fruehwirth |
Thom.Fruehwirth@informatik.uni-ulm.de |
Universitaet Ulm |
Juergen |
Giesl |
giesl@informatik.rwth-aachen.de |
LuFG Informatik II, RWTH Aachen |
Bernhard |
Gramlich |
gramlich@logic.at |
TU Wien, Inst. f. Computersprachen |
Hideto |
Kasuya |
kasuya@ist.aichi-pu.ac.jp |
Aichi Prefectural University |
Zurab |
Khasidashvili |
zurab.khasidashvili@intel.com |
Intel |
Claude |
Kirchner |
Claude.Kirchner@loria.fr |
INRIA |
Helene |
Kirchner |
helene.kirchner@loria.fr |
LORIA |
Stephane |
Lengrand |
Stephane.Lengrand@ENS-Lyon.fr |
PPS Paris 7 |
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 |
Monica |
Nesi |
monica@di.univaq.it |
Dip. di Informatica - Univ. di L\'Aquila |
Naoki |
Nishida |
nishida@sakabe.nuie.nagoya-u.ac.jp |
Graduate School of Engneering, Nagoya University |
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 |
Emmanuel |
Polonovski |
Emmanuel.Polonovski@pps.jussieu.fr |
PPS - Université Paris 7 |
John |
Power |
ajp@inf.ed.ac.uk |
University of Edinburgh |
Christophe |
Ringeissen |
ringeiss@loria.fr |
LORIA-INRIA Lorraine |
Simona |
Ronchi Della Rocca |
ronchi@di.unito.it |
Dipartimento di Informatica-Universita di Torino |
Masahiko |
Sakai |
sakai@is.nagoya-u.ac.jp |
Nagoya Univ., Info. Sci. |
Peter |
Schneider-Kamp |
peter@schneider-kamp.de |
RWTH Aachen |
François-Régis |
Sinot |
francois@dcs.kcl.ac.uk |
King's College London |
Rene |
Thiemann |
thiemann@informatik.rwth-aachen.de |
LuFG Informatik II, RWTH Aachen |
Yoshihito |
Toyama |
toyama@nue.riec.tohoku.ac.jp |
Tohoku University |
Xavier |
Urbain |
urbain@lri.fr |
INRIA |
Germán |
Vidal |
gvidal@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Hans |
Zantema |
h.zantema@tue.nl |
TU/e |