| Number
of Participants: |
23 |
|
|
|
|
|
|
| Name |
Second Name |
Email |
Affiliation |
| Siva |
Anantharaman |
siva@lifo.univ-orleans.fr |
LIFO, Universite d'ORLEANS (France) |
| Franco |
Barbarena |
barba@di.unito.it |
Dipartimento di Matematica e Informatica |
| Maria Paola |
Bonacina |
mariapaola.bonacina@univr.it |
Università degli Studi di Verona |
| Nachum |
Dershowitz |
nachumd@tau.ac.il |
Tel Aviv Univ. |
| Juergen |
Giesl |
giesl@informatik.rwth-aachen.de |
LuFG Informatik II, RWTH Aachen |
| Bernhard |
Gramlich |
gramlich@logic.at |
TU Wien, Inst. f. Computersprachen |
| Thomas |
Hillenbrand |
hillen@mpi-sb.mpg.de |
Max-Planck-Institut für Informatik |
| Deepak |
Kapur |
kapur@cs.unm.edu |
University of New Mexico |
| Claude |
Kirchner |
Claude.Kirchner@loria.fr |
INRIA |
| Helene |
Kirchner |
helene.kirchner@loria.fr |
LORIA |
| Pierre |
Lescanne |
pierre.lescanne@ens-lyon.fr |
ENS de Lyon |
| Salvador |
Lucas |
slucas@dsic.upv.es |
DSIC, Universidad Politécnica de Valencia |
| Jose |
Meseguer |
meseguer@cs.uiuc.edu |
University of Illinois, Urbana-Champaign |
| Aart |
Middeldorp |
ami@is.tsukuba.ac.jp |
University of Tsukuba |
| Paliath |
Narendran |
dran@cs.albany.edu |
Dept of Computer Science |
| Robert |
Nieuwenhuis |
roberto@lsi.upc.es |
Tech. Univ. Catalonia, UPC |
| Vincent |
van Oostrom |
Vincent.vanOostrom@phil.uu.nl |
Universiteit Utrecht, Faculteit Wijsbegeerte |
| Femke |
van Raamsdonk |
femke@cs.vu.nl |
VU |
| Mario |
Rodriguez-Artalejo |
mario@sip.ucm.es |
DSIP UCM |
| Albert |
Rubio |
rubio@lsi.upc.es |
Tech. Univ. Catalonia (UPC) |
| Michael
|
Rusinowitch |
rusi@loria.fr |
LORIA-INRIA Lorraine |
| Yoshihito |
Toyama |
toyama@nue.riec.tohoku.ac.jp |
Tohoku University |
| Hans |
Zantema |
h.zantema@tue.nl |
TU/e |
|
|
|
|