Вычислимость в Европе - Computability in Europe

Ассоциация вычислимости в Европе
Вычислимость в Европе logo.jpg
Логотип ассоциации CiE
СокращениеACiE
Формирование2008; 12 лет назад (2008)
ТипМНПО
Президент
Эльвира Майордомо
Интернет сайтВеб-сайт ассоциации Computability in Europe


В Ассоциация вычислимости в Европе (ACiE) является Международная организация математиков, логиков, специалистов по информатике, философов, физиков-теоретиков и других, заинтересованных в новых разработках в области вычислимости и в их значении для реального мира. CiE стремится расширить понимание и осознать важность концепций и методов теории вычислимости, а также поддержать развитие динамичного междисциплинарного сообщества исследователей, сосредоточенных на вопросах, связанных с вычислимостью. ACiE позиционирует себя на стыке прикладных и фундаментальных исследований, отдавая приоритет математическим подходам к вычислительным барьерам.

В Ассоциация вычислимости в Европе возникла как исследовательская сеть под названием Вычислимость в Европе (CiE) в 2003 году, стала серией конференций в 2005 году, а ACiE была создана в 2008 году.[1]

Ассоциация

В Ассоциация вычислимости в Европе была основана в Афины, Греция в 2008 году. Его основатель и президент (с 2008 по 2015) был профессором С. Барри Купер; его нынешний президент Эльвира Майордомо и его нынешний генеральный секретарь Джузеппе Примьеро.[2]Ассоциация способствует развитию, особенно в Европе, науки о вычислимости, охватывающей математику, информатику и приложения в различных естественных и технических науках, таких как физика и биология. Это также включает продвижение изучения философии и истории вычислений в том, что касается вопросов вычислимости. ACiE является международным членом Отдел логики, методологии и философии науки и технологий (DLMPST / IUHPST).

Прошлые и нынешние президенты

ИмяСрок полномочий
Первый президентС. Барри Купер2008-2015
2-й президентДаг Норманн2015-2016
3-й президентПаола Бониццони2016-2020
4-й президентЭльвира Майордомо2020-2022

Действующие члены Совета ассоциации

Действующий член Совета Ассоциации:Марселла Ансельмо,Арнольд Бекманн,Паола Бониццони (Бывший президент),Оливье Борнез,Мерлин Карл,Лисбет Де Мол (Член расширенного исполнительного комитета),Джанлука Делла Ведова,Джоанна Франклин,Лоренцо Галеотти,Даниэль Граса,Яркко Кари,Бенедикт Лёве,Иоганн Маковски,Флорин Манеа (Председатель Руководящего комитета серии конференций),Барнаби Мартин (Член расширенного исполнительного комитета),Эльвира Майордомо (Президент),Даг Норманн (Казначей и бывший президент),Арно Поли,Элисон Пиз,Джузеппе Примьеро (Генеральный секретарь), Мария Соскова (Член расширенного исполнительного комитета), и Мартин Зиглер.[3]

Группы особых интересов

Ассоциация имеет три группы специальных интересов (SIG): Женщины в вычислимости (WiC),Трансфинитные вычисления (TraC) иИстория и философия вычислительной техники (HaPoC).[4] SIGWiC организует семинар Женщины в вычислимости на конференциях CiE с 2007 года; HaPoC также организует две отдельные серии конференций: История и философия вычислительной техники и История и философия программирования.

Премия С. Барри Купера

В память о дальновидности своего президента-основателя Ассоциация учредила Премия С. Барри Купера чествование исследователя, внесшего свой вклад в широкое понимание и фундаментальное исследование вычислимости выдающимися результатами, основополагающим и прочным построением теории, исключительным обслуживанием участвующих исследовательских сообществ или сочетанием всего вышеперечисленного.[5]Первая премия им. С. Барри Купера была присуждена в 2020 г. Бруно Курсель.[6]

Серия конференций

Ассоциация выросла из серии крупных международных конференций. Вычислимость в Европе (CiE); первая конференция CiE прошла в г. Амстердам в июне 2005 г. CiE - это серия междисциплинарных ежегодных конференций, способствующих развитию науки, связанной с вычислимостью, включая математику, информатику и приложения в различных естественных и технических науках, таких как физика и биология. Тематика конференции также включает изучение философии и истории вычислений в том, что касается вопросов вычислимости.[7]

Текущий председатель Руководящего комитета серии конференций: Флорин Манеа; его предшественники были Бенедикт Лёве (2005-2013) и Арнольд Бекманн (2013-2016).

Книжные серии и журнал

ACiE несет редакционную ответственность за Springer цикл книг Теория и приложения вычислимости[8]и журнал Вычислимость опубликовано IOS Press.[9]

Рекомендации

  1. ^ "Бенедикт Лёве, Барри Купер (1943–2015): двигатель вычислимости в Европе, Вычислимость 5 (1): 3-11 (2016) ». Получено 19 июля 2019.
  2. ^ "@AssociationCiE Tweet: @AssociationCiE AGM 2020 избирает Эльвиру Майордомо следующим президентом ассоциации (2020-2022)". 2 июля 2020. Получено 3 июля 2020.
  3. ^ "Сайт ассоциации CiE: Управление". Получено 19 июля 2019."Твит @AssociationCiE о выборах в Совет 2019". Получено 19 июля 2019."Твит @AssociationCiE о выборах в Совет 2020". 2 июля 2020. Получено 3 июля 2020.
  4. ^ "Сайт ассоциации CiE: Группы по интересам". Получено 19 июля 2019.
  5. ^ "Сайт ассоциации CiE: Премия С. Барри Купера". Получено 19 июля 2019.
  6. ^ «Веб-сайт ассоциации CiE: Премия С. Барри Купера 2020 года присуждена Бруно Курселю». Получено 8 июн 2020.
  7. ^ «Сайт ассоциации CiE: Серия конференций CiE». Получено 19 июля 2019.
  8. ^ "Springer Verlag Сайт серии книг". Получено 1 июля 2016.
  9. ^ "Сайт журнала Вычислимость". Получено 1 июля 2016.