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

Session 2 (13:30 - 16:00)

• J. Strother Moore, Matt Kaufmann, William D. Young, Computational Logic Inc.:
  ACL2

Tuesday, 16th September

Session 1 (9:00 - 12:00)

• T. P. Kearney, O. Traynor, University of Queensland:
  Formal Software Development Using Cogito

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