[fg-arc] 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://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/.


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
www.users.abo.fi/lpetre
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20220217/3d70cd16/attachment.htm>