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 |