Teaching Formal Methods: Practice and Experience - Index

Abstract

This volume contains the proceedings of the Teaching Formal Methods: Practice and Experience workshop [1] held in London, UK, organized by Oxford Brookes University's Department of Computing [2] and the BCS Formal Aspects of Computing Science Specialist Group [3].

Teaching Formal Methods: Practice and Experience attracted 36 participants from around the world. The programme included two invited contributions (Ralph-Johan Back - Åbo Akademi University, Finland and Rod Chapman - Praxis High Integrity Systems Ltd, UK) and thirteen refereed papers. The four refereed paper sessions covered tools in teaching, formal methods in the curriculum, teaching formal methods and tactics and techniques.

The event was sponsored by Escher Technologies, Formal Methods Europe, Palgrave Macmillan, Pearson and Springer. The organizers would like to thank all of the sponsors for their generosity.

[1] http://www.bcs-facs.org/events/xmas2006.html

[2] http://cms.brookes.ac.uk/computing/

[3] http://www.bcs-facs.org/

This workshop was the second workshop to be organised by Oxford Brookes University's Department of Computing [1] and the BCS Formal Aspects of Computing Science Specialist Group [2] on the theme of teaching formal methods.

The first workshop was held at Oxford Brookes University in December 2003 [1]. This first workshop was followed by a symposium organised by CoLogNET and Formal Methods Europe in November 2004 [4].

The Formal Methods Europe (FME) Education Group also organised a workshop on Formal Methods in the Teaching Laboratory as part of the FME 2006 symposium in Canada in August 2006 [5].

Teaching Formal Methods: Practice and Experience attracted 36 participants from around the world - countries represented included Argentina, Austria, Germany, Finland and Sweden.

The programme included two invited contributions (Ralph-Johan Back, Åbo Akademi University, Finland and Rod Chapman, Praxis High Integrity Systems Ltd, UK) and thirteen refereed papers.

Main article text

Sponsors

This conference was sponsored by:

Oxford Brookes University

Escher Technologies

Pearson Education

Palgrave Macmillan

FM Europe

Springer

And organised by BCS FACS

Papers:

Ralph-Johan Back Invited Keynote Talk Invariant Based Programming http://dx.doi.org/10.14236/ewic/TFM2006.1

Krysia Broda, Jiefei M, Gabrielle Sinnadurai, Alex Summers Friendly e-tutor for Natural Deduction http://dx.doi.org/10.14236/ewic/TFM2006.2

Wolfgang Schreiner Program Verification with the RISC ProofNavigator http://dx.doi.org/10.14236/ewic/TFM2006.3

Ingo Feinerer, Gernot Salzer Automated Tools for Teaching Formal Software Verification http://dx.doi.org/10.14236/ewic/TFM2006.4

Ralph-Johan Back, Johannes Eriksson and Magnus Myreen Verifying Invariant Based Programs in the SOCOS Environment http://dx.doi.org/10.14236/ewic/TFM2006.5

Roland Backhouse Algorithmic Problem Solving - Three Years On http://dx.doi.org/10.14236/ewic/TFM2006.6

n Bayley Teach Z by Reverse Engineering Specifications from Real-life Implementations http://dx.doi.org/10.14236/ewic/TFM2006.7

Henri Habrias 'La main à la pâte', An Abacus to Teach Formal Specifications http://dx.doi.org/10.14236/ewic/TFM2006.8

Andrew Simpson Logic, damned logic, and statistics http://dx.doi.org/10.14236/ewic/TFM2006.9

Maximilano Cristiá Teaching Formal Methods in a Third World Country: What, Why and How http://dx.doi.org/10.14236/ewic/TFM2006.10

Roussanka Loukanova Teaching Formal Methods for Computational Linguistics at Uppsala University http://dx.doi.org/10.14236/ewic/TFM2006.11

Peter D. Mosses Teaching Semantics of Programming Languages with Modular SOS http://dx.doi.org/10.14236/ewic/TFM2006.12

Raymond Boute Microsemantics as a Bootstrap in Teaching Formal Methods http://dx.doi.org/10.14236/ewic/TFM2006.13

Ian Bayley, David Lightfoot, Clare Martin Teaching the Oxford Brookes Formal Specification Module http://dx.doi.org/10.14236/ewic/TFM2006.14

Rod Chapman Invited Capstone Talk Some Industrial Experience with Teaching Formal Methods http://dx.doi.org/10.14236/ewic/TFM2006.15