Formal Methods Europe Symposium 1997
Tutorials
The tutorials will take place on Monday, 15th and Tuesdays, 16th
September. On each day there will be two sessions, each session will
consist of an single workshop. If you want to register for these tutorials
you can use this online registration form.
Monday, 15th September
Session 1 (9:00 - 12:00)
- Tomasz Janowski, UNU/IIST:
Semantics and Logic for Provable Fault-Tolerance
10:00 - 10:30 Coffee Break
12:00 - 13:30 Lunch
Session 2 (13:30 - 16:00)
- J. Strother Moore, Matt Kaufmann, William D. Young, Computational Logic Inc.:
ACL2
14:30 - 15:00 Coffee Break
Tuesday, 16th September
Session 1 (9:00 - 12:00)
- T. P. Kearney, O. Traynor, University of Queensland:
Formal Software Development Using Cogito
10:00 - 10:30 Coffee Break
12:00 - 13:30 Lunch
Session 2 (13:30 - 16:00)
- M. Hinchey, J. Oliveira, New Jersey Inst. of Technology, Univ. of Minho:
Industrial Training and University Education in Formal Methods
14:30 - 15:00 Coffee Break
[
Symposium Programme |
Tutorials Programme |
Tool Demonstrations |
Online Registration
]
[
Conference Office |
Map of Graz |
Important Adresses |
Travel Information
]