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

    Teaching Formal Methods: Practice and Experience

    BCS London Office, UK, 15 December 2006

    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/

    Full Synopsis - Editors - Sponsors - Papers