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://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
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
