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
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info