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
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
