[TYPES/announce] FME Teaching tutorial on Friday, February 25, at 3 pm CET --> Prof Shriram Krishnamurthi, Brown University, US

[Luigia Petre]

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$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220217/6f3de0e7/attachment.htm>