Вычислимость в Европе - Computability in Europe
 Логотип ассоциации CiE
| |
| Сокращенное название | ACiE |
|---|---|
| Формирование | 2008 |
| Тип | МНПО |
Президент |
Эльвира Майордомо |
| Веб-сайт | Веб-сайт ассоциации Computability in Europe |
Ассоциация Computability в Европе ( Аси ) является международной организацией , математиков, логиков, компьютерных ученых, философов, физиков - теоретиков и других , заинтересованных в новых разработках в вычислимости и лежащих в их основе значения для реального мира. CiE стремится расширить понимание и понимание важности концепций и методов теории вычислимости , а также поддержать развитие динамичного междисциплинарного сообщества исследователей, сосредоточенных на вопросах, связанных с вычислимостью. ACiE позиционирует себя на стыке прикладных и фундаментальных исследований, отдавая приоритет математическим подходам к вычислительным барьерам.
Ассоциация Computability в Европе возникла как исследовательская сеть под названием Computability в Европе (CIE) в 2003 году, стал ряд конференций в 2005 году, и Аси была образована в 2008 году.
Ассоциация
Ассоциация Computability в Европе была основана в Афинах , Греция в 2008 году ее президента учредительного (2008 до 2015) был профессор С. Барри Купером ; ее нынешний президент - Эльвира Майордомо, а нынешний генеральный секретарь - Джузеппе Примьеро . Ассоциация способствует развитию, особенно в Европе, науки, связанной с вычислимостью, включая математику, информатику и приложения в различных естественных и технических науках, таких как физика и биология. Это также включает продвижение изучения философии и истории вычислений в том, что касается вопросов вычислимости. ACiE является международным членом Отдела логики, методологии и философии науки и техники Международного союза истории и философии науки (DLMPST / IUHPST).
Прошлые и нынешние президенты
| Имя | Срок полномочий | |
|---|---|---|
| Первый президент | С. Барри Купер | 2008–2015 гг. |
| 2-й президент | Даг Норманн | 2015–2016 гг. |
| 3-й президент | Паола Бониццони | 2016–2020 гг. |
| 4-й президент | Эльвира Майордомо | 2020–2022 гг. |
Действующие члены Совета ассоциации
Действующими членами Совета Ассоциации являются Марселла Ансельмо , Арнольд Бекманн , Паола Бониццони (бывший президент), Оливье Борнез , Мерлин Карл , Лисбет Де Мол (член исполнительного комитета по широкому кругу лиц ), Джанлука Делла Ведова , Джоанна Франклин , Лоренцо. Галеотти , Даниэль Граса , Яркко Кари , Бенедикт Лёве , Иоганн Маковски , Флорин Манеа (председатель Руководящего комитета серии конференций), Барнаби Мартин (член-член исполнительного комитета), Эльвира Майордомо (президент), Даг Норманн (казначей и бывший член Совета директоров) Президент), Арно Поли , Элисон Пиз , Джузеппе Примьеро (генеральный секретарь), Мария Соскова (член расширенного исполнительного комитета) и Мартин Циглер .
Группы с особыми интересами
Ассоциация имеет три группы специальных интересов (SIG): женщины в области вычислимости (WiC), трансфинитных вычислений (TraC) и истории и философии вычислений (HaPoC). SIGWiC организует семинар « Женщины в вычислимости» на конференциях CiE с 2007 года; HaPoC также организует две отдельные серии конференций: История и философия вычислений и История и Философия программирования .
Премия С. Барри Купера
В память о дальновидности своего президента-основателя ассоциация учредила Премию С. Барри Купера в честь исследователя, внесшего свой вклад в широкое понимание и фундаментальное исследование вычислимости выдающимися результатами, основополагающим и прочным построением теории, исключительным заслугой перед обществом. участвующие исследовательские сообщества или их комбинация. Первая премия им. С. Барри Купера была присуждена в 2020 году Бруно Курселю .
Серия конференций
Ассоциация выросла из серии крупных международных конференций Computability in Europe (CiE); первая конференция CiE была проведена в Амстердаме в июне 2005 года. CiE - это серия междисциплинарных ежегодных конференций, способствующих развитию науки, связанной с вычислимостью, включая математику, информатику и приложения в различных естественных и технических науках, таких как физика и биология. Тематика конференции также включает изучение философии и истории вычислений в том, что касается вопросов вычислимости.
- CiE 2005: Новые вычислительные парадигмы , Амстердам , Нидерланды
- CiE 2006: Логические подходы к вычислительным барьерам , Суонси , Уэльс
- CiE 2007: Вычисления и логика в реальном мире , Сиена , Италия
- CiE 2008: Логика и теория алгоритмов , Афины , Греция
- CiE 2009: Математическая теория и вычислительная практика , Гейдельберг , Германия
- CiE 2010: Программы, доказательства, процессы , Понта-Делгада ( Азорские острова ), Португалия
- CiE 2011: Модели вычислений в контексте , София , Болгария
- CiE 2012: How the World Computes , Кембридж , Англия
- CiE 2013: Природа вычислений: логика, алгоритмы, приложения , Милан , Италия
- CiE 2014: Language, Life, Limits , Будапешт , Венгрия
- CiE 2015: Evolving Computability , Бухарест , Румыния
- CiE 2016: Pursuit of the Universal , Париж , Франция
- CiE 2017: раскрытие динамики и сложности , Турку , Финляндия
- CiE 2018: Парусные маршруты в мире вычислений , Киль , Германия
- CiE 2019: Computing with Foresight and Industry , Дарем , Англия .
- CiE 2020: Beyond the Horizon of Computability , Салерно , Италия (проводится как полностью онлайн-конференция).
- CiE 2021: Connecting with Computability , Гент , Бельгия (онлайн).
Текущий председатель Руководящего комитета серии конференций - Флорин Манеа ; его предшественниками были Бенедикт Лёве (2005–2013) и Арнольд Бекманн (2013–2016).
Книжные серии и журнал
ACiE является редактором серии книг Springer « Теория и приложения вычислимости» и журнала « Вычислимость», издаваемого IOS Press .