FMTEA19: FORMAL METHODS TEACHING WORKSHOP AND TUTORIAL
SLIDES

Efficient online homologation to prepare students for formal methods courses

Bas Luttik

On Teaching Applied Formal Methods in Aerospace Engineering

Kristin Yvonne Rozier

pseuCo.com

Felix Freiberger and Holger Hermanns

Is Formal Methods really essential?

Carroll Morgan

Teaching deductive verification through Frama-C and SPARK

Claire Dross, Léo Creuse, Christophe Garion, Jérôme Hugues and Joffrey Huguet

Logic, Algebra, and Geometry at the Foundation of Computer Science

Tony Hoare, Alexandra Mendes and Joao F. Ferreira

Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach

Andrew Simpson

Opening remarks at FMTea19

Luigia Petre, Brijesh Dongol and Graeme Smith
Total: 8 presentations.