BCS-FACS
BCS 計算科学の形式的側面 | |
 | |
| 略語 | ファックス |
|---|---|
| 名前の由来 | 形式手法 |
| 形成 | 1978年3月16日 （1978年3月16日） |
| タイプ | 専門家グループ |
| 目的 | 形式手法の活動、特に会議のサポート |
| 本部 | 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はロンドン・サウスバンク大学で、 FACSの25周年とCSP25周年を祝う大規模なイベントを開催しました。 [ 5 ]このイベントには、CSPの創始者であるトニー・ホーア卿をはじめとする関係者が出席しました。[ 6 ]
このグループは、ソフトウェア信頼性センター、ヨーロッパ形式手法協会、ロンドン数学会コンピュータ委員会、セーフティクリティカルシステムクラブ、Zユーザーグループなどの関連グループと連携しています。また、アドバンストプログラミンググループや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 回) 、講演者には、マーティンCBE、ピーター・モーゼス、ベン・モシュコフスキー、ピーター・オハーン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 .
- ^ a b「FACS FACTSのバックナンバー」 BCS-FACS . 2022年8月3日閲覧。
- ^ "FASec'02 conference" . Archive.org .ロンドン・サウスバンク大学. 2002年. 2007年9月27日時点のオリジナルよりアーカイブ。
- ^ Ali E. Abdallah、Peter Ryan、Steve Schneider（編）、『セキュリティの形式的側面』、 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: The 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). Provably Correct Systems . NASA Monographs in Systems and Software Engineering. Springer . ISBN 978-3319486277。
- ^ "Peter Landin Annual Semantics Seminar" . BCS-FACS . ロンドン、英国: BCS. 2010年12月6日. 2012年3月6日時点のオリジナルよりアーカイブ。
- ^ポール・ボカ、ジョナサン・P・ボウエン、ジョード・シディキ編 (2010). 『形式手法：最新技術と新たな方向性』 ロンドン:シュプリンガー・フェアラーク. 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 seminar」 BCS -FACS英国コンピュータ協会2012年。 2012年12月4日閲覧。
- ^ 「FACS：委員会と連絡先」 BCS . 2021年1月25日閲覧。
- ^ Reid, FX (2006年3月). 「COMEFROM文の形式意味論について」(PDF) . FACS FACTS . No. 2006– 1. BCS-FACS. pp. 18– 20. 2012年11月7日閲覧。
- ^ Zemantics, Victor (2006年3月). 「訃報：FXリード」(PDF) . FACS FACTS . No. 2006– 1. BCS-FACS. pp. 12– 14. 2012年11月7日閲覧。
外部リンク
