Subject: Animation and exchanges in the Petri Nets community
List archive
[PN-world] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!"
Chronological Thread
- From: Luigia Petre <address@concealed>
- To: "address@concealed" <address@concealed>
- Subject: [PN-world] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!"
- Date: Tue, 25 Mar 2025 19:25:13 +0000
- Accept-language: en-US, sv-FI
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=abo.fi header.s=mail header.b=QdwSDV97; dmarc=pass (policy=none) header.from=abo.fi; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 130.232.212.50 as permitted sender) address@concealed
- Dkim-filter: OpenDKIM Filter v2.11.0 smtp-out.abo.fi 0300310CFE3D
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/.
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
- [PN-world] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!", Luigia Petre, 03/25/2025
Archive powered by MHonArc 2.6.19+.