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://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. [https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/featured.png]<https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/>
Tutorial Series of the FME Teaching Committee | Formal Methods Teaching Committee<https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/> 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://www.cs.bgu.ac.il/~ranger/). 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://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/, 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://aboakademi.zoom.us/j/64254430116 Meeting ID: 642 5443 0116 Join by SIP 64254430116@109.105.112.236 64254430116@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 www.users.abo.fi/lpetre
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info