BCS-FACS

BCS-FACS
BCS コンピューティングサイエンスの形式的側面
略語	ファクス
名前の由来	形式手法
形成	1978年3月16日; 46年前
タイプ	専門家グループ
目的	形式手法の活動、特に会議のサポート
本部	BCSロンドンオフィス
位置	ロンドン、イギリス;
サービス提供地域	イギリス
サービス	会議の組織、出版物
方法	形式手法
フィールド	コンピュータサイエンス、ソフトウェアエンジニアリング、形式手法
公用語	英語
椅子	ジョナサン・ボーエン
会計	ジョン・クック
秘書	ロジャー・カースリー
主要人物	ティム・デンバー、ジョード・シディキ
主な臓器	FACS 事実
親組織	BCS、公認IT協会
所属	形式手法ヨーロッパ;; ロンドン数学会
Webサイト	facs.bcs.org より

BCS-FACSは、BCS コンピューティングサイエンスの形式的側面の専門家グループです。

概要

FACSグループは1978年3月16日に発足し、^[1]メンバーやその他の人々を対象に形式手法や関連するコンピュータサイエンスの話題に関する会議を開催しています。Springerが発行する関連ジャーナル「Formal Aspects of Computing」と、より非公式なFACS FACTSニュースレターがあります。^[2]

このグループは1998年にロンドンの王立協会で会合を開き、創立20周年を祝いました。会合では、王立協会会員であるマイク・ゴードン、トニー・ホーア、ロビン・ミルナー、ゴードン・プロトキンの4人の著名なコンピュータ科学者が講演を行いました。

2002年から2008年まで、そして2013年からは再び、ジョナサン・ボーエンがBCS-FACSの議長を務めている。 2008年から2013年までは、ジョード・シディキが議長を務めた。2002年12月、BCS-FACSはロンドン大学ロイヤル・ホロウェイ校でセキュリティの形式的側面に関する会議（FASec'02）^[3]を開催した。^[4] 2004年、FACSはロンドン・サウスバンク大学で、その25周年とCSPの25周年（CSP25）を祝う大規模なイベントを開催し、 ^{[5] CSPの考案者である}トニー・ホーア卿やこの分野の他の人々も出席した。 ^[6]

このグループは、ソフトウェア信頼性センター、ヨーロッパ形式手法、ロンドン数学会コンピュータ委員会、セーフティクリティカルシステムクラブ、Zユーザーグループなどの関連グループと連携しています。また、 Advanced Programming GroupやBCSWomenなどの他のBCS専門家グループとの合同会議も開催しています。

FACSはRefinement Workshopなどの会議を後援し、支援しています。^[7]毎年クリスマスイベントを開催しており、テーマはコンピューティングの形式的側面、たとえば形式手法の教育^[8]や業界における形式手法などです。^[9] BCS-FACSは、BCSロンドンの施設で開催されたABZ 2008カンファレンスを支援しました。^[10] 2015年、FACSは「証明可能正しいシステム」に関する2日間のProCoSワークショップを主催し、 1990年代のESPRIT ProCoS IおよびIIプロジェクトとワーキンググループの元メンバーが多数参加しました。^[11]

夜間セミナー

近年、主にBCSロンドンオフィスで夜間セミナーシリーズが開催されています。講演者には、主に英国出身ですが、海外からも参加した一流のコンピュータ科学者がおり、サムソン・アブラムスキー FRS、ジャン＝レイモンド・アブリアル(フランス/スイス)、ファルハド・アルバブ、トロイ・アスタルテ、ディネス・ビョルナー(デンマーク)、ロビン・ブルームフィールド、リチャード・ボルナット( 2 回) 、エゴン・ボルガー(イタリア)、ジョナサン・ボーエン、ヤン・ブローニンク (オランダ)、マイケル・バトラー、マフィー・カルダー OBE (2 回)、ジャック・コープランド(ニュージーランド)、ティム・デンバー、セドリック・フォーネ (フランス)、マイク・ゴードン FRS、アンソニー・ホール、マーク・ハーマン、マーティン・ヘンソン、ロブ・ヒエロンズ、ジェーン・ヒルストン、マイク・ヒンチー、サー・トニー・ホアFRS、マイク・ホルコム、マイケル・ジャクソン、クリフ・ジョーンズ、マルタ・クウィアトコフスカ( 2 回) 、、ピーター・モーゼス、ベン・モシュコフスキー、ピーター・オハーンFRS、スティーブ・リーブス（ニュージーランド）、ジョン・レイノルズ（米国）、ピーター・ライアン、スティーブ・シュナイダー、ジョー・ストイ、デビッド・ターナー、ジョン・タッカー、フィル・ワドラーなど。2010年には、これらの講演のいくつかに基づいた章をまとめた本が出版されました。^{[13]講演は}、Formal Methods Europeおよびロンドン数学会（ロンドン中心部のLMS本部）と毎年開催されています。2010年以来、毎年12月にイギリスのコンピュータ科学者ピーター・ランディン（1930–2009）を偲んで、年次ピーター・ランディン・セマンティクス・セミナーが開催されています。 ^[14]

FACS FACTSニュースレター

FACS FACTSニュースレター（ISSN 0950-1231）は定期的に発行されており、当初は紙媒体で発行されていましたが、現在はオンラインで発行されています。^[2]編集者はティム・デンバーとブライアン・モナハンです。^[15]

FXリードは過去にもFACS FACTSニュースレターの定期寄稿者だった。例えば、彼はCOMEFROM声明の熱狂的な支持者であり、その意味論の専門家でもある。^[16]どうやら2006年のFXRの死去に関する報道^[17]は真実ではなく、その後も彼の思索はニュースレターで続けられた。

参照

参考文献

^ Cooke, DJ; Simpson, D. (1990 年 4 月)。「FACS at ten」。FACS FACTS : BCS FormalAspects of Computing Science SG のニュースレター。シリーズ II。1 ( 1): 4–6。
^ ab 「FACS FACTSのバックナンバー」BCS-FACS 。 2022年8月3日閲覧。
^ 「FASec'02 会議」。Archive.org。ロンドンサウスバンク大学。2002 年。2007 年 9 月 27 日時点のオリジナルよりアーカイブ。
^ Ali E. Abdallah、Peter Ryan、Steve Schneider（編集者）、Formal Aspects of Security。Springer、Lecture Notes in Computer Science、第2629巻、2003年。ISBN 3-540-20693-0。
^ 「CSP25 カンファレンス」。Archive.org。ロンドンサウスバンク大学。2004 年。2007 年 10 月 8 日時点のオリジナルよりアーカイブ。
^ Ali E. Abdallah、Cliff B. Jones、Jeff W. Sanders（編集者）、Communicating Sequential Processes: The First 25 Years。Springer、Lecture Notes in Computer Science、Volume 3525、2005年。ISBN 3-540-25813-2。
^ John Derrick、Eerke Boiten、Jim Woodcock、Joakim von Wright（編集者）、REFINE 2002：BCS FACS Refinement Workshop。Electronic Notes in Theoretical Computer Science、70（3）。Elsevier Science Publishers、2002年7月。
^ Paul Boca、Jonathan P. Bowen、David A. Duce（編集者）、形式手法の指導：実践と経験、BCSロンドン、英国、2006年12月15日。Electronic Workshops in Computing（eWiC）、BCS、2006年。
^ Paul Boca、Jonathan P. Bowen、Peter Gorm Larsen (編集者)、FACS 2007 クリスマスワークショップ: 業界における形式手法、BCS ロンドン、英国、2007 年 12 月 17 日。Electronic Workshops in Computing (eWiC)、BCS、2007 年。
^ “ABZ 2008 Conference”. 2008年9月. 2008年1月18日時点のオリジナルよりアーカイブ。2017年8月25日閲覧。
^ Hinchey, Michael G. ; Bowen, Jonathan P. ; Olderog, Ernst-Rüdiger編 (2017).証明可能な正しいシステム. NASAシステムおよびソフトウェア工学モノグラフ. Springer . ISBN 978-3319486277。
^ 「Peter Landin Annual Semantics Seminar」。BCS-FACS。ロンドン、英国：BCS。2010年12月6日。2012年3月6日時点のオリジナルよりアーカイブ。
^ Boca, Paul ; Bowen, Jonathan P.; Siddiqi, Jawed, eds. (2010). 形式手法: 最新技術と新たな方向性。ロンドン: Springer-Verlag。Bibcode : 2010fmso.book.....B。doi : 10.1007 / 978-1-84882-736-3。ISBN 978-1-84882-735-6。電子版ISBN 978-1-84882-736-3 .
^ 「BCS FACS Annual Peter Landin Semantics セミナー」BCS-FACS英国コンピュータ協会2012年12 月 4 日閲覧。
^ 「FACS: 委員会と連絡先の詳細」 BCS . 2021年1月25日閲覧。
^ Reid, FX (2006 年 3 月)。「COMEFROM ステートメントの形式意味論について」(PDF) 。FACS FACTS。第 2006–1 号。BCS-FACS。pp. 18–20。2012年11 月 7 日閲覧。
^ Zemantics, Victor (2006年3月). 「訃報: FX Reid」(PDF) . FACS FACTS . No. 2006–1. BCS-FACS. pp. 12–14 . 2012年11月7日閲覧。

外部リンク

BCS-FACS ウェブサイト
代替BCS-FACSウェブサイト
LinkedInの BCS-FACS グループ
旧 BCS-FACS ウェブサイト (2008) Archive.org

[1] Cooke, DJ; Simpson, D. (1990 年 4 月)。「FACS at ten」。FACS FACTS : BCS FormalAspects of Computing Science SG のニュースレター。シリーズ II。1 ( 1): 4–6。

[facs-facts-2] 「FACS FACTSのバックナンバー」BCS-FACS 。 2022年8月3日閲覧。

[3] 「FASec'02 会議」。Archive.org。ロンドンサウスバンク大学。2002 年。2007 年 9 月 27 日時点のオリジナルよりアーカイブ。

[4] Ali E. Abdallah、Peter Ryan、Steve Schneider（編集者）、Formal Aspects of Security。Springer、Lecture Notes in Computer Science、第2629巻、2003年。ISBN 3-540-20693-0。

[5] 「CSP25 カンファレンス」。Archive.org。ロンドンサウスバンク大学。2004 年。2007 年 10 月 8 日時点のオリジナルよりアーカイブ。

[6] Ali E. Abdallah、Cliff B. Jones、Jeff W. Sanders（編集者）、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、Joakim von Wright（編集者）、REFINE 2002：BCS FACS Refinement Workshop。Electronic Notes in Theoretical Computer Science、70（3）。Elsevier Science Publishers、2002年7月。

[8] Paul Boca、Jonathan P. Bowen、David A. Duce（編集者）、形式手法の指導：実践と経験、BCSロンドン、英国、2006年12月15日。Electronic Workshops in Computing（eWiC）、BCS、2006年。

[9] Paul Boca、Jonathan P. Bowen、Peter Gorm Larsen (編集者)、FACS 2007 クリスマスワークショップ: 業界における形式手法、BCS ロンドン、英国、2007 年 12 月 17 日。Electronic Workshops in Computing (eWiC)、BCS、2007 年。

[10] “ABZ 2008 Conference”. 2008年9月. 2008年1月18日時点のオリジナルよりアーカイブ。2017年8月25日閲覧。

[procos-11] Hinchey, Michael G. ; Bowen, Jonathan P. ; Olderog, Ernst-Rüdiger編 (2017).証明可能な正しいシステム. NASAシステムおよびソフトウェア工学モノグラフ. Springer . ISBN 978-3319486277。

[12] 「Peter Landin Annual Semantics Seminar」。BCS-FACS。ロンドン、英国：BCS。2010年12月6日。2012年3月6日時点のオリジナルよりアーカイブ。

[13] ^ Boca, Paul ; Bowen, Jonathan P.; Siddiqi, Jawed, eds. (2010). 形式手法: 最新技術と新たな方向性。ロンドン: Springer-Verlag。Bibcode : 2010fmso.book.....B。doi : 10.1007 / 978-1-84882-736-3。ISBN 978-1-84882-735-6。電子版ISBN 978-1-84882-736-3 .

[14] 「BCS FACS Annual Peter Landin Semantics セミナー」BCS-FACS英国コンピュータ協会2012年12 月 4 日閲覧。

[15] 「FACS: 委員会と連絡先の詳細」 BCS . 2021年1月25日閲覧。

[16] Reid, FX (2006 年 3 月)。「COMEFROM ステートメントの形式意味論について」(PDF) 。FACS FACTS。第 2006–1 号。BCS-FACS。pp. 18–20。2012年11 月 7 日閲覧。

[17] Zemantics, Victor (2006年3月). 「訃報: FX Reid」(PDF) . FACS FACTS . No. 2006–1. BCS-FACS. pp. 12–14 . 2012年11月7日閲覧。