Dear all, The Formal Methods Teaching tutorials series wraps up 2022 with a lecture on Friday, December 9, 2022!
Principal Research Engineer Markus Kuppe (RiSE group at Microsoft Research, US) will lecture on Friday, December 9, 2022 at 3 pm CET on his experiences on teaching TLA+ in industry. His talk is entitled entitled "Stories from the trenches: Teaching the TLA+ specification language in Industry". More information about our lecturer can be found here: https://www.linkedin.com/in/markus-kuppe-643559180/. The zoom link for Markus' 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 below; we continue in January 2023! 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 ]]
