EATCS

European Association for Theoretical Computer Science (с англ. «Европейская Ассоциация Теоретической Информатики»), сокр. EATCS^[1] — международная организация европейской направленности, организованная в 1972 году. Её целью является содействие обмену идеями и результатами работ среди информатиков теоретиков а также стимулировать взаимодействие между теоретиками и практиками в информатике.

EATCS logo

Основными действиями организации EATCS являются:

Организация конференции ICALP^[en] («International Colloquium on Automata, Languages and Programming», с англ. «Международный коллоквиум по автоматам, языкам и программированию»);^[2]
Публикация серии монограмм^[3]^[4] и работ^[5] по теоретической информатике;
Публикация издания Бюллетень EATCS;
Издание журнала Теоретическая информатика^[en];^[2]
Издание журнала Fundamenta Informaticae^[en].

Премия EATCSПравить

Каждый год ассоциацией вручается премия EATCS^[6] в знак признания блестящей карьеры в теоретической информатике. Первая премия была вручена Ричарду Карпу в 2000-м году; полный список лауреатов приведён ниже:

Год	Лауреат	Место
2018	Ноам Нисан^[en] (Noam Nisan)	ICALP^[en] (Прага)
2017	Эва Тардош (Éva Tardos)	ICALP^[en] (Варшава)
2016	Декстер Козен^[en] (Dexter Kozen)	ICALP^[en] (Рим)
2015	Христос Пападимитриу (Christos Papadimitriou)	ICALP^[en] (Киото)
2014	Гордон Плоткин^[en] (Gordon Plotkin)	ICALP^[en] (Копенгаген)
2013	Мартин Дайер^[en] (Martin Dyer)	ICALP^[en] (Рига)
2012	Моше Варди (Moshe Vardi)	ICALP^[en] (Уорик)
2011	Борис Трахтенброт (Boris Trakhtenbrot)	ICALP^[en] (Цюрих)
2010	Курт Мёльхорн^[en] (Kurt Mehlhorn)	ICALP^[en] (Бордо)
2009	Жерар Юэ (Gérard Huet)	ICALP^[en] (Родос)
2008	Лесли Вэлиант (Leslie G. Valiant)	ICALP^[en] (Рейкьявик)
2007	Дана Скотт (Dana S. Scott)	ICALP^[en] (Вроцлав)
2006	Паттерсон, Майк Стюарт^[en] (Mike Paterson)	ICALP^[en] (Венеция)
2005	Робин Милнер (Robin Milner)	ICALP^[en] (Лиссабон)
2004	Арто Саломаа (Arto Salomaa)	ICALP^[en] (Турку)
2003	Гжегож Розенберг^[en] (Grzegorz Rozenberg)	ICALP^[en] (Эйндховен)
2002	Морис Нива (Maurice Nivat)	ICALP^[en] (Малага)
2001	Коррадо Бём (Corrado Böhm)	ICALP^[en] (Крит)
2000	Ричард Карп (Richard Karp)	ICALP^[en] (Женева)

Премия ПресбургераПравить

С 2010 года европейская ассоциация теоретической информатики (EATCS) во время конференции ICALP^[en] выдаёт премию Пресбургера^[en] молодому учёному (в особых случаях нескольким молодым учёным) за выдающийся вклад в теоретическую информатику, задокументированный опубликованной работой или серией работ. Премия названа в честь Мойжеша Пресбургера (Mojzesz Presburger), который будучи студентом написал в 1929-м году новаторскую работу о разрешимости теории сложения (сегодня именуемой арифметикой Пресбургера). Полный список лауреатов представлен ниже:

Год	Лауреат	Место
2018	Александр Мадры^[en] (Aleksander Mądry)	ICALP^[en] (Прага)
2017	Александра Сильва^[en] (Alexandra Silva)	ICALP^[en] (Варшава)
2016	Марк Браверман (Mark Braverman)	ICALP^[en] (Рим)
2015	Кси Чен^[en] (Xi Chen)	ICALP^[en] (Киото)
2014	Дейвид Вудруф^[en] (David Woodruff)	ICALP^[en] (Копенгаген)
2013	Эрик Демэйн^[en] (Erik Demaine)	ICALP^[en] (Рига)
2012	Венкатесан Гурусвами^[en] (Venkatesan Guruswami), Михай Патраску^[en] (Mihai Patrascu)	ICALP^[en] (Уорик)
2011	Патриция Буэр-Децитрэ^[en] (Patricia Bouyer-Decitre)	ICALP^[en] (Цюрих)
2010	Миколай Боянчик^[en] (Mikołaj Bojańczyk)	ICALP^[en] (Бордо)

Почётные члены научного сообщества EATCSПравить

Программа Почётных членов научного сообщества EATCS^[7] была инициирована ассоциацией для признания выдающихся членов EATCS за их научный вклад в теоретическую информатику. Статус почётного члена присуждается специальным комитетом EATCS при наличии у номинанта достаточного количества достижений в интеллектуальной и организационной деятельности сообщества EATCS. Почётные члены являются «эталонными гражданами» сообщества TCS, помогающими увеличивать вес теоретической информатики в общества за пределами сообщества TCS.

Год номинации	Почётные члены научного сообщества EACTS
2019	Фёдор Фомин^[en] (Fedor Fomin), Рокко де Никола^[en] (Rocco de Nicola), Дана Рон^[en] (Dana Ron)
2018	Жири Адамек^[en] (Jiri Adamek), Штефан Леонарди^[en] (Stefan Leonardi)
2017	Йозеп Диаз^[en] (Josep Diaz), Марта Квятковска^[en] (Marta Kwiatkowska), Аравинд Сринивасан^[en] (Aravind Srinivasan), Моти Юнг^[en] (Moti Yung)
2016	Золтан Есик^[en] (Zoltán Ésik), Давид Харель^[en] (David Harel), Джузеппе Ф. Итальяно^[en] (Giuseppe F. Italiano), Курт Мёльхорн^[en] (Kurt Mehlhorn)
2015	Марьяньола Дезани-Чьянкальини^[en] (Mariangiola Dezani-Ciancaglini), Томас А. Хенцингер^[en] (Thomas A. Henzinger), Декстер Козен^[en] (Dexter Kozen), Моше Варди (Moshe Y. Vardi)
2014	Сюзанна Альберс^[en] (Susanne Albers), Джиорджио Осьелло^[en] (Giorgio Ausiello), Вилфрид Брауэр^[en] (Wilfried Brauer), Герберт Эдельсбруннер^[en] (Herbert Edelsbrunner), Майк Фэллоуз^[en] (Mike Fellows), Юрий Гуревич (Yuri Gurevich), Моника Хенцингер^[en] (Monika Henzinger), Жан-Эрик Пин^[en] (Jean-Eric Pin), Поль Спиракис^[en] (Paul Spirakis), Вольфганг Томас^[en] (Wolfgang Thomas)

Тексты работ по теоретической информатикеПравить

Бюллетень EATCSПравить

Ежегодно публикуется три издания бюллетеня — в феврале, июне и октябре. Бюллетень является средством для быстрой публикации и широкого освещения следующих материалов:

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

С 2013-го года его главным редактором является Казуо Ивама^[en] (Kazuo Iwama).

Школа молодых исследователей EATCSПравить

С 2014-го года, Европейская ассоциация теоретической информатики (EATCS) основала ряд Школ молодых исследователей по различным вопросам информатики. Ниже приведена краткая история школы:

Год	Описание	Место
2017	ProbProgSchool 2017 — 1-я школа по основам программирования и систем ПО. Вероятностное программирование.	Брага, Португалия
2015	2-я Школа молодых исследователей EATCS — объяснение понятий вычислительной сложности и одновременного исполнения через топологию данных.	Камерино, Италия
2014	1-я Школа молодых исследователей EATCS — Автоматы, логика и игры	Тельч, Чехия

ПримечанияПравить

↑ Что значит аббревиатура EATCS? European Association of Theoretical Computer Science Архивная копия от 14 января 2019 на Wayback Machine, Поиск аббребвиатур Архивная копия от 2 октября 2019 на Wayback Machine.
↑ ¹ ² Брауэр, Утэ; Вилфрид Брауэр^[en]: Европейская ассоциация теоретической информатики / Об ассоциации / Серебряный юбилей EATCS Архивная копия от 13 февраля 2019 на Wayback Machine
↑ Монограммы по теоретической информатике. Серия EATCS Архивная копия от 13 февраля 2019 на Wayback Machine, Springer-Verlag.
↑ Монограммы по теретической информатике. Серия EATCS Архивная копия от 24 сентября 2014 на Wayback Machine, DBLP.
↑ Тексты работ по теоретической информатике. Серия EATCS Архивная копия от 13 февраля 2019 на Wayback Machine, Springer-Verlag.
↑ Премия EATCS Архивная копия от 26 января 2011 на Wayback Machine, Европейская ассоциация теоретической информатики.
↑ EATCS Fellows Архивная копия от 29 августа 2016 на Wayback Machine Европейская ассоциация теоретической информатики.

СсылкиПравить

eatcs.org — официальный сайт EATCS

[1] Что значит аббревиатура EATCS? European Association of Theoretical Computer Science Архивная копия от 14 января 2019 на Wayback Machine, Поиск аббребвиатур Архивная копия от 2 октября 2019 на Wayback Machine.

[silver-jubilee-2] ¹ ² Брауэр, Утэ; Вилфрид Брауэр^[en]: Европейская ассоциация теоретической информатики / Об ассоциации / Серебряный юбилей EATCS Архивная копия от 13 февраля 2019 на Wayback Machine

[3] Монограммы по теоретической информатике. Серия EATCS Архивная копия от 13 февраля 2019 на Wayback Machine, Springer-Verlag.

[4] Монограммы по теретической информатике. Серия EATCS Архивная копия от 24 сентября 2014 на Wayback Machine, DBLP.

[5] Тексты работ по теоретической информатике. Серия EATCS Архивная копия от 13 февраля 2019 на Wayback Machine, Springer-Verlag.

[6] Премия EATCS Архивная копия от 26 января 2011 на Wayback Machine, Европейская ассоциация теоретической информатики.

[7] EATCS Fellows Архивная копия от 29 августа 2016 на Wayback Machine Европейская ассоциация теоретической информатики.

[1]

[2]

[3]

[4]

[5]

[6]

[7]