[PVS] [EXTERNAL] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14

Curriculum for undergraduate/graduate Computer Science studies - Working on a Book Series in Formal Methods Here the schedule for that day, where our session 16 can be seen: https://www.easychair.org/smart-program/FM24/2024-09-11.html Everyone interested welcome! Looking forward to FM week, Luigia

[PVS] [EXTERNAL] FME Teaching Tutorial on February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for p

rning with efficient methodologies, on a variety of topics. The event will last under 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, D

[PVS] [EXTERNAL] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!"

t;: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2422174. 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, D

[PVS] FME Teaching Tutorial on August 1, 2025 @ 3 pm CEST: Dragana Milovancevic, EPFL, Switzerland, on Formal Autograding in a Classroom

. Warmly welcome!! Best wishes, Luigia __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre