[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 at abo.fi
Fri Dec 2 16:22:23 EST 2022
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:
The zoom link for Markus' lecture is https://aboakademi.zoom.us/j/64254430116.
The event will last about an hour.
PS: the tutorial series webpage is below; we continue in January 2023!
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce