[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