| Number
of Participants: |
104 |
|
|
|
|
|
|
| Name |
Second Name |
Email |
Affiliation |
| María |
Alpuente |
alpuente@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Siva |
Anantharaman |
siva@lifo.univ-orleans.fr |
LIFO, Universite d'ORLEANS (France) |
| 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 |
| Clara |
Bertolissi |
clara.bertolissi@loria.fr |
INRIA-Loria |
| Frederic |
Blanqui |
|
LIX, Ecole Polytechnique |
| Miquel |
Bofill |
mbofill@ima.udg.es |
Universitat de Girona |
| Maria Paola |
Bonacina |
mariapaola.bonacina@univr.it |
Università degli Studi di Verona |
| Gerard |
Boudol |
gbo@sophia.inria.fr |
INRIA |
| Olivier |
Bournez |
Olivier.Bournez@loria.fr |
LORIA-INRIA |
| Sander |
Bruggink |
bruggink@phil.uu.nl |
Faculteit Wijsbegeerte, Universiteit Utrecht |
| Hugues |
Citeau |
esmeunier@ilog.fr |
ILOG |
| Julien |
Cohen |
jcohen@lami.univ-evry.fr |
LaMI |
| 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 |
| Veronique |
Cortier |
cortier@lsv.ens-cachan.fr |
LSV, ENS Cachan & CNRS, INRIA project Secsi |
| Silvano |
Dal Zilio |
dalzilio@cmi.univ-mrs.fr |
CNRS, LIF |
| Philippe |
De Groote |
degroote@loria.fr |
INRIA LORIA |
| Nachum |
Dershowitz |
nachumd@tau.ac.il |
Tel Aviv Univ. |
| Gilles |
Dowek |
Gilles.Dowek@polytechnique.fr |
ecole polytechnique and inria |
| Francisco |
Durán |
duran@lcc.uma.es |
Universidad de Málaga |
| 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 |
| Mirtha Lina |
Fernández Venero |
mirthalf@lsi.upc.es |
UPC |
| Olivier |
Fissore |
fissore@loria.fr |
LORIA-CNRS |
| Julien |
Forest |
forest@lri.fr |
LRI |
| Thom |
Fruehwirth |
Thom.Fruehwirth@informatik.uni-ulm.de |
Universitaet Ulm |
| Alfons |
Geser |
geser@nianet.org |
Senior Staff Scientist |
| Neil |
Ghani |
ng13@mcs.le.ac.uk |
University of Leicester |
| Jean-Louis |
Giavitto |
giavitto@lami.univ-evry.fr |
CNRS - LaMI umr 8042 |
| Juergen |
Giesl |
giesl@informatik.rwth-aachen.de |
LuFG Informatik II, RWTH Aachen |
| Guillem |
Godoy |
ggodoy@lsi.upc.es |
Universitat Politecnica de Catalunya (UPC) |
| Bernhard |
Gramlich |
gramlich@logic.at |
TU Wien, Inst. f. Computersprachen |
| Adam |
Granicz |
granicz@cs.caltech.edu |
California Institute of Technology |
| Masahito |
Hasegawa |
hassei@kurims.kyoto-u.ac.jp |
RIMS, Kyoto University |
| Thomas |
Hillenbrand |
hillen@mpi-sb.mpg.de |
Max-Planck-Institut für Informatik |
| Nao |
Hirokawa |
nao@score.is.tsukuba.ac.jp |
University of Tsukuba |
| Mathieu |
Hoyrup |
mhoyrup@ens-lyon.fr |
ENS Lyon |
| Liliana |
Ibanescu |
ibanescu@loria.fr |
LORIA |
| Fairouz |
Kamareddine |
fairouz@macs.hw.ac.uk |
heriot-Watt University |
| Deepak |
Kapur |
kapur@cs.unm.edu |
University of New Mexico |
| 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 |
| 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 |
| Patrick |
Lincoln |
lincoln@csl.sri.com |
SRI International |
| Salvador |
Lucas |
slucas@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Denis |
Lugiez |
lugiez@cmi.univ-mrs.fr |
LIF, university of
Provence |
| Claude |
Marché |
Claude.Marche@lri.fr |
LRI & INRIA Futurs |
| Mircea |
Marin |
marin@indmath.uni-linz.ac.at |
Johann Radon Institute for Computational and Applied
Mathematics |
| David |
Mcallester |
mcallester@tti-c.org |
Toyota Technological Institute at Chicago |
| Jose |
Meseguer |
meseguer@cs.uiuc.edu |
University of Illinois, Urbana-Champaign |
| Aart |
Middeldorp |
ami@is.tsukuba.ac.jp |
University of Tsukuba |
| Pierre-Etienne |
Moreau |
moreau@loria.fr |
Loria - Inria |
| Georg |
Moser |
moserg@math.uni-muenster.de |
WWU Muenster |
| Paliath |
Narendran |
dran@cs.albany.edu |
University at Albany -- SUNY |
| Monica |
Nesi |
monica@di.univaq.it |
Dip. di Informatica - Univ. di L\'Aquila |
| Joachim |
Niehren |
niehren@ps.uni-sb.de |
University of Lille |
| Robert |
Nieuwenhuis |
roberto@lsi.upc.es |
Tech. Univ. Catalonia, UPC |
| 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) |
| Yoshikatsu |
Ohta |
ohta@cs.info.mie-u.ac.jp |
Mie University |
| Javier |
Oliver |
fjoliver@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Albert |
Oliveras |
oliveras@lsi.upc.es |
Universitat Politecnica de Catalunya |
| Michio |
Oyamaguchi |
mo@cs.info.mie-u.ac.jp |
Faculty of Engineering, Mie University |
| Detlef |
Plump |
det@cs.york.ac.uk |
Department of Computer Science |
| Emmanuel |
Polonovski |
Emmanuel.Polonovski@pps.jussieu.fr |
PPS - Université Paris 7 |
| Przemyslaw |
Prusinkiewicz |
pwp@cpsc.ucalgary.ca |
University of Calgary, Computer Science |
| Christophe |
Ringeissen |
ringeiss@loria.fr |
LORIA-INRIA Lorraine |
| Enric |
Rodriguez |
erodri@lsi.upc.es |
Universitat Politecnica de Catalunya |
| Mario |
Rodriguez-Artalejo |
mario@sip.ucm.es |
DSIP UCM |
| Grigore |
Rosu |
grosu@uiuc.edu |
University of Illinois at Urbana-Champaign |
| Albert |
Rubio |
rubio@lsi.upc.es |
Tech. Univ. Catalonia (UPC) |
| Masahiko |
Sakai |
sakai@is.nagoya-u.ac.jp |
Nagoya Univ., Info. Sci. |
| Sylvain |
Salvati |
sylvain.salvati@loria.fr |
INRIA |
| Peter |
Schneider-Kamp |
peter@schneider-kamp.de |
RWTH Aachen |
| François-Régis |
Sinot |
francois@dcs.kcl.ac.uk |
King's College London |
| Sorin |
Stratulat |
stratula@sciences.univ-metz.fr |
Universite de Metz |
| Carolyn |
Talcott |
clt@cs.stanford.edu |
SRI International |
| Rene |
Thiemann |
thiemann@informatik.rwth-aachen.de |
LuFG Informatik II, RWTH Aachen |
| Yoshihito |
Toyama |
toyama@nue.riec.tohoku.ac.jp |
Tohoku University |
| Ralf |
Treinen |
treinen@lsv.ens-cachan.fr |
LSV, ENS de Cachan |
| Xavier |
Urbain |
urbain@lri.fr |
INRIA |
| Christian |
Urban |
cu200@hermes.cam.ac.uk |
University of Cambridge |
| Pascal |
Urso |
urso@essi.fr |
UNSA |
| Vincent |
Van Oostrom |
Vincent.vanOostrom@phil.uu.nl |
Universiteit Utrecht, Faculteit Wijsbegeerte |
| Femke |
Van Raamsdonk |
femke@cs.vu.nl |
VU |
| Kumar Neeraj |
Verma |
verma@lsv.ens-cachan.fr |
LSV, ENS Cachan |
| Germán |
Vidal |
gvidal@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Laurent |
Vigneron |
Laurent.Vigneron@loria.fr |
LORIA - Universite Nancy 2 |
| Alicia |
Villanueva |
villanue@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Mateu |
Villaret |
villaret@ima.udg.es |
Universitat de Girona |
| Jurgen |
Vinju |
Jurgen.Vinju@cwi.nl |
CWI |
| Andreas |
Weiermann |
weierman@math.uu.nl |
Institut voor Wiskunde en Informatica |
| Joe |
Wells |
jbw@macs.hw.ac.uk |
Heriot-Watt University |
| Toshiyuki |
Yamada |
toshi@cs.info.mie-u.ac.jp |
Faculty of Engineering, Mie University |
| Hans |
Zantema |
h.zantema@tue.nl |
TU/e |