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
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ petrinet@informatik.uni-hamburg.de ]]