m (Added poster link) |
(New newsletter) |
||
| Line 22: | Line 22: | ||
* [[:File:BCS-FACS Newsletter Issue 2009-1.pdf|Issue 2009-1]], July 2009. |
* [[:File:BCS-FACS Newsletter Issue 2009-1.pdf|Issue 2009-1]], July 2009. |
||
* [[:File:BCS-FACS Newsletter Issue 2009-2.pdf|Issue 2009-2]], December 2009. |
* [[:File:BCS-FACS Newsletter Issue 2009-2.pdf|Issue 2009-2]], December 2009. |
||
| + | * [[:File:BCS-FACS Newsletter Issue 2010-1.pdf|Issue 2010-1]], December 2010.[[File:New2.gif]]<!-- 17 Mar 2011 --> |
||
{{ISSN|0950-1231}}. |
{{ISSN|0950-1231}}. |
||
Revision as of 11:42, 17 March 2011
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
Events
- Reasoning about Programs using a Scientific Method, Prof. Peter O'Hearn, London Mathematical Society↑, 16 November 2010. See poster.
See also events including forthcoming events.
Newsletters
- Issue 2009-1, July 2009.
- Issue 2009-2, December 2009.
- Issue 2010-1, December 2010.
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
External links
- BCS-FACS website
- Wikipedia: BCS-FACS
- BCS website
- FACS mailing list on JISCmail↑
- BCS-FACS group on LinkedIn↑