[fg-arc] 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]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20221202/789e701d/attachment.htm>