[TYPES/announce] FME Teaching Tutorial on September 26, 2025 @ 3 pm CEST: Gustavo Carvalho, Universidade Federal de Pernambuco, Brazil, on "A personal account on teaching formal methods in Brazil: From specifications to code with B"

[Luigia Petre]

Dear all,

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

Dr Gustavo Carvalho is a lecturer at the Centro de Informática, Federal
University of Pernambuco, Brazil. His research focuses on software
engineering, testing, and formal methods, with contributions to tool support.
His teaching experience is broad, from general Computer Science topics to
advanced Formal Methods courses on B and Coq (Rocq). He has been involved for
many years in the Brazilian Symposium on Formal Methods, in numerous roles,
including as general chair in 2017.

In his presentation, Gustavo will describe for us his personal experiences in
teaching Formal Methods in Brazil, with a focus on B.

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!QZf_akv2FcNI9uANRbTXYpGRQi0m1HOcMTW6gYAvVmDlOM-DWVABNLN8Oq2MvgPxZfnh7KJbiiGa8KUo7UM5FXNrq76_plqKBCZ_$ .


__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!QZf_akv2FcNI9uANRbTXYpGRQi0m1HOcMTW6gYAvVmDlOM-DWVABNLN8Oq2MvgPxZfnh7KJbiiGa8KUo7UM5FXNrq76_pl_pVBL-$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250919/0dc356c4/attachment.htm>