EATCS
European Association for Theoretical Computer Science (с англ. «Европейская Ассоциация Теоретической Информатики»), сокр. EATCS[1] — международная организация европейской направленности, организованная в 1972 году. Её целью является содействие обмену идеями и результатами работ среди информатиков теоретиков а также стимулировать взаимодействие между теоретиками и практиками в информатике.
Основными действиями организации EATCS являются:
- Организация конференции ICALP[англ.] («International Colloquium on Automata, Languages and Programming», с англ. «Международный коллоквиум по автоматам, языкам и программированию»);[2]
- Публикация серии монограмм[3][4] и работ[5] по теоретической информатике;
- Публикация издания Бюллетень EATCS;
- Издание журнала Теоретическая информатика[англ.];[2]
- Издание журнала Fundamenta Informaticae[англ.].
Премия EATCS править
Каждый год ассоциацией вручается премия EATCS[6] в знак признания блестящей карьеры в теоретической информатике. Первая премия была вручена Ричарду Карпу в 2000 году; полный список лауреатов приведён ниже:
Премия Пресбургера править
С 2010 года европейская ассоциация теоретической информатики (EATCS) во время конференции ICALP[англ.] выдаёт премию Пресбургера[англ.] молодому учёному (в особых случаях нескольким молодым учёным) за выдающийся вклад в теоретическую информатику, задокументированный опубликованной работой или серией работ. Премия названа в честь Мойжеша Пресбургера (Mojzesz Presburger), который будучи студентом написал в 1929 году новаторскую работу о разрешимости теории сложения (сегодня именуемой арифметикой Пресбургера). Полный список лауреатов представлен ниже:
| Год | Лауреат | Место |
|---|---|---|
| 2018 | Александр Мадры[англ.] (Aleksander Mądry) | ICALP[англ.] (Прага) |
| 2017 | Александра Сильва[англ.] (Alexandra Silva) | ICALP[англ.] (Варшава) |
| 2016 | Марк Браверман (Mark Braverman) | ICALP[англ.] (Рим) |
| 2015 | Кси Чен[англ.] (Xi Chen) | ICALP[англ.] (Киото) |
| 2014 | Дейвид Вудруф[англ.] (David Woodruff) | ICALP[англ.] (Копенгаген) |
| 2013 | Эрик Демэйн[англ.] (Erik Demaine) | ICALP[англ.] (Рига) |
| 2012 | Венкатесан Гурусвами[англ.] (Venkatesan Guruswami), Михай Патраску[англ.] (Mihai Patrascu) | ICALP[англ.] (Уорик) |
| 2011 | Патриция Буэр-Децитрэ[англ.] (Patricia Bouyer-Decitre) | ICALP[англ.] (Цюрих) |
| 2010 | Миколай Боянчик[англ.] (Mikołaj Bojańczyk) | ICALP[англ.] (Бордо) |
Почётные члены научного сообщества EATCS править
Программа Почётных членов научного сообщества EATCS[7] была инициирована ассоциацией для признания выдающихся членов EATCS за их научный вклад в теоретическую информатику. Статус почётного члена присуждается специальным комитетом EATCS при наличии у номинанта достаточного количества достижений в интеллектуальной и организационной деятельности сообщества EATCS. Почётные члены являются «эталонными гражданами» сообщества TCS, помогающими увеличивать вес теоретической информатики в общества за пределами сообщества TCS.
| Год номинации | Почётные члены научного сообщества EACTS |
|---|---|
| 2019 | Фёдор Фомин[англ.] (Fedor Fomin), Рокко де Никола[англ.] (Rocco de Nicola), Дана Рон[англ.] (Dana Ron) |
| 2018 | Жири Адамек[англ.] (Jiri Adamek), Штефан Леонарди[англ.] (Stefan Leonardi) |
| 2017 | Йозеп Диаз[англ.] (Josep Diaz), Марта Квятковска[англ.] (Marta Kwiatkowska), Аравинд Сринивасан[англ.] (Aravind Srinivasan), Моти Юнг[англ.] (Moti Yung) |
| 2016 | Золтан Есик[англ.] (Zoltán Ésik), Давид Харель[англ.] (David Harel), Джузеппе Ф. Итальяно[англ.] (Giuseppe F. Italiano), Курт Мёльхорн[англ.] (Kurt Mehlhorn) |
| 2015 | Марьяньола Дезани-Чьянкальини[англ.] (Mariangiola Dezani-Ciancaglini), Томас А. Хенцингер[англ.] (Thomas A. Henzinger), Декстер Козен[англ.] (Dexter Kozen), Моше Варди (Moshe Y. Vardi) |
| 2014 | Сюзанна Альберс[англ.] (Susanne Albers), Джиорджио Осьелло[англ.] (Giorgio Ausiello), Вилфрид Брауэр[англ.] (Wilfried Brauer), Герберт Эдельсбруннер[англ.] (Herbert Edelsbrunner), Майк Фэллоуз[англ.] (Mike Fellows), Юрий Гуревич (Yuri Gurevich), Моника Хенцингер[англ.] (Monika Henzinger), Жан-Эрик Пин[англ.] (Jean-Eric Pin), Поль Спиракис[англ.] (Paul Spirakis), Вольфганг Томас[англ.] (Wolfgang Thomas) |
Тексты работ по теоретической информатике править
Этот раздел не завершён. |
Бюллетень EATCS править
Ежегодно публикуется три издания бюллетеня — в феврале, июне и октябре. Бюллетень является средством для быстрой публикации и широкого освещения следующих материалов:
- различные вопросы EATCS;
- информация о текущей ICALP;
- технические статьи;
- рубрики;
- опросы и пособия;
- доклады с конференций;
- календарь событий;
- доклад по кафедрам и институтам информатики;
- списки технических докладов и публикаций;
- обзоры книг;
- открытые проблемы и решения;
- аннотации докторских диссертаций;
- информация о посетителях различных учреждений; и
- развлекательные статьи и изображения, связанные с информатикой.
С 2013 года его главным редактором является Казуо Ивама[англ.] (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.
- ↑ 1 2 Брауэр, Утэ; Вилфрид Брауэр[англ.]: Европейская ассоциация теоретической информатики / Об ассоциации / Серебряный юбилей 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