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
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club