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