... level

See eg. [2] and world-wide events such as the Toulouse World Congress on Formal Methods (FM99).

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... knowledge

As will be discussed in the conclusions, this table is tentative and still far from a definitive answer to the difficult task of building an ontology for formal methods.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... inferred

This field proved to be one of the most difficult to fill in due to the variety of academic scheduling systems in Europe (years, semesters, terms, etc.).Lonely numbers mean (BSc) years (eg. 2 for second year, 3-4 for either third or fourth year, etc ); if preceded by «S» they mean semesters (eg. S2 for second semester); combined numbers also mean semesters (eg. 4.2 meaning second semester of the fourth year); Msc indicates a post-graduation course, often overlapping with final year (eg. fifth year) courses.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... them

It should be mentioned that 37 courses do not refer to any standard FM notation, that is to say, they seem to resort to conventional «pen and paper» mathematics notation only (set theory notation, logic notation etc).

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... context

For instance, if Haskell is mentioned as a support or specification language, which particular tool -- eg. Hugs or GHC (both readily available from http://www.haskell.org/implementations.html) -- can one be sure the students use?

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... power 

Reference [11] suggests the need for two-layered notations in the style of the «good old» Laplace transform.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.