Browse the conference papers here

Invited Keynote Talk Invariant Based Programming
Ralph-Johan Back

Friendly e-tutor for Natural Deduction
Krysia Broda, Jiefei M, Gabrielle Sinnadurai, Alex Summers

Program Verification with the RISC ProofNavigator
Wolfgang Schreiner

Automated Tools for Teaching Formal Software Verification
Ingo Feinerer, Gernot Salzer

Verifying Invariant Based Programs in the SOCOS Environment
Ralph-Johan Back, Johannes Eriksson and Magnus Myreen

Algorithmic Problem Solving - Three Years On
Roland Backhouse

Teach Z by Reverse Engineering Specifications from Real-life Implementations
n Bayley

'La main à la pâte', An Abacus to Teach Formal Specifications
Henri Habrias

Logic, damned logic, and statistics
Andrew Simpson

Teaching Formal Methods in a Third World Country: What, Why and How
Maximilano Cristiá

Teaching Formal Methods for Computational Linguistics at Uppsala University
Roussanka Loukanova

Teaching Semantics of Programming Languages with Modular SOS
Peter D. Mosses

Microsemantics as a Bootstrap in Teaching Formal Methods
Raymond Boute

Teaching the Oxford Brookes Formal Specification Module
Ian Bayley, David Lightfoot, Clare Martin

Invited Capstone Talk Some Industrial Experience with Teaching Formal Methods
Rod Chapman