[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/__;!!IBzWLUs!XsC_oYPn50TFtjb-3FhGumCnQXOhOwJp7wRdg6yaaQ_RVG6o4JN6E-HWWOQb3Zd_YUwSr8XviNk_wU72CjK6YfZQI6y6U2y6p_Ia$
.
__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!XsC_oYPn50TFtjb-3FhGumCnQXOhOwJp7wRdg6yaaQ_RVG6o4JN6E-HWWOQb3Zd_YUwSr8XviNk_wU72CjK6YfZQI6y6U3os9KS0$
