Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Full Synopsis

    Teaching Formal Methods: Practice and Experience

    BCS London Office, UK, 15 December 2006


    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.


    PDF fileView the full version of synopsis Paper here (28kb)


    Conference Papers