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

Luigia Petre Luigia.Petre at abo.fi
Thu Feb 17 11:42:10 CET 2022

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:


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

More information about the ecoop-info mailing list