Dear all, The Formal Methods Teaching tutorials series continues with a lecture on Friday, June 16!
Prof Laura Kovács, Vienna University of Technology, Austria will lecture on her experiences in teaching formal methods on Friday, June 16, 2023 at 3 pm CEST. Laura's teaching career spreads on more than 15 years, with more than a decade at TU Wien. Some of her courses have hundreds of students, which is both a wonder as well as a challenge. For instance, in a recent paper, Laura explains how to manage generating exam sheets in this context, with the awesome detail that the generation of these sheets uses formal methods! For more details, here is the link to that 2021 paper: https://link.springer.com/chapter/10.1007/978-3-030-81097-9_15. Laura's lecture on June 16 is entitled "Teaching Formal Reasoning at TU Wien". More information about our lecturer can be found here: http://lkovacs.com<http://lkovacs.com/>. The zoom link for Laura' lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: 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
