BCS-FACS

Last updated

BCS-FACS
BCS Formal Aspects of Computing Science
AbbreviationFACS
Named after Formal methods
Formation16 March 1978;45 years ago (1978-03-16)
Type Specialist group
PurposeSupport for formal methods activities, especially meetings
Headquarters BCS London office
Location
Region served
United Kingdom
ServicesMeeting organization, publications
Methods Formal methods
Fields Computer science, software engineering, formal methods
Official language
English
Chair
 Jonathan Bowen
Treasurer
John Cooke
Secretary
Roger Carsley
Key people
 Tim Denvir, Jawed Siddiqi
Main organ
 FACS FACTS
Parent organization
 BCS, The Chartered Institute for IT
Affiliations Formal Methods Europe;
London Mathematical Society
Website facs.bcs.org

BCS-FACS is the BCS Formal Aspects of Computing Science Specialist Group.

Contents

Overview

The FACS group, inaugurated on 16 March 1978, [1] organizes meetings for its members and others on formal methods and related computer science topics. There is an associated journal, Formal Aspects of Computing , published by Springer, and a more informal FACS FACTS newsletter. [2]

The group celebrated its 20th anniversary with a meeting at the Royal Society in London in 1998, with presentations by four eminent computer scientists, Mike Gordon, Tony Hoare, Robin Milner and Gordon Plotkin, all Fellows of the Royal Society.

From 2002–2008 and since 2013 again, the Chair of BCS-FACS has been Jonathan Bowen. Jawed Siddiqi was Chair during 2008–2013. In December 2002, BCS-FACS organized a conference on the Formal Aspects of Security (FASec'02) [3] at Royal Holloway, University of London. [4] In 2004, FACS organized a major event at London South Bank University to celebrate its own 25th anniversary and also 25 Years of CSP (CSP25), [5] attended by the originator of CSP, Sir Tony Hoare, and others in the field. [6]

The group liaises with other related groups such as the Centre for Software Reliability, Formal Methods Europe, the London Mathematical Society Computer Committee, the Safety-Critical Systems Club, and the Z User Group. It has held joint meetings with other BCS specialist groups such as the Advanced Programming Group and BCSWomen.

FACS sponsors and supports meetings, such as the Refinement Workshop. [7] It has often held a Christmas event each year, with a theme related to formal aspects of computing — for example, teaching formal methods [8] and formal methods in industry. [9] BCS-FACS supported the ABZ 2008 conference at the BCS London premises. [10] In 2015, FACS hosted a two-day ProCoS Workshop on "Provably Correct Systems", with many former members of the ESPRIT ProCoS I and II projects and Working Group of the 1990s. [11]

Evening seminars

John C. Reynolds (1935-2013), American computer scientist, who delivered the first BCS-FACS Peter Landin Semantics Seminar in 2010. Reynolds John small.jpg
John C. Reynolds (1935–2013), American computer scientist, who delivered the first BCS-FACS Peter Landin Semantics Seminar in 2010.
Joe Stoy speaking on the pioneer computer scientist Christopher Strachey (1916-1975) for his centenary, during a BCS-FACS evening seminar at the BCS London office on 15 November 2016. Joe Stoy.jpg
Joe Stoy speaking on the pioneer computer scientist Christopher Strachey (1916–1975) for his centenary, during a BCS-FACS evening seminar at the BCS London office on 15 November 2016.

In recent years, a series of evening seminars have been held, mainly at the BCS London office. Speakers have included leading computer scientists, mainly from the United Kingdom but some from abroad, including Samson Abramsky FRS , Jean-Raymond Abrial (France/Switzerland), Farhad Arbab, Troy Astarte, Dines Bjørner (Denmark), Robin Bloomfield, Richard Bornat (twice), Egon Börger (Italy), Jonathan Bowen, Jan Broenink (Netherlands), Michael Butler, Muffy Calder OBE (twice), Jack Copeland (New Zealand), Tim Denvir, Cedric Fournet (France), Mike Gordon FRS, Anthony Hall, Mark Harman, Martin Henson, Rob Hierons, Jane Hillston, Mike Hinchey, Sir Tony Hoare FRS, Mike Holcombe, Michael Jackson, Cliff Jones, Marta Kwiatkowska (twice), Zhiming Liu, Tom Maibaum, Ursula Martin CBE, Peter Mosses, Ben Moszkowski, Peter O'Hearn FRS, Steve Reeves (New Zealand), John Reynolds (USA), Peter Ryan, Steve Schneider, Joe Stoy, David Turner, John Tucker, Phil Wadler, among others. In 2010, a book of chapters based on some of these talks was published. [13] Talks have been held annually with Formal Methods Europe and the London Mathematical Society (at the LMS headquarters in central London). Since 2010, there has been an Annual Peter Landin Semantics Seminar held each December in memory of the British computer scientist Peter Landin (1930–2009). [14]

FACS FACTS newsletter

The FACS FACTS newsletter ( ISSN   0950-1231) is published periodically, originally on paper and now online. [2] The editors are Tim Denvir and Brian Monahan. [15]

F. X. Reid has been a regular FACS FACTS newsletter contributor in the past. For example, he has been an enthusiast for the COMEFROM statement and an expert on its semantics. [16] Apparently reports of FXR's death in 2006 [17] were untrue and his musings continued after this time in the newsletter.

See also

Related Research Articles

<span class="mw-page-title-main">Z notation</span> Formal specification language used for describing and modelling computing systems

The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.

<span class="mw-page-title-main">Tony Hoare</span> British computer scientist

Sir Charles Antony Richard Hoare is a British computer scientist who has made foundational contributions to programming languages, algorithms, operating systems, formal verification, and concurrent computing. His work earned him the Turing Award, usually regarded as the highest distinction in computer science, in 1980.

In computer science, formal methods are mathematically rigorous techniques for the specification, development, analysis, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design.

<span class="mw-page-title-main">British Computer Society</span> British professional body in IT

The British Computer Society (BCS), branded BCS, The Chartered Institute for IT, since 2009, is a professional body and a learned society that represents those working in information technology (IT) and computer science, both in the United Kingdom and internationally. Founded in 1957, BCS has played an important role in educating and nurturing IT professionals, computer scientists, computer engineers, upholding the profession, accrediting chartered IT professional status, and creating a global community active in promoting and furthering the field and practice of computing.

<span class="mw-page-title-main">Peter Landin</span> British computer scientist (1930–2009)

Peter John Landin was a British computer scientist. He was one of the first to realise that the lambda calculus could be used to model a programming language, an insight that is essential to the development of both functional programming and denotational semantics.

<span class="mw-page-title-main">Jonathan Bowen</span> British computer scientist

Jonathan P. Bowen FBCS FRSA is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. Prof. Bowen is also the Chairman of Museophile Limited and has been a Professor of Computer Science at Birmingham City University, Visiting Professor at the Pratt Institute, University of Westminster and King's College London, and a visiting academic at University College London.

Clifford "Cliff" B. Jones is a British computer scientist, specializing in research into formal methods. He undertook a late DPhil at the Oxford University Computing Laboratory under Tony Hoare, awarded in 1981. Jones' thesis proposed an extension to Hoare logic for handling concurrent programs, rely/guarantee.

The Z User Group (ZUG) was established in 1992 to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England.

<span class="mw-page-title-main">Michael J. C. Gordon</span> British computer scientist

Michael John Caldwell Gordon FRS was a British computer scientist.

The actor model and process calculi share an interesting history and co-evolution.

<span class="mw-page-title-main">Programming language theory</span> Branch of computer science

Programming language theory (PLT) is a branch of computer science that deals with the design, implementation, analysis, characterization, and classification of formal languages known as programming languages. Programming language theory is closely related to other fields including mathematics, software engineering, and linguistics. There are a number of academic conferences and journals in the area.

Jawed Siddiqi FBCS is a Pakistani British computer scientist and software engineer. He is professor emeritus of software engineering at Sheffield Hallam University, England. He is the president of NCUP National Council of University Professors in the UK.

<span class="mw-page-title-main">Martin Henson (computer scientist)</span> English computer scientist

Professor Martin C. Henson FBCS FRSA is an English computer scientist based at the University of Essex. He is dean for international affairs and is affiliated to the School of Computer Science & Electronic Engineering. Henson was head of the department of computer science from 2000 to 2006.

Steve Reeves is a computer scientist based at the University of Waikato in New Zealand. He is the Associate Dean and the Programme Co-ordinator of Software Engineering. He has undertaken research work on the Z notation, formal methods for GUI design and a general theory of refinement.

Michael ("Mike") William Shields is a British computer scientist.

<span class="mw-page-title-main">Anders P. Ravn</span> Danish computer scientist (1947–2019)

Anders Peter Ravn was a Danish computer scientist.

<span class="mw-page-title-main">Sergiy Vilkomir</span> Ukrainian-born computer scientist (1956–2020)

Sergiy A. Vilkomir was a Ukrainian-born computer scientist.

<span class="mw-page-title-main">Hussein Zedan</span>

Hussein S. M. Zedan was a computer scientist of Egyptian descent, mainly based in the United Kingdom.

Tim Denvir is a British software engineer, specialising in formal methods.

<span class="mw-page-title-main">Ken Robinson (computer scientist)</span> Australian computer scientist (1938–2020)

Kenneth ("Ken") Arthur Robinson was an Australian computer scientist. He has been called "The Father of Formal Methods in Australia".

References

  1. ↑ Cooke, D.J.; Simpson, D. (April 1990). "FACS at ten". FACS FACTS: The Newsletter of the BCS FormalAspects of Computing Science SG. Series II. 1 (1): 4–6.
  2. 1 2 "Back issues of FACS FACTS". BCS-FACS. Retrieved 3 August 2022.
  3. ↑ "FASec'02 conference". Archive.org . London South Bank University. 2002. Archived from the original on 27 September 2007.
  4. ↑ Ali E. Abdallah, Peter Ryan and Steve Schneider (editors), Formal Aspects of Security. Springer, Lecture Notes in Computer Science, Volume 2629, 2003. ISBN   3-540-20693-0.
  5. ↑ "CSP25 conference". Archive.org . London South Bank University. 2004. Archived from the original on 8 October 2007.
  6. ↑ Ali E. Abdallah, Cliff B. Jones and Jeff W. Sanders (editors), Communicating Sequential Processes: The First 25 Years. Springer, Lecture Notes in Computer Science, Volume 3525, 2005. ISBN   3-540-25813-2.
  7. ↑ John Derrick, Eerke Boiten, Jim Woodcock and Joakim von Wright (editors), REFINE 2002: The BCS FACS Refinement Workshop. Electronic Notes in Theoretical Computer Science , 70(3). Elsevier Science Publishers, July 2002.
  8. ↑ Paul Boca, Jonathan P. Bowen, and David A. Duce (editors), Teaching Formal Methods: Practice and Experience, BCS London, UK, 15 December 2006. Electronic Workshops in Computing (eWiC), BCS, 2006.
  9. ↑ Paul Boca, Jonathan P. Bowen, and Peter Gorm Larsen (editors), FACS 2007 Christmas Workshop: Formal Methods in Industry, BCS London, UK, 17 December 2007. Electronic Workshops in Computing (eWiC), BCS, 2007.
  10. ↑ "ABZ 2008 Conference". September 2008. Archived from the original on 18 January 2008. Retrieved 25 August 2017.
  11. ↑ Hinchey, Michael G.; Bowen, Jonathan P.; Olderog, Ernst-Rüdiger, eds. (2017). Provably Correct Systems. NASA Monographs in Systems and Software Engineering. Springer. ISBN   978-3319486277.
  12. ↑ "Peter Landin Annual Semantics Seminar". BCS-FACS. London, UK: BCS. 6 December 2010. Archived from the original on 6 March 2012.
  13. ↑ Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed, eds. (2010). Formal Methods: State of the Art and New Directions. London: Springer-Verlag. Bibcode:2010fmso.book.....B. doi:10.1007/978-1-84882-736-3. ISBN   978-1-84882-735-6. e- ISBN   978-1-84882-736-3.
  14. ↑ "BCS FACS Annual Peter Landin Semantics seminar". BCS-FACS. British Computer Society. 2012. Retrieved 4 December 2012.
  15. ↑ "FACS: Committee and contact details". BCS. Retrieved 25 January 2021.
  16. ↑ Reid, F. X. (March 2006). "On the Formal Semantics of the COMEFROM Statement" (PDF). FACS FACTS. Vol. Issue 2006-1. BCS-FACS. pp. 18–20. Retrieved 7 November 2012.
  17. ↑ Zemantics, Victor (March 2006). "Obituary: F.X. Reid" (PDF). FACS FACTS. Vol. Issue 2006-1. BCS-FACS. pp. 12–14. Retrieved 7 November 2012.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.