Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, March 28, at 4 pm CET!
(Please note the slightly different starting time!!!) Prof. Peter-Michael Osera from Grinnell College in US will discuss about teaching formal verification together with the foundations of computer science. Here comes the abstract of the talk: How do we promote the importance and relevance of formal verification to undergraduate computer scientists? While we often focus on building better tools, we should spend an equal, if not greater, amount of time thinking about the pedagogy of formal verification. What are the essential theories and techniques every undergraduate should know from the field? In this talk, I introduce how I have addressed these questions, first through tool building and then through pedagogy. In particular, I present an ongoing multi- institutional project to integrate formal methods across the undergraduate curriculum, in particular, its mathematical foundations. Professor Osera has recently won a 3-year grant from NSF on the topic of "Integrating Formal Methods into the Foundational Undergraduate Curriculum": https://www.nsf.gov/awardsearch/showAward?AWD_ID=2422174. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: 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
