|
Workshop on
Quantitative Formal Methods:
Theory and Applications
- workshop of FM 2009 -
Eindhoven, The Netherlands
November 3rd, 2009
Programme Committee
|
|
Mario Bravetti
|
University of Bologna, Italy |
Pieter Collins |
CWI, The Netherlands |
Georgios Fainekos |
NEC Labs
America, USA |
Ansgar Fehnker
|
NICTA, Australia |
Goran Frehse |
Verimag,
France |
David de
Frutos-Escrig |
Complutense
University of Madrid, Spain |
Bjarne Helvik
|
Norwegian University of Science and
Technology, Norway |
Antonin Kucera
|
Masaryk University, Czech Republic |
Larissa Meinicke
|
Macquarie University, Australia |
Anna Philippou
|
University of Cyprus, Cyprus |
Jeremy Sproston
|
University of Torino, Italy |
Paulo Tabuada |
UCLA, USA |
Elena Troubitsyna
|
Åbo Akademi University, Finland |
Verena Wolf |
Saarland University, Germany |
|
|
back
|
|