Animation and exchanges in the Petri Nets community

[address@concealed]

Dear all,

We continue our Formal Methods Teaching tutorials series with a lecture on Friday, May 29, at 3 pm CEST!

Prof Peter Csaba Ölveczky has worked in Formal Methods especially in the areas of:

- formal specification and verification
- rewriting logic
- distributed and cyber-physical systems
- real-time and embedded systems
- executable formal semantics.

In education, Prof. Ölveczky is well known for promoting the integration of formal methods into mainstream computer science teaching. His work often combines rigorous theoretical foundations with practically executable models, helping students connect formal reasoning with realistic systems engineering problems.

His tutorial argues for the suitability of Maude in teaching: "Introducing Formal Methods for/and Distributed Systems Using Maude". The abstract follows below:

"I have used rewriting logic and the Maude tool to introduce formal methods
for/and distributed systems to undergraduate students in Oslo for 20+ years.
In this talk I first argue that Maude should be a very good choice for
introducing formal modeling of distributed systems to undergraduate students:
The Maude formalism is intuitive, general, and expressive, and students tend
to like the functional-programming-style executable modeling in Maude.
Furthermore, since it is fairly easy to model distributed systems in Maude,
students can quickly model and analyze central distributed systems, such as
distributed commit protocols, mutual exclusion algorithms, leader election
algorithms, and consensus algorithms, as well as transport protocols and
cryptographic protocols in such an introductory formal methods course. I then
give an overview of the course and its textbook “Designing Reliable
Distributed Systems,” before concluding by summarizing student feedback and my
own impressions about the course."

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