[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://www.nsf.gov/awardsearch/showAward?AWD_ID=2422174__;!!IBzWLUs!VpJdGxGtwU1Eb6bIdBSjW01s3ZS7fArIM8fk_SUBMUkAiReTpzqmrbXigkqDVu5N5w_DFhQ7-1X8EyWxnZFjS4-OochXMrXJnZWH$
.
The event will last about an hour.
Warmly welcome!!
Best wishes,
Luigia
PS: for more info, here is the tutorial series webpage:
https://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!VpJdGxGtwU1Eb6bIdBSjW01s3ZS7fArIM8fk_SUBMUkAiReTpzqmrbXigkqDVu5N5w_DFhQ7-1X8EyWxnZFjS4-OochXMsGX63CX$
.
__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!VpJdGxGtwU1Eb6bIdBSjW01s3ZS7fArIM8fk_SUBMUkAiReTpzqmrbXigkqDVu5N5w_DFhQ7-1X8EyWxnZFjS4-OochXMnCV1c9j$
