Number
of Participants: |
37 |
|
|
|
|
|
|
Name |
Second Name |
Email |
Affiliation |
Gilles |
Barthe |
Gilles.Barthe@sophia.inria.fr |
INRIA Sophia-Antipolis |
Frederic |
Blanqui |
|
LIX, Ecole Polytechnique |
Maria Paola |
Bonacina |
mariapaola.bonacina@univr.it |
Università degli Studi di Verona |
Domenico |
Cantone |
cantone@dmi.unict.it |
Dept. of Mathematics and Computer Science - University of
Catania |
Hugues |
Citeau |
esmeunier@ilog.fr |
ILOG |
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 |
David |
Crocker |
dcrocker@eschertech.com |
Escher Technologies Ltd. |
Nachum |
Dershowitz |
nachumd@tau.ac.il |
Tel Aviv Univ. |
Mnacho |
Echenim |
Mnacho.Echenim@imag.fr |
LEIBNIZ-INPG |
Elmar |
Eder |
eder@cosy.sbg.ac.at |
Dep. of Scientific Computing, University of Salzburg |
Steven |
Eker |
eker@csl.sri.com |
SRI International |
Christian |
Fermueller |
chrisf@logic.at |
TU Wien |
Guillaume |
Feuillade |
Guillaume.Feuillade@irisa.fr |
ENS Cachan / IRISA |
Thom |
Fruehwirth |
Thom.Fruehwirth@informatik.uni-ulm.de |
Universitaet Ulm |
Silvio |
Ghilardi |
ghilardi@dsi.unimi.it |
Dipartimento di Scienze dell'informazione |
Enrico |
Giunchiglia |
giunchiglia@dist.unige.it |
DIST |
Bernhard |
Gramlich |
gramlich@logic.at |
TU Wien, Inst. f. Computersprachen |
Thomas |
Hillenbrand |
hillen@mpi-sb.mpg.de |
Max-Planck-Institut für Informatik |
Dieter |
Hutter |
hutter@dfki.de |
German Research Center for Artificial Intelligence |
Pierre |
Lescanne |
pierre.lescanne@ens-lyon.fr |
ENS de Lyon |
Patrick |
Lincoln |
lincoln@csl.sri.com |
SRI International |
Salvador |
Lucas |
slucas@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Felip |
Manya |
felip@eup.udl.es |
Universitat de Lleida |
Aart |
Middeldorp |
ami@is.tsukuba.ac.jp |
University of Tsukuba |
Mizuhito |
Ogawa |
mizuhito@acm.org |
JAIST / JST |
Hitoshi |
Ohsaki |
ohsaki@ni.aist.go.jp |
National Institute of Advanced Industrial Science and
Technology (AIST) |
Nicolas |
Peltier |
Nicolas.Peltier@imag.fr |
CNRS, Leibniz-IMAG |
Silvio |
Ranise |
Silvio.Ranise@loria.fr |
LORIA & INRIA-Lorraine |
Christophe |
Ringeissen |
ringeiss@loria.fr |
LORIA-INRIA Lorraine |
Gernot |
Salzer |
salzer@logic.at |
Technische Universität Wien |
Cesare |
Tinelli |
tinelli@cs.uiowa.edu |
The University of Iowa |
Josef |
Urban |
urban@kti.ms.mff.cuni.cz |
Charles University |
Pascal |
Urso |
urso@essi.fr |
UNSA |
Germán |
Vidal |
gvidal@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
Laurent |
Vigneron |
Laurent.Vigneron@loria.fr |
LORIA - Universite Nancy 2 |
Hans |
Zantema |
h.zantema@tue.nl |
TU/e |