Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, March 1, 2024 at 10 am CET. Please note the unusual time, due to our speaker's location (Sydney, Australia).
Prof Carroll Morgan, University of New South Wales (UNSW), Australia will lecture on his experiences in teaching Formal Methods to Computer Science students, without focusing on the theoretical, formal aspects of the topic. The roots of this talk can be found in Prof Morgan’s invited lecture at the FM19 symposium in Porto - check that lecture’s abstract here: https://www.easychair.org/smart-program/FMTea19/2019-10-07.html. He argued there for incorporating Formal Methods thinking into the very programming courses we teach and simply rename the whole approach as Programming. The lecture was truly inspirational and Carroll continued teaching in this way at UNSW. However, a not-so-small problem occurred since 2019: his class became mandatory and so the attendance increased about 7 times. In the tutorial talk on March 1, Prof Morgan will discuss how he handles this new challenge. More information about our lecturer can be found here: https://www.unsw.edu.au/staff/carroll-morgan. The zoom link for Carroll’s 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