m (Newsletters) |
m (Link and info corrections) Tag: Source edit |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 7: | Line 7: | ||
{{See Wikipedia}} |
{{See Wikipedia}} |
||
| − | '''BCS-FACS''' is the {{wp|British Computer Society}} '''Formal Aspects of Computing Science''' Specialist Group. It organizes [ |
+ | '''BCS-FACS''' is the {{wp|British Computer Society}} '''Formal Aspects of Computing Science''' Specialist Group. It organizes [https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/ events] concerned with [[formal methods]] in the {{wp|United Kingdom}}, especially at the BCS offices in {{wp|London}}. |
== Officers == |
== Officers == |
||
| − | * Chair: [[ |
+ | * Chair: [[Jonathan Bowen]] |
| + | * Treasurer: [https://www.lboro.ac.uk/departments/compsci/staff/emeriti-visitors/john-cooke/ John Cooke] <!--[[Jawed Siddiqi]]--> |
||
| − | * Treasurer: [[Jonathan Bowen]] |
||
| − | * Secretary: [[Paul Boca]] |
+ | * Secretary: [https://www.linkedin.com/in/roger-carsley-79617811/ Roger Carsley] <!--[[Paul Boca]]--> |
== Selected events == |
== Selected events == |
||
| Line 29: | Line 29: | ||
* [[:File:BCS-FACS Newsletter Issue 2010-1.pdf|Issue 2010-1]], December 2010. |
* [[:File:BCS-FACS Newsletter Issue 2010-1.pdf|Issue 2010-1]], December 2010. |
||
* [[:File:BCS-FACS Newsletter Issue 2011-1.pdf|Issue 2011-1]], December 2011. |
* [[:File:BCS-FACS Newsletter Issue 2011-1.pdf|Issue 2011-1]], December 2011. |
||
| − | * [http://www.bcs.org/upload/pdf/facs-nov12.pdf Issue 2012-1], November 2012. [[File:New2.gif]]<!-- 17 Mar 2011 --> |
+ | <!-- * [http://www.bcs.org/upload/pdf/facs-nov12.pdf Issue 2012-1], November 2012. [[File:New2.gif]] --><!-- 17 Mar 2011 --> |
{{ISSN|0950-1231}}. |
{{ISSN|0950-1231}}. |
||
| − | See also [ |
+ | See also [https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/newsletters/ newsletter information] including [https://www.bcs.org/membership/member-communities/facs-formal-aspects-of-computing-science-group/newsletters/back-issues-of-facs-facts/ past newsletters]. |
== Books == |
== Books == |
||
| − | * Paul Boca, Jonathan Bowen, and Jawed Siddiqi, ''[[FMSAND|Formal Methods: State of the Art and New Directions]]''. London: {{wp|Springer-Verlag}}, 2010. ISBN 978-1-84882-735-6, e-ISBN 978-1-84882-736-3, {{doi|10.1007/978-1-84882-736-3}} |
+ | * [[Paul Boca]], [[Jonathan Bowen]], and [[Jawed Siddiqi]], ''[[FMSAND|Formal Methods: State of the Art and New Directions]]''. London: {{wp|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 == |
== See also == |
||
| Line 42: | Line 42: | ||
== External links == |
== External links == |
||
| − | * [http://www.bcs-facs.org/ BCS-FACS website] |
+ | * [http://www.bcs-facs.org/ BCS-FACS website] (also [http://facs.bcs.org/ here]) |
* [[Wikipedia: BCS-FACS]] |
* [[Wikipedia: BCS-FACS]] |
||
| + | * [http://bcsfacs.wikinet.org/ BCS-FACS wiki] including provisional [http://bcsfacs.wikinet.org/wiki/Events Events] |
||
* [http://www.bcs.org/ BCS website] |
* [http://www.bcs.org/ BCS website] |
||
* [http://www.jiscmail.ac.uk/lists/FACS.html FACS mailing list] on {{wp|JISCmail}} |
* [http://www.jiscmail.ac.uk/lists/FACS.html FACS mailing list] on {{wp|JISCmail}} |
||
Latest revision as of 23:19, 11 March 2021
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: Jonathan Bowen
- Treasurer: John Cooke
- Secretary: Roger Carsley
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.
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 (also here)
- Wikipedia: BCS-FACS
- BCS-FACS wiki including provisional Events
- BCS website
- FACS mailing list on JISCmail↑
- BCS-FACS group on LinkedIn↑