Opening remarks at FMTea19 (abstract)

Is Formal Methods really essential? (abstract)

Logic, Algebra, and Geometry at the Foundation of Computer Science (abstract)

pseuCo.com (abstract)

Efficient online homologation to prepare students for formal methods courses (abstract)

Teaching deductive verification through Frama-C and SPARK (abstract)

Using Krakatoa for teaching formal verification of Java programs (abstract)

Teaching Deductive Verification in Why3 to Undergraduate Students (abstract)

Panel Discussion on Teaching Program Verification (abstract)

You already used Formal Methods but did not know (abstract)

On Complementing an Undergraduate Software Engineering Course with Formal Methods (abstract)

Teaching Formal Methods: Lessons Learnt from Using Event-B (abstract)

Teaching Formal Methods to Future Engineers (abstract)

The Computational Relevance of Formal Logic through Formal Proofs (abstract)

Teaching Formal Methods: From Software in the Small to Software in the Large (abstract)

On Teaching Applied Formal Methods in Aerospace Engineering (abstract)

Panel Discussion on Teaching Program Development (abstract)

Teaching Concurrency with the Disappearing Formal Method (abstract)

Teaching Discrete Mathematics to Computer Science Students (abstract)

Principled and pragmatic specification of programming languages (abstract)

Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods (abstract)

Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach (cancelled due to illness) (abstract)

Panel Discussion on Effective Teaching Techniques (abstract)