Formal Methods Wiki
Don't have an account?
Register
Register
in: Article stubs, BCS-FACS, Organizations, Pages using ISBN magic links

Changes: BCS-FACS

Back to page
Edit
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.bcs-facs.org/events/ Events]
 +
[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 [http://www.bcs-facs.org/events/ events] concerned with [[formal methods]] in the {{wp|United Kingdom}}, especially at the BCS offices in {{wp|London}}.
 +
'''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: [[Jonathan Bowen]]
  +
* 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].
⚫
* Treasurer: [[Jonathan Bowen]]
  
  +
* ''[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].
⚫
== External links ==
  
   
  +
== Newsletters ==
⚫
* [http://www.bcs-facs.org/ BCS-FACS website]
  
  +
* [[:File:BCS-FACS Newsletter Issue 2009-1.pdf|Issue 2009-1]], July 2009.
⚫
* [http://www.bcs-facs.org/events/ BCS-FACS events]
  
  +
* [[: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]]
  +
  ⚫
== External links ==
  ⚫
* [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/events/ 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}}
  +
* [http://www.linkedin.com/groups?gid=2427579 BCS-FACS group] on {{wp|LinkedIn}}
−  
   
 
{{stub}}
  
{{stub}}

Latest revision as of 23:19, 11 March 2021

FACS sml logo

BCS-FACS

Wikipedia-word1 7

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[]

Selected events[]

See also events including forthcoming events.

Newsletters[]

ISSN 0950-1231 .

See also newsletter information including past newsletters.

Books[]

See also[]

External links[]

Community content is available under CC-BY-SA unless otherwise noted.