ヨーロッパにおける計算可能性
協会Cieロゴ | |
| 略語 | ACie |
|---|---|
| 形成 | 2008 |
| タイプ | インゴ |
社長 | エルビラ・マヨルドモ |
| Webサイト | www.acie.eu |
欧州計算可能性協会(ACiE)は、数学者、論理学者、コンピュータ科学者、哲学者、理論物理学者など、計算可能性の新たな発展とその現実世界における根底にある意義に関心を持つ人々で構成される国際組織です。ACiEは、計算可能性理論の概念と手法の重要性に対する理解と認識を深め、計算可能性関連のトピックに焦点を当てた学際的な研究者コミュニティの発展を支援することを目的としています。ACiEは、応用研究と基礎研究の接点に位置し、計算上の障壁に対する数学的アプローチを重視しています。
ACiEは2003年にComputability in Europe (CiE)と呼ばれる研究ネットワークとして始まり、2005年に会議シリーズとなり、2008年にACiEが設立されました。[ 1 ]
協会
ACiEは2008年にギリシャのアテネで設立されました。初代会長(2008年から2015年)はS・バリー・クーパー氏、現会長はエルビラ・マヨルドーモ氏、現事務局長はジュゼッペ・プリミエロ氏です。[ 2 ] この協会は、特にヨーロッパにおいて、数学、コンピュータサイエンス、物理学や生物学などの様々な自然科学と工学科学への応用にわたる計算可能性関連科学の発展を促進しています。これには、計算可能性の問題に関連するコンピューティングの哲学と歴史の研究の促進も含まれます。ACiEは、国際科学史哲学連合(DLMPST/IUHPST)の科学技術の論理、方法論、哲学部門の国際会員です。
歴代大統領と現大統領
| 名前 | 任期 | |
|---|---|---|
| 初代大統領 | S. バリー・クーパー | 2008~2015年 |
| 第2代大統領 | ダグ・ノーマン | 2015~2016年 |
| 第3代大統領 | パオラ・ボニゾーニ | 2016~2020年 |
| 第4代大統領 | エルビラ・マヨルドモ | 2020~2026年 |
協会評議会のメンバー
| 名前 | 役割 | 任期 |
|---|---|---|
| マルセラ・アンセルモ | 会計、評議員 | 2021~2027年 |
| アーノルド・ベックマン | 評議員 | 2017年~2025年 |
| パオラ・ボニゾーニ | 評議員 | 2020~2028年 |
| マーリン・カール | 評議員 | 2018年~2026年 |
| リースベス・デ・モル | EC一般会員、評議員 | 2017年~2025年 |
| ジャンルカ・デッラ・ヴェドヴァ | 評議員 | 2018年~2026年 |
| ジョアンナ・フランクリン | 評議員 | 2019年~2027年 |
| エカテリーナ・フォキナ | 評議員 | 2022~2026年 |
| ロレンツォ・ガレオッティ | 評議員 | 2020~2024年 |
| ダニエル・グラサ | 評議員 | 2017年~2025年 |
| ヤルッコ・カリ | 評議員 | 2018年~2026年 |
| サンドラ・キーファー | 評議員 | 2022~2026年 |
| ベネディクト・レーヴェ | 評議員 | 2017年~2025年 |
| ヤノス・マコウスキー | 評議員 | 2016年~2024年 |
| フロリン・マネア | CS運営委員会委員長、評議会メンバー | 2016年~2024年 |
| バーナビー・マーティン | 事務総長、評議員、元EC一般会員 | 2017年~2025年 |
| エルビラ・マヨルドモ | 社長 | 2018年~2026年 |
| ダグ・ノーマン | 評議員、元会長、会計 | 2016年~2024年 |
| アルノ・パウリー | 一般会員、評議員 | 2019年~2027年 |
| オルガ・ペトロフスカ | 会員事務局長、評議員 | 2023~2027年 |
| ジュゼッペ・プリミエロ | 評議員、元事務総長 | 2016年~2024年 |
| ポール・シェーファー | 評議員 | 2023~2027年 |
| マリヤ・ソスコワ | 評議員、EC 一般会員 | 2017年~2025年 |
| マーティン・ツィーグラー | 評議員 | 2016年~2024年 |
協会評議会の元メンバーは、 アリソン・ピーズとオリヴィエ・ブルネズ(元会員事務局長)です。[ 4 ]
特別利益団体
協会には3つの特別興味グループ(SIG)があります。Women in Computability(WiC)、 Transfinite Computations(TraC)、 History and Philosophy of Computing(HaPoC)です。[ 5 ] SIGWiCは2007年からCiEカンファレンスでWomen in Computabilityワークショップを開催しています。HaPoCはまた、 History and Philosophy of ComputingとHistory and Philosophy of Programmingという2つの独立したカンファレンスシリーズも開催しています。
S.バリー・クーパー賞
創設会長の先見の明のある取り組みを記念して、協会はS.バリー・クーパー賞を設立しました。この賞は、優れた成果、独創的で永続的な理論構築、関連する研究コミュニティへの並外れた貢献、またはこれらの組み合わせによって、計算可能性の幅広い理解と基礎研究に貢献した研究者を表彰するものです。[ 6 ]第1回S.バリー・クーパー賞は2020年にブルーノ・クールセル に授与されました。[ 7 ]
カンファレンスシリーズ
この協会は、主要な国際会議シリーズであるComputability in Europe (CiE) から発展しました。第1回CiE会議は2005年6月にアムステルダムで開催されました。CiEは、数学、コンピュータサイエンス、そして物理学や生物学といった様々な自然科学や工学科学への応用など、計算可能性関連科学の発展を促進する学際的な年次会議シリーズです。会議の範囲には、計算可能性に関する問題に関連するコンピューティングの哲学と歴史の研究も含まれます。[ 8 ]
- CiE 2005:新しい計算パラダイム、アムステルダム、オランダ
- CiE 2006:計算障壁への論理的アプローチ、スウォンジー、ウェールズ
- CiE 2007:現実世界における計算と論理、シエナ、イタリア
- CiE 2008:論理とアルゴリズムの理論、アテネ、ギリシャ
- CiE 2009:数学理論と計算実践、ハイデルベルク、ドイツ
- CiE 2010:プログラム、証明、プロセス、ポンタ デルガダ(アゾレス諸島)、ポルトガル
- CiE 2011:コンテキストにおける計算モデル、ブルガリア、ソフィア
- CiE 2012:世界はどのようにコンピューティングするか、ケンブリッジ、イギリス
- CiE 2013:計算の性質:論理、アルゴリズム、アプリケーション、ミラノ、イタリア
- CiE 2014:言語、人生、限界、ブダペスト、ハンガリー
- CiE 2015:進化する計算可能性、ブカレスト、ルーマニア
- CiE 2016:普遍性の追求、パリ、フランス
- CiE 2017:ダイナミクスと複雑性の解明、フィンランド、トゥルク
- CiE 2018:コンピューティングの世界における航路、キール、ドイツ
- CiE 2019:先見性と産業を備えたコンピューティング、イギリス、ダラム。
- CiE 2020:計算可能性の地平線を超えて、イタリア、サレルノ(完全オンライン会議として開催)。
- CiE 2021: Connecting with Computability、ベルギー、ゲント(オンライン)。
- CiE 2022:計算可能性における革命と啓示、スウォンジー、ウェールズ。
- CiE 2023:論理と計算の統一、ジョージア、バトゥミ。
会議シリーズの運営委員会の現在の委員長はFlorin Manea氏です。前任者はBenedikt Löwe 氏(2005~2013 年) とArnold Beckmann 氏(2013~2016 年) です。
書籍シリーズとジャーナル
ACiEは、 Springer社の書籍シリーズ「Theory and Applications of Computability」[ 9 ]とIOS Press社が発行する 雑誌「Computability」[ 10 ]の編集責任を負っています。
参考文献
- ^ Löwe, Benedikt (2016年1月). 「Benedikt Löwe, Barry Cooper (1943–2015): The engine of Computability in Europe , Computability 5(1):3-11 (2016)」 . Computability . 5 (1): 3– 11. doi : 10.3233/COM-160052 .
- ^ 「@AssociationCiE ツイート: @AssociationCiE AGM 2020 は、エルビラ・マヨルドーモ氏を次期協会会長(2020~2022年)に選出」。2020年7月2日。 2020年7月3日閲覧。
- ^ 「Association CiE Website: Governance」 2016年9月. 2024年3月28日閲覧。
- ^ 「Association CiE Website: Governance」 2016年9月. 2019年7月19日閲覧。「2019年評議会選挙に関する@AssociationCiEのツイート」 。 2019年7月19日閲覧。「2020年評議会選挙に関する@AssociationCiEのツイート」。2020年7月2日。 2020年7月3日閲覧。
- ^ 「Association CiE website: Special Interest Groups」 2016年8月11日. 2019年7月19日閲覧。
- ^ 「Association CiE website: S. Barry Cooper Prize」 . 2019年7月18日. 2019年7月19日閲覧。
- ^ 「Association CiE website: 2020 S. Barry Cooper Prize award to Bruno Courcelle」 2020年6月3日. 2020年6月8日閲覧。
- ^ 「CiE協会ウェブサイト:CiEカンファレンスシリーズ」 2016年8月8日。 2019年7月19日閲覧。
- ^ 「Springer Verlag 書籍シリーズのウェブサイト」2016年7月1日閲覧。
- ^ 「 Computabilityジャーナルのウェブサイト」 。 2016年7月1日閲覧。