20-24/09/99 - Toulouse - France
The
FM'99 World Congress on Formal Methods
will feature a number of Industry Tutorials. We are planning
tutorials on the use of formal methods in individual areas such
as:
ASM: Abstract State Machines Egon.Boerger@di.unipi.it
Avionics (incl. Air Traffic Control and Aerospace), Rene.Jacquart@cert.fr
Hardware Joseph.Sifakis@imag.fr and Edmund.Clarke@cs.cmu.edu
Railway Systems Godziejewski (ERRI), bogdan@wxs.nl
This tutorial culminates the EU sponsored FMERail project.Secure Systems Rene.Jacquart@cert.fr
Software Dines Bjørner et al.: db@it.dtu.dk
Synchronous Languages Albert.Benveniste@inria.fr, Nicolas.Halbwachs@imag.fr
Telecommunications Kees.Middelburg@cwi.nl, Zave: pamela@research.att.com
TLA+: Temporal Logic of Actions Dominique.mery@loria.fr
Some Industry
Tutorials will span just one half or full day. Others will span
three or four half days. Some will take place just before, or
just after the FM'99 Technical
Symposium, i.e. during the weekends prior to, or immediately
following the congress. Other Industry Tutorials will run in
parallel with the Technical Symposium. They will then typically
be scheduled for the afternoons where the Technical Symposium
will normally schedule specialist papers.
All tutorials aim
at reaching, informing and partially educating and training
industry software and hardware engineers with some of their
sessions also aimed at development project and product managers.
Lecturers will include leading staff from international
corporations which have long used formal methods -- thus enabling
participants to verify, ``from the horse's mouth'', what it takes
to adopt and adapt to formal methods.
January 16, 1999