Меню
Главная
Случайная статья
Настройки
|
European Association for Theoretical Computer Science (с англ. «Европейская Ассоциация Теоретической Информатики»), сокр. EATCS[1] — международная организация европейской направленности, организованная в 1972 году. Её целью является содействие обмену идеями и результатами работ среди информатиков теоретиков а также стимулировать взаимодействие между теоретиками и практиками в информатике.
Основными действиями организации EATCS являются:
Содержание
Премия EATCS
Каждый год ассоциацией вручается премия EATCS[6] в знак признания блестящей карьеры в теоретической информатике. Первая премия была вручена Ричарду Карпу в 2000 году; полный список лауреатов приведён ниже:
Премия Пресбургера
С 2010 года европейская ассоциация теоретической информатики (EATCS) во время конференции ICALP[англ.] выдаёт премию Пресбургера[англ.] молодому учёному (в особых случаях нескольким молодым учёным) за выдающийся вклад в теоретическую информатику, задокументированный опубликованной работой или серией работ. Премия названа в честь Мойжеша Пресбургера (Mojzesz Presburger), который будучи студентом написал в 1929 году новаторскую работу о разрешимости теории сложения (сегодня именуемой арифметикой Пресбургера). Полный список лауреатов представлен ниже:
Почётные члены научного сообщества 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
|
Золтан Есик[англ.] (Zoltn 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 Европейская ассоциация теоретической информатики.
Ссылки
|
|