[TYPES/announce] Formal Methods Teaching Tutorial on Frama-C: Dr Allan Blanchard on Friday, October 28, at 3pm CET
Luigia Petre
Luigia.Petre at abo.fi
Fri Oct 21 06:59:36 EDT 2022
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$
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221021/79c35889/attachment-0001.htm>
More information about the Types-announce
mailing list