[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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://urldefense.com/v3/__https://allan-blanchard.fr__;!!IBzWLUs!RUDea8U04J2QnYW49wzQMx89ysGliJmNqknoQvoMoqEQkXfVNxsIaU_tPQ1Vvd_MoVmzEDLguy6iYiPLATd0Bn98FP7rFjMSlqFZ$ <https://urldefense.com/v3/__https://allan-blanchard.fr/__;!!IBzWLUs!RUDea8U04J2QnYW49wzQMx89ysGliJmNqknoQvoMoqEQkXfVNxsIaU_tPQ1Vvd_MoVmzEDLguy6iYiPLATd0Bn98FP7rFj6s1TMq$ >. 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://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!RUDea8U04J2QnYW49wzQMx89ysGliJmNqknoQvoMoqEQkXfVNxsIaU_tPQ1Vvd_MoVmzEDLguy6iYiPLATd0Bn98FP7rFmylpkd8$ . __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!RUDea8U04J2QnYW49wzQMx89ysGliJmNqknoQvoMoqEQkXfVNxsIaU_tPQ1Vvd_MoVmzEDLguy6iYiPLATd0Bn98FP7rFlF_u6Wv$
