[fg-arc] FME Teaching Tutorials series continues on August 26, at 3 pm CEST: Dr. Robert Lewis (Brown University, US) on "Teaching the theory and practice of proof assistants with Lean"

[Luigia Petre]

Dear all,

On the last Friday of the summer, we have the opportunity of a theorem prover
lecture from an Ivy League colleague!

Dr. Robert Lewis (Brown University, US) will lecture on Friday August 26,
2022, at 3 pm CEST on the Lean theorem prover. His talk is entitled "Teaching
the theory and practice of proof assistants with Lean". Rob will complete the
series of 3 lectures on teaching formal methods at Brown; if interested in the
previous two lectures, please check our website (link below in the PS).

The zoom link for Rob's 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 up to date with the list of 2021 and 2022
speakers (and links to (almost all of) the recordings of their talks):
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/20220822/9758ba56/attachment.htm>