[TYPES/announce] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line

[Luigia Petre]

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://urldefense.com/v3/__https://www.easychair.org/smart-program/FMTea19/2019-10-07.html__;!!IBzWLUs!W7ZYmXeqQ5NlKOsYdD3iVOCKLwp3Vk4RMLGwThWpeVkBFxajtyBfEGKkoMumLMp4qr8h3PdeYiaS8iNA1eufXregQVO44YlCiMu3$ . 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://urldefense.com/v3/__https://www.unsw.edu.au/staff/carroll-morgan__;!!IBzWLUs!W7ZYmXeqQ5NlKOsYdD3iVOCKLwp3Vk4RMLGwThWpeVkBFxajtyBfEGKkoMumLMp4qr8h3PdeYiaS8iNA1eufXregQVO44e02BPAT$ .

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://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!W7ZYmXeqQ5NlKOsYdD3iVOCKLwp3Vk4RMLGwThWpeVkBFxajtyBfEGKkoMumLMp4qr8h3PdeYiaS8iNA1eufXregQVO44W_PWkN2$ .


__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!W7ZYmXeqQ5NlKOsYdD3iVOCKLwp3Vk4RMLGwThWpeVkBFxajtyBfEGKkoMumLMp4qr8h3PdeYiaS8iNA1eufXregQVO44Q7oiWOe$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240223/cda933bd/attachment.htm>