Оглавление
Вычислимость в Европе
-
Организация ACiE
- ACiE объединяет специалистов в области вычислимости из разных дисциплин.
- Цель – расширить понимание и оценить важность вычислимости для реального мира.
-
История и развитие
- ACiE была основана в 2008 году и изначально была исследовательской сетью.
- В 2005 году начала проводить конференции, а в 2008 году стала международной ассоциацией.
-
Структура и руководство
- Президентом-основателем был профессор С. Барри Купер, нынешний президент – Эльвира Майордомо.
- Генеральный секретарь – Джузеппе Примьеро.
-
Исследовательские направления
- ACiE способствует развитию науки о вычислимости, включая математику и компьютерные науки.
- В фокусе также философия и история вычислительной техники.
-
Премия Барри Купера
- В честь основателя ACiE учреждена премия за вклад в понимание и изучение вычислимости.
- В 2020 году премия была присуждена Бруно Курселю.
-
Конференции CiE
- CiE – это серия международных конференций, способствующих развитию науки о вычислимости.
- Конференции охватывают математику, компьютерные науки и их приложения в различных областях.
-
Серия книг и журнал
- ACiE отвечает за серию книг “Теория и приложения вычислимости” и журнал Computability.