[TYPES/announce] Ran Ettinger's tutorial on using Dafny to teach: FME Teaching Committee's Tutorial Series, October edition

[Luigia Petre]

Dear all,

We are now at the second tutorial in the Tutorial Series of the FME Teaching Committee. The idea is to increase the awareness and sharing of tools and techniques used for teaching formal methods. The tutorials are held online via zoom. We record (whenever the speaker agrees) these presentations and collect them on the FME Teaching Committee website: https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!EEVrPDipM4YWuZrVSX9T6ngh3xN28jjubCFg6D2AwySMOjVb5ONnQjZEefmsCs6_QElhR3l16ZPFaQ$ .
[https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/featured.png__;!!IBzWLUs!EEVrPDipM4YWuZrVSX9T6ngh3xN28jjubCFg6D2AwySMOjVb5ONnQjZEefmsCs6_QElhR3nu5jfuNw$ ]<https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!EEVrPDipM4YWuZrVSX9T6ngh3xN28jjubCFg6D2AwySMOjVb5ONnQjZEefmsCs6_QElhR3l16ZPFaQ$ >

Tutorial Series of the FME Teaching Committee | Formal Methods Teaching Committee<https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!EEVrPDipM4YWuZrVSX9T6ngh3xN28jjubCFg6D2AwySMOjVb5ONnQjZEefmsCs6_QElhR3l16ZPFaQ$ >
fme-teaching.github.io
Schedule for FMTea tutorials In the FME Teaching Committee, we are launching a new tutorial series, planned to be held monthly. We aim to increase the awareness and sharing of tools and techniques used for teaching formal methods. The tutorial will be held online via zoom. We will record (whenever the speaker agrees) these presentations and collect them on the FME Teaching Committee website. Below you’ll find the list of speakers who agreed to share their FM teaching insight.


We are very happy to announce our second speaker in the series: Dr Ran Ettinger (Ben-Gurion University, Israel, https://urldefense.com/v3/__https://www.cs.bgu.ac.il/*ranger/__;fg!!IBzWLUs!EEVrPDipM4YWuZrVSX9T6ngh3xN28jjubCFg6D2AwySMOjVb5ONnQjZEefmsCs6_QElhR3kHV2LULA$ ). Ran's lecture is entitled

Teaching Cantor’s theorem, a pumping lemma, and the derivation of a heapsort algorithm using Dafny

This tutorial will take place this week on Friday (October 29), at 3pm CET. The zoom coordinates are below. The online event is planned to take about one hour, give or take.

Everyone welcome!!

With best regards,
Luigia Petre
on behalf of the FME Teaching Committee

PS: The recording of Sandrine's lecture last month is already in the webpage https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!EEVrPDipM4YWuZrVSX9T6ngh3xN28jjubCFg6D2AwySMOjVb5ONnQjZEefmsCs6_QElhR3l16ZPFaQ$ , where Ran's will also appear soon.


Luigia Petre is inviting you to a scheduled Zoom meeting.

Topic: FMTea Tutorial Series
Time: This is a recurring meeting Meet anytime

Join Zoom Meeting
https://urldefense.com/v3/__https://aboakademi.zoom.us/j/64254430116__;!!IBzWLUs!EEVrPDipM4YWuZrVSX9T6ngh3xN28jjubCFg6D2AwySMOjVb5ONnQjZEefmsCs6_QElhR3nhNqFcEg$ 

Meeting ID: 642 5443 0116

Join by SIP
64254430116 at 109.105.112.236
64254430116 at 109.105.112.235

Join by H.323
109.105.112.236
109.105.112.235
Meeting ID: 642 5443 0116



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