Workshop on Infinite Systems
and Verification of Quantitative Properties
List of Participants
- Akhavan Anahita
Verimag
Anahita.Akhavan@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Altisen Karine
Verimag
Karine.Altisen@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Asarin Eugene
Verimag
Eugene.Asarin@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Aymeric Vincent
LaBRI, Université Bordeaux 1
vincent@labri.fr
LaBRI, bât A30
Université Bordeaux 1
351 cours de la Libération
33405 Talence Cedex
- Bardin Sebastien
LSV, ENS Cachan, CNRS
bardin@lsv.ens-cachan.fr
LSV, ENS Cachan, 61 avenue du Pdt Wilson, 94230 Cachan
- Boigelot Bernard
Universite de Liege
boigelot@montefiore.ulg.ac.be
Institut Montefiore, B28, I140
Université de Liège
B-4000 Liège Sart-Tilman
Belgique
- Bozga Marius
Verimag
Marius.Bozga@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Bouajjani Ahmed
LIAFA - Universite Paris 7
abou@liafa.jussieu.fr
LIAFA - Case 7014
2 place Jussieu
75251 Paris cedex 5
- Bruyère Véronique
Université de Mons-Hainaut
Veronique.Bruyere@umh.ac.be
Université de Mons-Hainaut
Faculté des Sciences
6 avenue du Champ de Mars
B-7000-Mons
Belgique
- Cassez Franck
IRCCyN/CNRS
Franck.Cassez@irccyn.ec-nantes.fr
IRCCyN
1 rue de la Noe
BP 92101
44321 Nantes Cedex 3
- Champarnaud Jean-Marc
University of Rouen, LIFAR
Jean-Marc. Champarnaud@univ-rouen.fr
University of Rouen
UFR Sciences, LIFAR
76821 Mont-Saint-Aignan Cedex
- Deharbe David
LORIA and UFRN
David.Deharbe@loria.fr
LORIA/INRIA-Lorraine
615, rue du Jardin Botanique
54602 Villers-lès-Nancy Cedex
- Delzanno Giorgio
Università di Genova
giorgio@disi.unige.it
Dipartimento Informatica e Scienze dell'Informazione
Università di Genova
via Dodecaneso 35, 16146 Genova - Italia
- Finkel Alain
ENS Cachan LSV
finkel@lsv.ens-cachan.fr
61 avenue du President Wilson
94235 CACHAN CEDEX
- Freund Emmanuel
liafa
freund@liafa.jussieu.fr
LIAFA, 175 rue du chevaleret, 75013 Paris
- Geeraerts Gilles
Université Libre de Bruxelles
gigeerae@ulb.ac.be
Université Libre de Bruxelles
Département d'Informatique
Boulevard du Triomphe - CP212
B - 1050 Bruxelles
Belgique
- Genest Blaise
LIAFA, PARIS 7
genest@crans.org
LIAFA, universite paris 7
2 place jussieu, case 7014
75251 Paris cedex 05
France
- Goubault Eric
CEA
Eric.Goubault
DTSI/SLA
CEA/Saclay
91191 Gif-sur-Yvette
- Habermehl Peter
LIAFA Université Paris 7
Peter.Habermehl@liafa.jussieu.fr
LIAFA - Case 7014
Université Paris 7
2, place Jussieu
75251 Paris Cedex 5
- Halbwachs Nicolas
Verimag
Nicolas.Halbwachs@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Herbreteau Frédéric
Université de Liège
herbreteau@montefiore.ulg.ac.be
Institut Montefiore
Grande Traverse, 10
4000 Liège
BELGIUM
- Katoen Joost-Pieter
University of Twente
katoen@cs.utwente.nl
Faculty of Computer Science
University of Twente
P.O. Box 217
7500 AE Enschede
The Netherlands
- Kouchnarenko Olga
Universite de Franche-Comte
kouchna@univ-fcomte.fr
LIFC
16 route de Gray
25030 Besancon
- Lakhnech Yassine
Verimag
Yassine.Lakhnech@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Leroux Jerome
LSV
leroux@lsv.ens-cachan.fr
LSV, CNRS UMR 8643, ENS de Cachan, 61 avenue du Président Wilson, 94235 CACHAN Cedex, FRANCE
- Lugiez Denis
LIF
Denis.Lugiez@cmi.univ-mrs.fr
LIF, Université de Provence
- Maignan Aude
Verimag
Aude.Maignan@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Maler Oded
Verimag
Oded.Maler@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Markey
LSV
markey@lsv.ens-cachan.fr
LSV
ENS Cachan
61, avenue du President Wilson
94235 CACHAN Cedex
- Mauras Christophe
Universite de Nantes
Christophe.Mauras@univ-nantes.fr
Faculte des Sciences et des Techniques,
Departement Informatique,
2, rue de la Houssiniere,
BP 92208 44322 NANTES cedex 3
- Merchat David
Verimag
David.Merchat@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Meyer Antoine
LIAFA (CNRS / Paris VII)
Antoine.Meyer@liafa.jussieu.fr
LIAFA - Université Denis Diderot - Case 7014 - 2, place Jussieu
F-75251 Paris Cedex 05
- Mikac Jan
Verimag
Jan.Mikac@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Morel Lionel
Verimag
Lionel.Morel@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Ranise Silvio
LORIA & INRIA-Lorraine
ranise@loria.fr
LORIA
615, rue du Jardin Botanique, BP 101,
54602 Villers les Nancy Cedex
France
- Raskin Jean-François
Université Libre de Bruxelles
jraskin@ulb.ac.be
Université Libre de Bruxelles
Département d'Informatique
Boulevard du Triomphe - C.P. 212
1050 Bruxelles
Belgique
- Sagiv Mooly
Tel-Aviv University
sagiv@math.tau.ac.il
Schriber 317
School of Computer Science
Tel-Aviv University
Tel-Aviv 69978
Israel
- Schnoebelen Philippe
LSV
phs@lsv.ens-cachan.fr
Laboratoire Spécification et Vérification
Ecole Normale Supérieure de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex
- Schobbens Pierre-Yves
FUNDP (Université de Namur)
pys@info.fundp.ac.be
Institut d'Informatique
Rue Grandgagnage, 21
B-5000 Namur
- Serwe Wendelin
IRISA - INRIA Rennes
Wendelin.Serwe@irisa.fr
Wendelin SERWE
IRISA
Campus de Beaulieu
35042 Rennes cedex
- Sifakis Joseph
Verimag
Joseph.Sifakis@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Sutre Gregoire
CNRS / LaBRI
sutre@labri.fr
LaBRI - CNRS UMR 5800
Domaine Universitaire
351, cours de la Libération
33405 Talence Cedex, FRANCE
- Touili Tayssir
LIAFA
touili@liafa.jussieu.fr
University of Paris 7, LIAFA lab.
Case 7014, 2 place Jussieu
75251 Paris cedex 5, France.
- Tripakis Stavros
Verimag
Stavros.Tripakis@imag.fr
Verimag, 2, avenue de Vignate, 38610 Gieres
- Van Begin Laurent
Université Libre de Bruxelles
lvbegin@ulb.ac.be
* Université Libre de Bruxelles
Département d'Informatique
Boulevard du Triomphe - CP212
B - 1050 Bruxelles
Belgique
- Vojnar Tomas
LIAFA, Universite Paris 7
vojnar@liafa.jussieu.fr
LIAFA - Case 7014
Universite Paris 7
2, place Jussieu
75251 Paris Cedex 05, France