|
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
|
|