Европейская ассоциация теоретической информатики - European Association for Theoretical Computer Science

Логотип EATCS

В Европейская ассоциация теоретической информатики (EATCS[1]) является международной организацией с Европейский focus, основанный в 1972 году. Его цель - способствовать обмену идеями и результатами между теоретиками-компьютерщиками, а также стимулировать сотрудничество между теоретическим и практическим сообществом в Информатика.

Основными направлениями деятельности EATCS являются:

Премия EATCS

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

ГодНагражденМесто
2019Томас ХензингерИКАЛП (Патры )
2018Ноам НисанИКАЛП (Прага )
2017Эва ТардосИКАЛП (Варшава )
2016Декстер КозенИКАЛП (Рим )
2015Христос ПападимитриуИКАЛП (Киото )
2014Гордон ПлоткинИКАЛП (Копенгаген )
2013Мартин ДайерИКАЛП (Рига )
2012Моше ВардиИКАЛП (Warwick )
2011Борис ТрахтенбротИКАЛП (Цюрих )
2010Курт МельхорнИКАЛП (Бордо )
2009Жерар ЮэИКАЛП (Родос )
2008Лесли Г. ВалиантИКАЛП (Рейкьявик )
2007Дана С. СкоттИКАЛП (Вроцлав )
2006Майк ПатерсонИКАЛП (Венеция )
2005Робин МилнерИКАЛП (Лиссабон )
2004Арто СаломааИКАЛП (Турку )
2003Гжегож РозенбергИКАЛП (Эйндховен )
2002Морис НиваИКАЛП (Малага )
2001Коррадо БёмИКАЛП (Creta )
2000Ричард КарпИКАЛП (Женева )

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

Начиная с 2010 года Европейская ассоциация теоретической информатики (EATCS) ежегодно присуждает на конференции ICALP Премию Пресбургера молодому ученому (в исключительных случаях нескольким молодым ученым) за выдающийся вклад в теоретическую информатику, что подтверждается опубликованной статьей. или серию опубликованных статей. Премия названа в честь Мойшеша Пресбургера, который завершил свою новаторскую работу по разрешимости теории сложения (которая сегодня называется арифметикой Пресбургера) еще студентом в 1929 году. Полный список победителей[7] приведено ниже:

ГодНагражденМесто
2020Дмитрий ЖукИКАЛП (Саарбрюккен /онлайн)
2019Карл Брингманн, Каспер Грин ЛарсенИКАЛП (Патры )
2018Александр МодрыйИКАЛП (Прага )
2017Александра СильваИКАЛП (Варшава )
2016Марк БраверманИКАЛП (Рим )
2015Си ЧенИКАЛП (Киото )
2014Дэвид ВудраффИКАЛП (Копенгаген )
2013Эрик ДемейнИКАЛП (Рига )
2012Венкатесан Гурусвами, Михай ПатраскуИКАЛП (Warwick )
2011Патрисия Буйе-ДеситрИКАЛП (Цюрих )
2010Миколай БоянчикИКАЛП (Бордо )

Стипендиаты EATCS

В Программа стипендиатов EATCS[8] был учрежден Ассоциацией для признания выдающихся членов EATCS за их научные достижения в области теоретической информатики. Статус стипендиата присваивается отборочным комитетом EATCS лицу, имеющему опыт интеллектуального и организационного лидерства в сообществе EATCS. Ожидается, что стипендиаты будут «образцовыми гражданами» сообщества TCS, помогая развить положение TCS за пределами сообщества.

НагражденПризнанный год
Иржи Адамек2018
Сюзанна Альберс2014
Джорджио Аузиелло2014
Вильфрид Брауэр2014
Пьерпаоло Дегано2020
Мариангиола Дезани-Чанкаглини2015
Хосеп Диас2017
Герберт Эдельсбруннер2014
Золтан Эсик2016
Майк Феллоуз2014
Федор Фомин2019
Юрий Гуревич2014
Мохаммад Хаджиагайи2020
Магнус М. Халльдорссон2020
Дэвид Харел2016
Моника Хензингер2014
Томас А. Хензингер2015
Джузеппе Ф. Итальяно2016
Декстер Козен2015
Марта Квятковска2017
Стефан Леонарди2018
Курт Мельхорн2016
Рокко де Никола2019
Жан-Эрик Пин2014
Дана Рон2019
Пол Спиракис2014
Аравинд Шринивасан2017
Вольфганг Томас2014
Моше Й. Варди2015
Моти Юнг2017

Тексты по теоретической информатике

Бюллетень EATCS

Ежегодно издаются три номера Бюллетеня, выходящие соответственно в феврале, июне и октябре. Бюллетень является средством быстрой публикации и широкого распространения таких материалов, как:

  • EATCS имеет значение;
  • информация о текущем ICALP;
  • технический вклад;
  • колонны;
  • опросы и учебные пособия;
  • отчеты о конференциях;
  • календарь событий;
  • отчеты по кафедрам и институтам информатики;
  • списки технических отчетов и публикаций;
  • отзывы о книге;
  • открытые проблемы и решения;
  • авторефераты кандидатских диссертаций;
  • информация о посетителях различных заведений; и
  • развлекательные материалы и изображения, связанные с информатикой.

С 2013 года его главным редактором является Кадзуо Ивама.

Школы молодых исследователей EATCS

Начиная с 2014 года Европейская ассоциация теоретической информатики (EATCS) учредила серию школ молодых исследователей по темам TCS. Ниже приводится краткая история школ.

ГодТипМесто
2017ProbProgSchool 2017 - 1-я школа по основам программирования и программных систем. Вероятностное программированиеБрага, Португалия
20152-я школа молодых исследователей EATCS - Понимание СЛОЖНОСТИ и СОВМЕСТИМОСТИ через ТОПОЛОГИЮ ДАННЫХCamerino, Италия
20141-я школа молодых исследователей EATCS - автоматы, логика и игрыTelč, Чехия

Смотрите также

Рекомендации

  1. ^ Что означает EATCS? Европейская ассоциация теоретической информатики, Acronym Finder.
  2. ^ а б Брауэр, Юте; Брауэр, Вильфрид: Европейская ассоциация теоретической информатики / Об ассоциации / Серебряный юбилей EATCS
  3. ^ Монографии по теоретической информатике. Серия EATCS, Springer-Verlag.
  4. ^ Монографии по теоретической информатике. Серия EATCS, DBLP.
  5. ^ Тексты по теоретической информатике. Серия EATCS, Springer-Verlag.
  6. ^ Премия EATCS, Европейская ассоциация теоретической информатики.
  7. ^ «Премия Пресбургера». Европейская ассоциация теоретической информатики. Получено 2020-07-23.
  8. ^ Стипендиаты EATCS Европейская ассоциация теоретической информатики.

внешняя ссылка