»
Meeting Overview
Important dates:
| Registration deadline |
30. April |
| Meeting |
19. - 20. May |
The meeting aims to bring together researchers on formal verification in the Alpine area. Our definition of Alpine includes anyone who is interested and willing to lie about the amount of mountains in his vicinity. In 2008, participants include:
- Technische Universitaet Muenchen
- JKU Linz
- Masaryk University, Brno
- Polytechnical University of Timisoara
- Graz University of Technology
- Fondazione Bruno Kessler, Trento
- University of Lugano
- Polytecnico di Torino
- Verimag, Grenoble
- EPFL, Lausanne
- ETH Zuerich
- University of Saarbruecken
- TU Darmstadt
- Oxford
- (and whoever else wants to attend)...
|
|
