[fg-arc] FME Teaching Tutorials series continues on September 30, 2022, at 3 pm CEST: Prof Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany) on "Teaching Formal Methods and Theoretical Computer Science with ProB"

[Luigia Petre]

Dear all,

We continue the Formal Methods Teaching tutorials on the last Friday of September with a lecture on ProB!

Prof Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany) will lecture on Friday September 30, 2022, at 3 pm CEST with a talk entitled "Teaching Formal Methods and Theoretical Computer Science with ProB". More information about our lecturer can be found here:
https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages/our-team/team/michael-leuschel.

The zoom link for Michael's lecture is https://aboakademi.zoom.us/j/64254430116.

The event will last about an hour.

Warmly welcome!!

Best wishes,
Luigia

PS: the tutorial series webpage is here: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/.


__
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/20220923/87e5c6c8/attachment.htm>