| Number
of Participants: |
53 |
|
|
|
|
|
|
| Name |
Second Name |
Email |
Affiliation |
| Takahito |
Aoto |
aoto@nue.riec.tohoku.ac.jp |
Tohoku University |
| Gilles |
Barthe |
Gilles.Barthe@sophia.inria.fr |
INRIA Sophia-Antipolis |
| Frederic |
Blanqui |
|
LIX, Ecole Polytechnique |
| Hugues |
Citeau |
esmeunier@ilog.fr |
ILOG |
| Michael |
Codish |
mcodish@cs.bgu.ac.il |
Ben-Gurion University |
| Nelly |
Condori Fernández |
nelly@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Evelyne |
Contejean |
contejea@lri.fr |
LRI-CNRS |
| 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 |
| 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 |
| Samir |
Genaim |
genaim@sci.univr.it |
Università
degli Studi di Verona |
| Alfons |
Geser |
geser@nianet.org |
Senior Staff Scientist |
| Juergen |
Giesl |
giesl@informatik.rwth-aachen.de |
LuFG Informatik II, RWTH Aachen |
| Arne |
Glenstrup |
panic@diku.dk |
DIKU, University of Copenhagen |
| Bernhard |
Gramlich |
gramlich@logic.at |
TU Wien, Inst. f. Computersprachen |
| Nao |
Hirokawa |
nao@score.is.tsukuba.ac.jp |
University of Tsukuba |
| Dieter |
Hofbauer |
dieter@theory.informatik.uni-kassel.de |
Universität Kassel |
| Petra |
Hofstedt |
ph@cs.tu-berlin.de |
University of Technology Berlin |
| Neil |
Jones |
neil@diku.dk |
DIKU, University of Copenhagen |
| Deepak |
Kapur |
kapur@cs.unm.edu |
University of New Mexico |
| Pierre |
Lescanne |
pierre.lescanne@ens-lyon.fr |
ENS de Lyon |
| Salvador |
Lucas |
slucas@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Claude |
Marché |
Claude.Marche@lri.fr |
LRI & INRIA Futurs |
| Aart |
Middeldorp |
ami@is.tsukuba.ac.jp |
University of Tsukuba |
| Georg |
Moser |
moserg@math.uni-muenster.de |
WWU Muenster |
| Monica |
Nesi |
monica@di.univaq.it |
Dip. di Informatica - Univ. di L\'Aquila |
| Aibhin |
O'Connor |
aibhin.oconnor@ucd.ie |
University College Dublin |
| Mizuhito |
Ogawa |
mizuhito@acm.org |
JAIST / JST |
| Hitoshi |
Ohsaki |
ohsaki@ni.aist.go.jp |
National Institute of Advanced Industrial Science and
Technology (AIST) |
| Manuel |
Ojeda Aciego |
aciego@ctima.uma.es |
Universidad de Málaga |
| Emmanuel |
Polonovski |
Emmanuel.Polonovski@pps.jussieu.fr |
PPS - Université Paris 7 |
| Christophe |
Ringeissen |
ringeiss@loria.fr |
LORIA-INRIA Lorraine |
| Albert |
Rubio |
rubio@lsi.upc.es |
Tech. Univ. Catalonia (UPC) |
| Peter |
Schneider-Kamp |
peter@schneider-kamp.de |
RWTH Aachen |
| Alexander |
Serebrenik |
Alexander.Serebrenik@cs.kuleuven.ac.be |
Department
of Computer Science Katholieke Universiteit Leuven |
| Josep |
Silva |
jsilva@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Rene |
Thiemann |
thiemann@informatik.rwth-aachen.de |
LuFG Informatik II, RWTH Aachen |
| Yoshihito |
Toyama |
toyama@nue.riec.tohoku.ac.jp |
Tohoku University |
| Iddo |
Tzameret |
tzameret@post.tau.ac.il |
Graduate student |
| Xavier |
Urbain |
urbain@lri.fr |
INRIA |
| Pawel |
Urzyczyn |
urzy@mimuw.edu.pl |
Warsaw University, Institute of Informatics |
| Germán |
Vidal |
gvidal@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Alicia |
Villanueva |
villanue@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Johannes |
Waldmann |
joe@informatik.uni-leipzig.de |
Universität Leipzig |
| Andreas |
Weiermann |
weierman@math.uu.nl |
Institut voor Wiskunde en Informatica |
| Toshiyuki |
Yamada |
toshi@cs.info.mie-u.ac.jp |
Faculty of Engineering, Mie University |
| Hans |
Zantema |
h.zantema@tue.nl |
TU/e |