ヨーロッパにおける計算可能性

欧州計算可能性協会（ACiE）は、計算可能性の新たな発展とその現実世界における意義に関心を持つ数学者、論理学者、コンピュータ科学者、哲学者、理論物理学者などからなる国際組織です。ACiEは、計算可能性理論の概念と技術の重要性に対する理解と認識を深め、計算可能性関連のトピックに焦点を当てた学際的な研究者コミュニティの発展を支援することを目指しています。ACiEは応用研究と基礎研究の接点に位置し、計算上の障壁に対する数学的アプローチを優先しています。

ACiEは2003年にComputability in Europe （CiE）と呼ばれる研究ネットワークとして始まり、2005年に会議シリーズとなり、2008年にACiEが設立されました。^{[ 1 ]}

ACiE は 2008 年にギリシャのアテネで設立されました。初代会長 (2008 年～ 2015 年) はS. Barry Cooper氏、現会長はElvira Mayordomo氏、現事務総長はGiuseppe Primiero氏です。^{[ 2 ]} この協会は、特にヨーロッパにおいて、数学、コンピュータ科学、物理学や生物学などのさまざまな自然科学や工学科学への応用を含む、計算可能性に関連する科学の発展を促進しています。これには、計算可能性の問題に関連する計算の哲学と歴史の研究の促進も含まれます。ACiE は、国際科学史哲学連合(IUHPST) の論理、方法論、科学技術哲学部門 (DLMPST) の国際会員です。

この協会は、主要な国際会議シリーズであるComputability in Europe (CiE) から発展したもので、最初の 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:計算可能性とのつながり、ベルギー、ヘント（オンライン）。
• CiE 2022:計算可能性における革命と啓示、スウォンジー、ウェールズ。
• CiE 2023:論理と計算の統一、バトゥミ、ジョージア。

本会議シリーズの運営委員会の現委員長はフロリン・マネア氏であり、前任者はベネディクト・レーヴェ氏（2005年～2013年）とアーノルド・ベックマン氏（2013年～2016年）であった。

ACiEは、 Springerの書籍シリーズ「Theory and Applications of Computability」^{[ 9 ]}とIOS Pressが発行する ジャーナル「Computability」^{[ 10 ]}の編集責任を負っています。