European Association for Theoretical Computer Science (с англ. «Европейская Ассоциация Теоретической Информатики»), сокр. EATCS[1] — это международная организация европейской направленности, организованная в 1972 году. Её целью является содействие обмену идеями и результатами работ среди информатиков теоретиков а также стимулировать взаимодействие между теоретиками и практиками в информатике.
Основными действиями организации EATCS являются:
- Организация конференции ICALP[en] («International Colloquium on Automata, Languages and Programming», с англ. «Международный коллоквиум по автоматам, языкам и программированию»);[2]
- Публикация серии монограмм[3][4] и работ[5] по теоретической информатике;
- Публикация издания Бюллетень EATCS;
- Издание журнала Теоретическая информатика[en];[2]
- Издание журнала Fundamenta Informaticae[en].
Премия EATCS
Каждый год ассоциацией вручается премия EATCS[6] в знак признания блестящей карьеры в теоретической информатике. Первая премия была вручена Ричарду Карпу в 2000-м году; полный список лауреатов приведён ниже:
Премия Пресбургера
С 2010 года европейская ассоциация теоретической информатики (EATCS) во время конференции ICALP[en] выдаёт премию Пресбургера[presburger award] молодому учёному (в особых случаях нескольким молодым учёным) за выдающийся вклад в теоретическую информатику, задокументированный опубликованной работой или серией работ. Премия названа в честь Мойжеша Пресбургера[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), Юрий Гуревич[en] (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, Поиск аббребвиатур.
- 1 2 Брауэр, Утэ; Вилфрид Брауэр[en]: Европейская ассоциация теоретической информатики / Об ассоциации / Серебряный юбилей EATCS
- ↑ Монограммы по теоретической информатике. Серия EATCS, Springer-Verlag.
- ↑ Монограммы по теретической информатике. Серия EATCS, DBLP[en].
- ↑ Тексты работ по теоретической информатике. Серия EATCS, Springer-Verlag.
- ↑ Премия EATCS, Европейская ассоциация теоретической информатики.
- ↑ EATCS Fellows Европейская ассоциация теоретической информатики.
Ссылки
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .