Formal Methods Europe Symposium 1997
The FME'97 symposium will be held at the Technical University of Graz, Austria from 15-19 September, 1997. This will be the fourth international FME symposium (the eighth counting the preceding VDM symposia) in an increasingly valuable series. The event is organised by Formal Methods Europe, an advisory panel of the Commission of the European Communities. Local arrangements are made by the Institute of Software Technology of the Technical University Graz.
Previous VDM and FME symposia have been notably successful in bringing together users, researchers and developers of precise mathematical methods for software development. Symposium contributions will report advances in the field from developments in applicable theory to experiences in commercial application.
Tutorials and symposium will use the facilities of the Institute of Experimental Physics (For details of the locations, look at this map). The Technical University is situated in the very center of the economic region of Graz, thus making a focal point for the teaching of engineering and research in the south of Austria.
On Thursday, 18th September we are pleased to welcome all participants to a Symposium Banquet at the Grand Hotel "Erzherzog Johann".
Due to a major sport event in Styria (Formula One race) taking place from 19th to 21st September early booking is recommended!
Registration can be made at the Conference office which is situated at the symposium location on the following dates:
| Tutorial registration | Sunday 14th, 14:00 to 18:00 Monday 15th, 8:00 to 9:00 |
| Symposium registration | Tuesday 16th, 14:00 to 18:00 Wednesday 17th, 8:00 to 9:00 |
| IST Admin 1997 | To the IST Homepage |