BCS-FACS

BCS-FACS

BCS-FACS

BCS-FACS is the British Computer Society↑ Formal Aspects of Computing Science Specialist Group. It organizes events concerned with formal methods in the United Kingdom↑, especially at the BCS offices in London↑.

Officers

• Chair: Jawed Siddiqi
• Treasurer: Jonathan Bowen
• Secretary: Paul Boca

Selected events

• Reasoning about Programs using a Scientific Method, Prof. Peter O'Hearn, London Mathematical Society↑, 16 November 2010. See poster.
• Embedded Control Software Design with Formal Methods and Engineering Models, Prof. Jan Broenink, jointly with FME, 13 September 2010.
• Mechanising a Correctness Proof for a Lock-free Concurrent Stack, Prof. John Derrick, 21 September 2011
• Reasoned Modelling: Towards Decision Support for System Design, Prof. Andrew Ireland, London Mathematical Society↑, 30 November 2011.
• Annual Peter Landin↑ Lecture, Prof. Cliff Jones, 6 December 2011.
• Subjects are not Objects - Enterprise Modelling using Projective Analysis, Prof. Bernie Cohen, jointly with BCS London Central Branch, 16 February 2012

See also events including forthcoming events.

Newsletters

• Issue 2009-1, July 2009.
• Issue 2009-2, December 2009.
• Issue 2010-1, December 2010.
• Issue 2011-1, December 2011.
• Issue 2012-1, November 2012.

ISSN 0950-1231 .

See also newsletter information including past newsletters.

Books

• Paul Boca, Jonathan Bowen, and Jawed Siddiqi, Formal Methods: State of the Art and New Directions. London: Springer-Verlag↑, 2010. ISBN 978-1-84882-735-6, e-ISBN 978-1-84882-736-3, DOI: 10.1007/978-1-84882-736-3

See also

• Formal Methods Europe

External links

• BCS-FACS website
• Wikipedia: BCS-FACS
• BCS-FACS wiki including provisional Events
• BCS website
• FACS mailing list on JISCmail↑
• BCS-FACS group on LinkedIn↑