Вычислимость в Европе
 Логотип Ассоциации CiE | |
| Аббревиатура | ACiE |
|---|---|
| Формирование | 2008 год |
| Тип | ИНГО |
Президент | Эльвира Майордомо |
| Веб-сайт | Веб-сайт Ассоциации «Вычислимость в Европе» |
Ассоциация вычислимости в Европе ( ACiE ) — это международная организация математиков, логиков, ученых-компьютерщиков, философов, физиков-теоретиков и других людей, интересующихся новыми разработками в области вычислимости и их основным значением для реального мира. Целью CiE является расширение понимания и понимания важности концепций и методов теории вычислимости , а также поддержка развития активного междисциплинарного сообщества исследователей, занимающихся темами, связанными с вычислимостью. ACiE позиционирует себя на стыке прикладных и фундаментальных исследований, отдавая приоритет математическим подходам к вычислительным барьерам.
Ассоциация «Вычислимость в Европе» возникла как исследовательская сеть под названием «Вычислимость в Европе » (CiE) в 2003 году, превратилась в серию конференций в 2005 году, а ACiE была создана в 2008 году. [1]
Ассоциация [ править ]
Ассоциация вычислимости в Европе была основана в Афинах , Греция, в 2008 году. Ее президентом-основателем (с 2008 по 2015 год) был профессор С. Барри Купер ; его нынешний президент - Эльвира Майордомо , а нынешний генеральный секретарь - Джузеппе Примьеро . [2] Ассоциация содействует развитию, особенно в Европе, наук, связанных с вычислимостью, включая математику, информатику и приложения в различных естественных и технических науках, таких как физика и биология. Это также включает в себя содействие изучению философии и истории вычислений, связанных с вопросами вычислимости. ACiE является международным членом Отдела логики, методологии и философии науки и техники Международного союза истории и философии науки (DLMPST/IUHPST).
Бывшие и нынешние президенты [ править ]
| Имя | Срок полномочий | |
|---|---|---|
| 1-й президент | С. Барри Купер | 2008–2015 |
| 2-й президент | Дэй Норман | 2015–2016 |
| 3-й президент | Паола Бониццони | 2016–2020 |
| 4-й президент | Эльвира Майордомо | 2020–2026 |
Члены Совета Ассоциации [ править ]
| Имя | Роль | Срок полномочий |
|---|---|---|
| Марселла Ансельмо | Казначей, член совета | 2021 – 2027 |
| Арнольд Бекманн | Член Совета | 2017 – 2025 |
| Паола Бониццони | Член Совета | 2020 – 2028 |
| Мерлин Карл | Член Совета | 2018 – 2026 |
| Лисбет Де Моль | Член ИК по особым поручениям, член Совета | 2017 – 2025 |
| Джанлука Делла Ведова | Член Совета | 2018 – 2026 |
| Джоанна Франклин | Член Совета | 2019 – 2027 |
| Ekaterina Fokina | Член Совета | 2022 – 2026 |
| Лоренцо Галеотти | Член Совета | 2020 – 2024 |
| Даниэль Граса | Член Совета | 2017 – 2025 |
| Яркко Кари | Член Совета | 2018 – 2026 |
| Сандра Кифер | Член Совета | 2022 – 2026 |
| Бенедикт Лион | Член Совета | 2017 – 2025 |
| Янош Маковски | Член Совета | 2016 – 2024 |
| Флорин Манеа | Председатель Руководящего комитета КС, член Совета | 2016 – 2024 |
| Барнаби Мартин | Генеральный секретарь, член Совета, бывший член ИК по особым поручениям | 2017 – 2025 |
| Эльвира Майордомо | Президент | 2018 – 2026 |
| Дэй Норман | Член Совета, бывший президент и казначей | 2016 – 2024 |
| Арно Паули | Член по особым поручениям, член Совета | 2019 – 2027 |
| Ольга Петровская | Секретарь членства, член Совета | 2023 – 2027 |
| Джузеппе Примьеро | Член Совета, бывший генеральный секретарь | 2016 – 2024 |
| Пол Шафер | Член Совета | 2023 – 2027 |
| Mariya Soskova | Член Совета, член ИК по особым поручениям | 2017 – 2025 |
| Мартин Зиглер | Член Совета | 2016 – 2024 |
Бывшими членами Совета Ассоциации являются: Элисон Пиз и Оливье Бурне (бывший секретарь по членству). [4]
Группы интересам по особым
В Ассоциации есть три группы специальных интересов (SIG): Женщины в вычислимости (WiC), Трансфинитные вычисления (TraC) и История и философия вычислений (HaPoC). [5] SIGWiC организует семинар «Женщины в вычислительности» на конференциях CiE с 2007 года;HaPoC также организует две отдельные серии конференций: «История и философия вычислений» и «История и философия программирования» .
С. Купера Премия Барри
В память о дальновидной деятельности своего президента-основателя ассоциация учредила Премию С. Барри Купера в честь исследователя, который внес вклад в широкое понимание и фундаментальное изучение вычислимости благодаря выдающимся результатам, плодотворному и прочному построению теории, исключительным служению вовлеченными исследовательскими сообществами или их комбинацией. [6] Первая премия С. Барри Купера была вручена в 2020 году Бруно Курселю . [7]
Серия конференций [ править ]
Ассоциация выросла из серии крупных международных конференций «Вычислимость в Европе» (CiE);первая конференция CiE была проведена в Амстердаме в июне 2005 года. CiE - это серия междисциплинарных ежегодных конференций, способствующих развитию науки, связанной с вычислимостью, включая математику, информатику и приложения в различных естественных и инженерных науках, таких как физика и биология. В программу конференции также входит изучение философии и истории вычислений, связанных с вопросами вычислимости. [8]
- CiE 2005: Новые вычислительные парадигмы , Амстердам , Нидерланды.
- CiE 2006: Логические подходы к вычислительным барьерам , Суонси , Уэльс.
- CiE 2007: Вычисления и логика в реальном мире , Сиена , Италия
- CiE 2008: Логика и теория алгоритмов , Афины , Греция
- CiE 2009: Математическая теория и вычислительная практика , Гейдельберг , Германия
- CiE 2010: Программы, доказательства, процессы , Понта-Делгада ( Азорские острова ), Португалия
- CiE 2011: Модели вычислений в контексте , София , Болгария
- CiE 2012: How the World Computes , Кембридж , Англия
- CiE 2013: Природа вычислений: логика, алгоритмы, приложения , Милан , Италия
- CiE 2014: Язык, жизнь, ограничения , Будапешт , Венгрия
- CiE 2015: Развитие вычислительности , Бухарест , Румыния
- CiE 2016: В погоне за универсальным , Париж , Франция
- CiE 2017: Раскрытие динамики и сложности , Турку , Финляндия
- CiE 2018: Парусные маршруты в мире вычислений , Киль , Германия
- CiE 2019: Вычисления с прогнозированием и промышленностью , Дарем , Англия .
- CiE 2020: Beyond the Horizon of Computability , Салерно , Италия (проходит в формате полностью онлайн-конференции).
- CiE 2021: Connecting with Computability , Гент , Бельгия (онлайн).
- CiE 2022: Революции и открытия в области вычислительности , Суонси , Уэльс .
- CiE 2023: Единство логики и вычислений , Батуми , Грузия .
Нынешним председателем Руководящего комитета серии конференций является Флорин Манеа ; его предшественниками были Бенедикт Лёве (2005–2013) и Арнольд Бекманн (2013–2016).
Серия книг и журнал [ править ]
ACiE несет редакционную ответственность за Springer серию книг «Теория и приложения вычислимости». [9] и журнал Computability, издаваемый IOS Press . [10]
Ссылки [ править ]
- ^ «Бенедикт Лёве, Барри Купер (1943–2015): Двигатель вычислимости в Европе , Вычислимость 5 (1): 3-11 (2016)» . Проверено 19 июля 2019 г.
- ^ «@AssociationCiE Tweet: Ежегодное общее собрание @AssociationCiE 2020 избирает Эльвиру Майордомо следующим президентом Ассоциации (2020-2022)» . 2 июля 2020 г. Проверено 3 июля 2020 г.
- ^ «Веб-сайт Ассоциации CiE: Управление» . Проверено 28 марта 2024 г.
- ^ «Веб-сайт Ассоциации CiE: Управление» . Проверено 19 июля 2019 г. «Твит @AssociationCiE о выборах в Совет 2019 года» . Проверено 19 июля 2019 г. «Твит @AssociationCiE о выборах в Совет 2020 года» . 2 июля 2020 г. Проверено 3 июля 2020 г.
- ^ «Веб-сайт Ассоциации CiE: Группы особых интересов» . Проверено 19 июля 2019 г.
- ^ «Веб-сайт Ассоциации CiE: Премия С. Барри Купера» . Проверено 19 июля 2019 г.
- ^ «Веб-сайт Ассоциации CiE: Премия С. Барри Купера 2020 года вручена Бруно Курселю» . Проверено 8 июня 2020 г.
- ^ «Веб-сайт Ассоциации CiE: Серия конференций CiE» . Проверено 19 июля 2019 г.
- ^ «Сайт Springer Verlag, посвященный книжной серии» . Проверено 1 июля 2016 г.
- ^ "Сайт журнала Вычислимость " . Проверено 1 июля 2016 г.