[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:

https://fmeteaching.dudaone.com/contact

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

- Claude





More information about the Why3-club mailing list