EATCS (EATCS)

Перейти к навигации Перейти к поиску
EATCS logo

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

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

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

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

Премия Пресбургера

[править | править код]

С 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 — Автоматы, логика и игры Тельч, Чехия

Примечания

[править | править код]
  1. Что значит аббревиатура EATCS? European Association of Theoretical Computer Science Архивная копия от 14 января 2019 на Wayback Machine, Поиск аббребвиатур Архивная копия от 2 октября 2019 на Wayback Machine.
  2. 1 2 Брауэр, Утэ; Вилфрид Брауэр[англ.]: Европейская ассоциация теоретической информатики / Об ассоциации / Серебряный юбилей 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 Европейская ассоциация теоретической информатики.
  • eatcs.org — официальный сайт EATCS