[Why3-club] FME initiative to make courses on formal methods more visible

Claude Marché Claude.Marche at inria.fr
Mon Jul 30 11:29:19 CEST 2018

The teaching committee of FME association is collecting all courses on 
formal methods, to make them easily searchable/available for teachers 
and students.

If you are giving a course on formal methods (in particular if you use 
Why3 but not only ;-)) I strongly encourages you to take 2 minutes to 
fill the online form here:


Please contribute to this great initiative, that both academia and 
industry will benefit from.

- Claude

More information about the Why3-club mailing list