[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected]
[email protected]
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$
