[fg-arc] FME Teaching Tutorial on June 12, 2026 @ 3 pm CEST: Prof Jan Kofroň, Charles University, Czech Republic, on "Teaching Formal Methods at Charles University"

[Luigia Petre]

Dear all,


Our Formal Methods Teaching tutorials series continues on Friday, June 12, at 3 pm CEST!


Our speaker is Jan Kofroň - Associate Professor at Charles University, Prague, where he has been involved in teaching Formal Methods, for instance within their Dependable Systems MSc program.  His educational approach, presented early on at the International Conference on Teaching Formal Methods (TFM 2009), combines behavioural modelling, model checking, program analysis, and code verification. In that presentation, two major challenges for Formal Methods education are identified: the declining mathematical preparedness of students and the shortage of accessible master's-level teaching materials for program verification. In addition to his direct teaching activities, Prof. Kofroň has been actively involved in organising and leading communities and events in the field, for instance the Formal Engineering Approaches to Software Components and Architectures (FESCA) workshop, a long-standing workshop associated with ETAPS. This contributed to promoting the use of formal techniques in software engineering and to supporting the education and development of early-career researchers. In his tutorial talk, he will present to us the current Formal Methods teaching approach at his university as well as several learnt lessons.


Here comes the abstract of the tutorial:

"In my talk, I will describe some courses related to verification taught as a part of the CS curriculum at Charles University. In particular, I will describe two of them in more detail – a relatively new bachelor-level course “Program Semantics” focused on contract-based verification using PiVC and Dafny, and a master-level course on model checking and related topics called “System Behaviour Models and Verification”, which I have been teaching for almost twenty years. I will also discuss the grading, students' feedback, and my experience with both courses. Last, but not least, I will try to extract some takeaways for the community."


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20260605/975caa1e/attachment.html>