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