Teaching Formal Methods 2006: Practice and Experience

BCS London Office, UK, 15 December 2006

Workshop on Mathematically Structured Functional Programming (MSFP 2006)

Kuressaare, Estonia, 2 July 2006

10th International Conference on Evaluation and Assessment in Software Engineering (EASE)

Keele University, UK, 10 - 11 April 2006 (with a Postgraduate Workshop on the 12th).