[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
We restart the FME Teaching Committee's series of tutorials in 2022 with Prof.
Shriram Krishnamurthi's lecture on Friday, February 25, at 3 pm CET. His talk
in entitled "From Tests to Properties: Property-Based Testing Using Relational
Problems". The zoom link is https://aboakademi.zoom.us/j/64254430116.
The event will last about an hour.
Warmly welcome!!
Kind regards,
Luigia Petre (on behalf of the FME Teaching Committee)
PS1: the tutorial series webpage is updated with the list of speakers who
confirmed their lectures in 2022 here:
https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!A1sjZwMBn8NqbCvLUvaR8gwOHrsDFb0KqOEbz2JhTkPTiAKqEM83B9QCHjDsgIChLjSuib8okuGBtg$
.
PS2: the tutorial series aims to increase the awareness and sharing of tools
and techniques used for teaching formal methods
__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!A1sjZwMBn8NqbCvLUvaR8gwOHrsDFb0KqOEbz2JhTkPTiAKqEM83B9QCHjDsgIChLjSuib_-fLkpvQ$
