BCS-FACS

BCS-FACS
BCS-FASS는 영국 컴퓨터 협회의 전문가 그룹이다.

BCS-FASS는 BCS 컴퓨팅 과학 전문가 그룹의 공식 측면이다.

개요

1978년 3월 16일에 취임한 FASS 그룹은 회원 등을 대상으로 형식적인 방법과 관련된 컴퓨터 과학 주제에 관한 회의를 조직하고 있다.[1]스프링거가 발행한 관련 저널인 컴퓨팅의 공식 측면과 보다 비공식적인 FASS 팩트 뉴스레터가 있다.[2]

이 그룹은 1998년 런던 왕립 학회에서 회의를 갖고 창립 20주년을 기념했으며, 모든 왕립 학회의 동료들인 마이크 고든, 토니 호어, 로빈 밀너, 고든 플롯킨 등 4명의 저명한 컴퓨터 과학자들의 발표와 함께 창립 20주년을 기념했다.

2002-2008년 그리고 2013년 이후로 BCS-FACS의 의장은 조나단 보웬이었다.Jawed Siddiki는 2008-2013년에 의장직을 맡았다.2002년 12월, BCS-FASS는 런던 대학교의 Royal Hollay에서 보안의 공식 측면에 관한 회의를 개최하였다.[3][4]2004년, FASS는 런던 사우스 뱅크 대학교에서 CSP의 창설자 토니 호어 경 등이 참석한 가운데,[5] 자체 25주년과 더불어 25년 CSP(CSP25)를 기념하기 위한 주요 행사를 조직하였다.[6]

이 그룹은 소프트웨어 신뢰도 센터, 형식 방법 유럽, 런던 수학 협회 컴퓨터 위원회, 안전 중요 시스템 클럽 및 Z 사용자 그룹과 같은 다른 관련 그룹과 연락한다.고급 프로그래밍 그룹, BCSWomen 등 다른 BCS 전문가 그룹과 합동 회의를 개최해 왔다.

FASS는 정교화 워크숍과 같은 미팅을 후원하고 지원한다.[7]그것은 매년 종종 크리스마스 행사를 열어, 예를 들어, 산업에서 형식적인 방법과 형식적인 방법을[8] 가르치는 것과 같은 컴퓨팅의 형식적인 측면과 관련된 주제를 가지고 있다.[9]BCS-FACS는 BCS 런던 부지에서 ABZ 2008 회의를 지지했다.[10]2015년, FASS는 전 ESPRIT ProCoS I 및 II 프로젝트 및 1990년대 워킹 그룹의 많은 회원들이 참석한 가운데 '가능하게 올바른 시스템'에 대한 ProCoS 워크숍을 이틀 동안 개최했다.[11]

저녁 세미나

2010년 제1회 BCS-FASS 피터 랜딘 세만틱스 세미나를 진행한 미국의 컴퓨터 과학자 존 C. 레이놀즈(1935~2013년)가 대표적이다.[12]
Joe Stoy는 2016년 11월 15일 BCS London 사무실에서 열린 BCS-FASS 저녁 세미나에서 컴퓨터 과학자의 선구자 크리스토퍼 스트레이치(1916–1975)에 대해 100주년 기념 연설을 했다.

최근에는 BCS 런던 사무소를 중심으로 저녁 세미나가 잇따라 열리고 있다.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, B모스코프스키, 피터 오힌 FRS, 스티브 리브스(뉴질랜드), 존 레이놀즈(미국), 피터 라이언, 스티브 슈나이더, 조 스토이, 데이비드 터너, 존 터커, 필 와들러 등이 그 중 한 명이다.2010년에는 이러한 회담의 일부를 바탕으로 한 장부가 발간되었다.[13]형식 방법 유럽 및 런던 수학 협회(런던 중심부의 LMS 본부에서)와 매년 회담이 개최되어 왔다.2010년부터 영국의 컴퓨터 과학자 피터 랜딘(1930~2009)을 기리기 위해 매년 12월 피터 랜딘 세만틱스 세미나가 개최되고 있다.[14]

FCS 팩트 뉴스레터

FCS Factions 뉴스레터(ACS Factions 뉴스레터) ISSN0950-1231)은 정기적으로 발행되며, 원래 문서로 발행되어 현재 온라인이다.[2]편집자들은 팀 덴비르와 브라이언 모나한이다.[15]

F. X. 리드는 과거에 정기적으로 FCS Factions 뉴스레터 기고자였다.예를 들어, 그는 COMEFROM 성명에 열광하고 의미론 전문가였다.[16]분명히 2006년[17] FXR의 사망에 대한 보도는 사실이 아니며 그의 생각은 이 시간 이후에도 뉴스레터에서 계속되었다.

참고 항목

참조

  1. ^ Cooke, D.J.; Simpson, D. (April 1990). "FACS at ten". FACS FACS: The Newsletter of the BCS FormalAspects of Computing Science SG. Series II. 1 (1): 4–6.
  2. ^ a b "Back issues of FACS FACTS". BCS-FACS. Retrieved 7 November 2012.
  3. ^ "FASec'02 conference". Archive.org. London South Bank University. 2002. Archived from the original on 2007-09-27.
  4. ^ 알리 압달라, 피터 라이언, 스티브 슈나이더(편집자), 공식적인 보안 측면.Springer, Streaming Note in Computer Science.ISBN 3-540-20693-0.
  5. ^ "CSP25 conference". Archive.org. London South Bank University. 2004. Archived from the original on 2007-10-08.
  6. ^ 알리 압달라, 클리프 B Jones와 Jeff W. Sanders(편집자), 커뮤니케이션 순차 프로세스: 첫 25년.2005년 제3525권, 컴퓨터 과학의 스프링거, 강의 노트ISBN 3-540-25813-2.
  7. ^ John Derrick, Eerke Boiten, Jim Woodcock 및 Joakim von Wright(편집자), 2002: BCS FASS 정비 워크샵.Electronic Computer Science의 전자 노트, 70(3)2002년 7월 엘시어 사이언스 퍼블리셔스.
  8. ^ 폴 보카, 조나단 P.보웬, 그리고 데이비드 A.Duce (편집자), Teaching Formal Methods: Practice and Experience, BCS London, 영국, 2006년 12월 15일.2006년 컴퓨터 전자 워크샵(eWiC), BCS.
  9. ^ 폴 보카, 조나단 P.Bowen, and Peter Gorm Larsen (편집자), FASS 2007 크리스마스 워크샵: 영국 BCS London, Industry에서의 공식적인 방법 2007년 12월 17일.컴퓨팅 분야의 전자 워크샵(eWiC), BCS, 2007.
  10. ^ "ABZ 2008 Conference". September 2008. Archived from the original on 2008-01-18. 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 2012-03-06.
  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.

외부 링크