Programme Committee
Programme Chairs:
| Jorge Cuellar | Siemens, Germany |
| Tom Maibaum | McMaster University, Canada |
| | |
| Bernhard Aichernig | Technical University of Graz, Austria |
| Keijiro Araki | Kyushu University, Japan |
| Alessandro Armando | Genova University, Italy |
| Ralph-Johan Back | Åbo Akademi University, Turku, Finland |
| Gilles Barthe | INRIA at Sophia-Antiplois, France |
| David Basin | ETH, Zurich, Switzerland |
| Frank de Boer | CWI Amsterdam, The Netherlands |
| Ed Brinksma | University of Twente, NL |
| Dawson Engler | Stanford University, USA |
| Marcelo Frias | University of Buenos Aires, Argentina |
| Dimitra Giannakopoulou | RIACS/NASA Ames, USA |
| Radu Grosu | Stony Brook University, USA |
| Joshua D. Guttman | MITRE Corporation, USA |
| Connie Heitmeyer | NRL, USA |
| Cliff Jones | Newcastle University, UK |
| Shmuel Katz | Technion, Israel |
| Paddy Krishnan | Bond University, Australia |
| Axel van Lamsweerde | Louvain University, Belgium |
| Rustan Leino | Microsoft Research, Redmond, USA |
| Dominique Mery | Nancy University, France |
| Marius Minea | Technical University of Timisoara, Romania |
| Madhavan Mukund | CMI, Chennai Mathematical Institute, India |
| Cesar Munoz | National Institute of Aerospace, USA |
| Tobias Nipkow | Technical University of Munich, Germany |
| Jose N Oliveira | University of Minho, Portugal |
| Paritosh K Pandya | Tata Institute of Fundamental Research, Mumbai, India |
| John Rushby | SRI, USA |
| Augusto Sampaio | University of Pernambuco, Brazil |
| Steve Schneider | University of Surrey, UK |
| Emil Sekerinski | McMaster University, Canada |
| Vitaly Shmatikov | University of Texas at Austin, USA |
| Doug Smith | Kestrel, USA |
| Ketil Stølen | SINTEF and University of Oslo, Norway |
| Andrzej Tarlecki | Warsaw University, Poland |
| Sebastian Uchitel | Imperial College, UK and
University of Buenos Aires, Argentina |
| Alan Wassyng | McMaster University, Canada |
| Roel Wieringa | Twente University, Holland |
| Martin Wirsing | Ludwig-Maximilians-Universität, Munich, Germany |
| Pierre Wolper | University of Liege, Belgium |
| Jim Woodcock | University of York, UK |
|
News
- Pictures from the conference week now available. (2.7.2008)
- Material for the IDay presentations available. (4.6.2008)
- The diploma for the best paper award is on the web. (4.6.2008)
- The
link to the next Formal Methods conference has been added. (4.6.2008)
- The abstract of Paolo Bresciani is now available. (23.5.2008)
- The registration is now closed. (22.5.2008)
- The program of the Doctoral Symposium is now
available. (15.5.2008)
- Unfortunately, Tutorial 7 has been
cancelled. (9.5.2008)
- Comparing the hotels in Turku by
a non-profit organisation can be found here. (9.5.2008)
- A list of selected restaurants, pubs and cafés can now be found here. (9.5.2008)
- Hostel Turku added as new accommodation alternative. Please check the
accommodation page for more information. (15.4.2008)
- The abstract of Prof. Arvind is now
accessible. (11.4.2008)
Archive
|
