m (Added Wikipedia link) |
m (Link and info corrections) Tag: Source edit |
||
(16 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
{{BCS-FACS| |
{{BCS-FACS| |
||
---- |
---- |
||
− | [http://www. |
+ | [http://www.jiscmail.ac.uk/lists/FACS.html Mailing list] |
+ | <br /> |
||
+ | [http://www.linkedin.com/groups?gid=2427579 LinkedIn group] |
||
}} |
}} |
||
+ | {{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 == |
||
⚫ | |||
+ | * Treasurer: [https://www.lboro.ac.uk/departments/compsci/staff/emeriti-visitors/john-cooke/ John Cooke] <!--[[Jawed Siddiqi]]--> |
||
+ | * Secretary: [https://www.linkedin.com/in/roger-carsley-79617811/ Roger Carsley] <!--[[Paul Boca]]--> |
||
+ | == Selected events == |
||
− | * Chair: [[Jawed Siddiqi]] |
||
+ | * ''[https://groups.google.com/group/comp.lang.functional/browse_thread/thread/9d9408b17909c2c5?hl=en&pli=1 Reasoning about Programs using a Scientific Method]'', [http://www.eecs.qmul.ac.uk/~ohearn/ Prof. Peter O'Hearn], {{wp|London Mathematical Society}}, 16 November 2010. See [http://www.lms.ac.uk/activities/comp_sci_com/BCS_FACs_2010_poster.pdf poster]. |
||
⚫ | |||
+ | * ''[http://www.fmeurope.org/?p=388 Embedded Control Software Design with Formal Methods and Engineering Models]'', [http://www.ce.utwente.nl/bnk/ Prof. Jan Broenink], jointly with [[FME]], 13 September 2010. |
||
− | * Secretary: [[Paul Boca]] |
||
+ | * ''Mechanising a Correctness Proof for a Lock-free Concurrent Stack'', [http://staffwww.dcs.shef.ac.uk/people/J.Derrick/ Prof. John Derrick], 21 September 2011 |
||
+ | * ''Reasoned Modelling: Towards Decision Support for System Design'', [http://www.macs.hw.ac.uk/~air/ Prof. Andrew Ireland], {{wp|London Mathematical Society}}, 30 November 2011. |
||
+ | * ''Annual {{wp|Peter Landin}} Lecture'', [http://homepages.cs.ncl.ac.uk/cliff.jones/ Prof. Cliff Jones], 6 December 2011. |
||
+ | * ''[http://www.londoncentral.bcs.org/events/register.php?today=20120216 Subjects are not Objects - Enterprise Modelling using Projective Analysis]'', [http://www.linkedin.com/in/berniecohen Prof. Bernie Cohen], jointly with [http://www.londoncentral.bcs.org/ BCS London Central Branch], 16 February 2012 |
||
+ | See also [http://www.bcs.org/server.php?show=nav.12467 events] including [http://www.bcs.org/server.php?show=nav.12468 forthcoming events]. |
||
⚫ | |||
+ | == Newsletters == |
||
⚫ | |||
+ | * [[: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 2010-1.pdf|Issue 2010-1]], December 2010. |
||
+ | * [[: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 --> |
||
+ | |||
+ | {{ISSN|0950-1231}}. |
||
+ | |||
+ | 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 == |
||
+ | * [[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 == |
||
+ | * [[Formal Methods Europe]] |
||
+ | |||
⚫ | |||
⚫ | |||
* [[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/events/ 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}} |
||
+ | * [http://www.linkedin.com/groups?gid=2427579 BCS-FACS group] on {{wp|LinkedIn}} |
||
− | |||
{{stub}} |
{{stub}} |
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↑