[TYPES/announce] FMTea Tutorial on Teaching TLA+ in Industry: Principal Research Engineer Markus Kuppe, RiSE group at Microsoft Research, US, on Friday, December 9, 2022 at 3 pm CET

Luigia Petre Luigia.Petre at abo.fi
Fri Dec 2 16:22:23 EST 2022

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://urldefense.com/v3/__https://www.linkedin.com/in/markus-kuppe-643559180/__;!!IBzWLUs!Ur2PnbHQB7nvucJhiCLk2Mhh8wFdv6jGsLKXaHRkMB0HSh5X0DooJT8p6PqPDINB-trLuzJ12asiVDEneUN56rQqJljey3aKTvVD$ .

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

The event will last about an hour.

Warmly welcome!!

Best wishes,

PS: the tutorial series webpage is below; we continue in January 2023!
https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!Ur2PnbHQB7nvucJhiCLk2Mhh8wFdv6jGsLKXaHRkMB0HSh5X0DooJT8p6PqPDINB-trLuzJ12asiVDEneUN56rQqJljey0WoKt-N$ .

Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221202/bbcf595b/attachment-0001.htm>

More information about the Types-announce mailing list