|
|
|
|
Sponsors
We gratefully acknowledge the support and sponsorship from the following organizations: NOKIA, TUCS (Turku Centre for Computer Science), Stiftelsen för Åbo Akademi Forskningsinstitut (Foundation of the Åbo Akademi Research Institute), Faculty of Technology at Åbo Akademi University, Federation of Finnish Learned Societies, FORTIA (Formal Techniques Industrial Association), FME (Formal Methods Europe), and Distributed System Design Laboratory.
    
|
 
|
 Distributed Systems Design Laboratory
|
|
|
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
|
