EATCS

Материал из Википедии — свободной энциклопедии
EATCS logo

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

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

Премия 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. Springer-Verlag
    .
  4. ↑ Монограммы по теретической информатике. Серия EATCS Архивная копия от 24 сентября 2014 на Wayback Machine, DBLP.
  5. Springer-Verlag
    .
  6. ↑ Премия EATCS Архивная копия от 26 января 2011 на Wayback Machine, Европейская ассоциация теоретической информатики.
  7. ↑ EATCS Fellows Архивная копия от 29 августа 2016 на Wayback Machine Европейская ассоциация теоретической информатики.

Ссылки

  • eatcs.org — официальный сайт EATCS
Источник — https://ru.wikipedia.org/w/index.php?title=EATCS&oldid=145180137