Открыть сервис
Главная → Блог → Европейская ассоциация теоретической информатики

Европейская ассоциация теоретической информатики

Европейская ассоциация теоретической информатики (англ. European Association for Theoretical Computer Science, EATCS) — международная научная организация, объединяющая исследователей и специалистов в области теоретической информатики. Основана в 1972 году. Штаб-квартира расположена в Милане (Италия). Ассоциация ставит своей целью содействие развитию теоретических основ информатики, обмену научными знаниями и поддержку молодых учёных.

История

EATCS была учреждена в 1972 году группой ведущих европейских учёных в области теоретической информатики, среди которых были Морис Ниве (Франция), Арто Саломаа (Финляндия) и Гжегож Розенберг (Польша). Первоначально организация носила название «Европейская ассоциация теоретической информатики» (EATCS) и была зарегистрирована в Швейцарии. В 1973 году состоялась первая ежегодная конференция EATCS в Париже.

В 1980-е годы ассоциация расширила свою деятельность, начав выпуск собственного научного журнала и учреждение премий. В 1990-е годы EATCS активно способствовала интеграции исследователей из стран Восточной Европы после распада СССР. В 2000-е годы организация запустила программы поддержки молодых учёных и стипендии для участия в конференциях.

Деятельность

Научные конференции

EATCS ежегодно проводит несколько крупных конференций, наиболее значимой из которых является International Colloquium on Automata, Languages and Programming (ICALP). ICALP проводится с 1972 года и считается одной из ведущих мировых конференций по теоретической информатике. Программа включает доклады по теории автоматов, формальным языкам, алгоритмам, сложности вычислений и смежным областям.

Помимо ICALP, ассоциация организует специализированные конференции:

  • International Conference on Developments in Language Theory (DLT) — посвящена теории формальных языков.
  • International Conference on Graph Transformation (ICGT) — рассматривает преобразования графов.
  • International Conference on Theory and Applications of Models of Computation (TAMC) — охватывает модели вычислений и их приложения.

Публикации

EATCS издаёт научный журнал Theoretical Computer Science (TCS), основанный в 1975 году. Журнал публикует оригинальные исследовательские статьи, обзоры и специальные выпуски по тематике теоретической информатики. Импакт-фактор журнала на 2023 год составлял около 1,5.

Также ассоциация выпускает информационный бюллетень EATCS Bulletin, который выходит три раза в год. Бюллетень содержит новости организации, анонсы конференций, рецензии на книги и короткие научные сообщения.

Премии и награды

EATCS учреждает и вручает несколько престижных наград:

  • Премия EATCS (EATCS Award) — вручается с 2000 года за выдающиеся достижения в теоретической информатике. Лауреатами становились такие учёные, как Дональд Кнут (2000), Юрий Матиясевич (2003), Кристофер Пайк (2010) и другие.
  • Премия имени Рольфа Неванлинны (Rolf Nevanlinna Prize) — совместная награда с Международным математическим союзом, вручаемая молодым учёным до 40 лет за вклад в информатику. Учреждена в 1982 году.
  • Премия имени Гёделя (Gödel Prize) — совместная награда EATCS и Ассоциации вычислительной техники (ACM), вручаемая за выдающиеся теоретические работы в области информатики. Учреждена в 1993 году.
  • Премия имени Арто Саломаа (Arto Salomaa Prize) — вручается молодым учёным за выдающиеся исследования в области теоретической информатики.

Структура

Органы управления

Высшим органом EATCS является Генеральная ассамблея (General Assembly), которая собирается ежегодно во время конференции ICALP. Ассамблея избирает президента, вице-президентов, секретаря и казначея, а также утверждает бюджет и стратегические направления деятельности.

Президент EATCS избирается на срок до четырёх лет. Среди президентов ассоциации были:

  • 1972–1975: Морис Ниве (Франция)
  • 1975–1979: Арто Саломаа (Финляндия)
  • 1979–1983: Гжегож Розенберг (Польша)
  • 1983–1987: Джон Хопкрофт (США)
  • 1987–1991: Манфред Брой (Германия)
  • 1991–1995: Кристофер Пайк (Великобритания)
  • 1995–1999: Юрий Матиясевич (Россия)
  • 1999–2003: Джорджо Аузиелло (Италия)
  • 2003–2007: Ханс-Йоахим Бёкенхауэр (Германия)
  • 2007–2011: Жан-Эрик Пен (Франция)
  • 2011–2015: Клаус-Йорн Ланге (Германия)
  • 2015–2019: Джузеппе Персиано (Италия)
  • 2019–2023: Мария-Франческа Саготти (Италия)
  • 2023–настоящее время: Кристиан Шалль (Австрия)

Членство

Членство в EATCS является добровольным и открытым для исследователей, преподавателей, студентов и специалистов из любой страны. Различают несколько категорий членства:

  • Индивидуальное членство — для физических лиц, с ежегодным взносом (на 2024 год — около 50 евро для стран с высоким доходом, 25 евро для стран с низким доходом).
  • Студенческое членство — со скидкой, для студентов и аспирантов.
  • Институциональное членство — для университетов и исследовательских центров, с правом номинировать представителей в комитеты.

По состоянию на 2024 год EATCS насчитывает более 2000 членов из более чем 60 стран мира.

Критика

Деятельность EATCS в целом оценивается научным сообществом положительно. Однако высказываются отдельные замечания:

  • Недостаточная представленность развивающихся стран. Большинство членов и участников конференций представляют Европу, Северную Америку и Восточную Азию. Учёные из Африки и Латинской Америки участвуют реже из-за финансовых и организационных барьеров.
  • Доминирование англоязычных публикаций. Несмотря на европейский статус, все официальные публикации и конференции проводятся на английском языке, что может затруднять доступ для исследователей, не владеющих им в достаточной мере.
  • Концентрация на традиционных направлениях. Некоторые критики отмечают, что EATCS уделяет недостаточно внимания новым междисциплинарным областям, таким как квантовые вычисления, биоинформатика или социальные сети.

Значение

EATCS играет важную роль в развитии теоретической информатики как научной дисциплины. Организация способствует координации исследований, поддержке молодых учёных и распространению знаний. Ежегодные конференции и публикации ассоциации являются ключевыми площадками для обмена идеями и результатами в области теории автоматов, формальных языков, алгоритмов, сложности вычислений и смежных направлений.

Источники

BFOmetr — база данных и аналитика по компаниям России.

На главную BFOmetr →

Похожие материалы