[fg-arc] FM Teaching Tutorial on April 28, 3 pm CEST: Assoc Prof Stefan Hallerstede (Aarhus University, Denmark): A guide to Not teaching Formal Methods

[Luigia Petre]

Dear all,

The Formal Methods Teaching tutorials series continues with a lecture on Friday, April 28!

Assoc Prof Stefan Hallerstede (Aarhus University, Denmark) will lecture on how NOT to teach Formal Methods on Friday, April 28, 2023 at 3 pm CEST. His talk is based on his experience in creating a new curriculum for Software Engineering studies at the undergraduate level, where they embedded Formal Methods somewhat inconspicuously in about 9 fundamental courses. A paper describing this process can be checked here: https://doi.org/10.1007/978-3-030-57663-9_12. Stefan's lecture on Friday is entitled "A guide to Not teaching Formal Methods".

More information about our lecturer can be found here:
https://pure.au.dk/portal/en/persons/stefan-hallerstede%2865c96a3f-b4af-473c-a0d8-7909b2f2903c%29.html.

The zoom link for Stefan' 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 below; we have speakers planned until June!
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/20230424/6104fa07/attachment.htm>