Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

This collection reflects the vibrant discussions and insights from the 6th International Workshop on Formal Methods Teaching held in Milan. It brings together a diverse group of educators and researchers who share a common goal: enhancing the teaching and learning of formal methods in computer science.

Through a series of papers, the authors delve into innovative pedagogical approaches, effective curriculum designs, and the integration of practical experiences that engage students in this complex field. The contributions not only highlight current challenges but also present exciting strategies to foster understanding and appreciation for formal methods among learners.