Industrial training courses on formal methods for existing software engineers lasting one to two weeks have usually been found effective. A successful pattern has been one week tuition with short exercises followed by one week's more in-depth practice or one week with intensive hands-on practice with good tools. After that it is advisable to use an experienced consultant to assist and guide the use of a formal method in an organisation's first project. A three or four day course has been found sufficient to give managers and project leaders an adequate technical appreciation and reading knowledge.

An On-Line Repository of Formal Methods Courses in Europe is available at the FME-SoE side hosted by Minho University. (last update: May 14th, 2005)

A Survey of Formal Methods Courses in European Higher Education, carried out by FME's Subgroup on Education, can be found at this site.

An On-Line Repository of Formal Methods Educational Materials is available at Indiana University.

Courses in Europe ::

No information is currently available on formal methods courses being given in Europe.

Courses outside Europe ::

No information is currently available on formal methods courses being given outside Europe.

Video courses ::

No information is currently available on formal methods courses that are available as video course.

© copyright 2004 | Formal Methods Europe