[fg-arc] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET

[Luigia Petre]

Dear all,

The Formal Methods Teaching tutorials series continues on the last Friday of
October with a lecture on Frama-C!

Dr Allan Blanchard (CEA-LIST, France) will lecture on Friday October 28, 2022,
at 3 pm CEST with a talk entitled "Formal methods for beginners and for C
programs - Using Frama-C and its WP plug-in for teaching". More information
about our lecturer can be found here: https://allan-blanchard.fr<https://allan-blanchard.fr/>.

The zoom link for Allan's lecture is https://aboakademi.zoom.us/j/64254430116.

The event will last about an hour.

Warmly welcome!!

Best wishes,
Luigia

PS: the tutorial series webpage is here:
https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/.



__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
www.users.abo.fi/lpetre
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20221021/2dc02ee0/attachment.htm>