Европейская ассоциация теоретической информатики
 | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( январь 2011 г. ) |
Европейская ассоциация теоретической информатики ( EATCS) [1] ) — международная организация с европейским фокусом, основанная в 1972 году. Ее цель — облегчить обмен идеями и результатами среди ученых-теоретиков в области информатики, а также стимулировать сотрудничество между теоретическим и практическим сообществом в области информатики .
Основными направлениями деятельности EATCS являются:
- Организация ICALP , Международного коллоквиума по автоматам, языкам и программированию ; [2]
- Публикация Бюллетеня EATCS ;
- Публикация серии монографий. [3] [4] и тексты [5] по теоретической информатике ;
- Издание журнала «Теоретическая информатика» ; [2]
- Издание журнала Fundamenta Informaticae .
EATCS Премия
Ежегодно премия EATCS [6] присуждается в знак признания выдающейся карьеры в области теоретической информатики. Первая награда была вручена Ричарду Карпу в 2000 году; Полный список победителей приведен ниже:
| Год | Награжден | Место |
|---|---|---|
| 2023 | Амос Фиат | ICALP ( Падерборн ) |
| 2022 | Патрик Кузо | ICALP ( Париж ) |
| 2021 | Тонианн Питасси | ICALP ( Глазго ) |
| 2020 | Михалис Яннакакис | ICALP ( Саарбрюккен ) |
| 2019 | Томас Хензингер | ICALP ( Патры ) |
| 2018 | Ноам Нисан | ICALP ( Прага ) |
| 2017 | Ева Тардос | ICALP ( Варшава ) |
| 2016 | Декстер Козен | ICALP ( Рим ) |
| 2015 | Христос Пападимитриу | ICALP ( Киото ) |
| 2014 | Гордон Плоткин | ICALP ( Копенгаген ) |
| 2013 | Мартин Дайер | ICALP ( Рига ) |
| 2012 | Моше Варди | ICALP ( Уорик ) |
| 2011 | Борис Трахтенброт | ICALP ( Цюрих ) |
| 2010 | Курт Мельхорн | ICALP ( Бордо ) |
| 2009 | Жерар Юэ | ICALP ( Родос ) |
| 2008 | Лесли Дж. Валиант | ICALP ( Рейкьявик ) |
| 2007 | Дана С. Скотт | ICALP ( Вроцлав ) |
| 2006 | Майк Патерсон | ICALP ( Венеция ) |
| 2005 | Робин Милнер | ICALP ( Лиссабон ) |
| 2004 | Арто Саломаа | ICALP ( Турку ) |
| 2003 | Гжегож Розенберг | ICALP ( Эйндховен ) |
| 2002 | Морис Ниват | ICALP ( Малага ) |
| 2001 | Коррадо Бём | ICALP ( Крит ) |
| 2000 | Ричард Карп | ICALP ( Женева ) |
Пресбургера Премия
Начиная с 2010 года, Европейская ассоциация теоретической информатики (EATCS) ежегодно присуждает на конференции ICALP Премию Пресбургера молодому ученому (в исключительных случаях нескольким молодым ученым) за выдающийся вклад в теоретическую информатику, подтвержденный опубликованной статьей. или серию опубликованных статей. Премия названа в честь Мойжеша Пресбургера, который еще студентом в 1929 году завершил свою новаторскую работу по разрешимости теории сложения (которая сегодня называется арифметикой Пресбургера). Полный список лауреатов [7] приведено ниже:
| Год | Награжден | Место |
|---|---|---|
| 2021 | Шаян Овейс Гаран | ICALP ( Глазго ) |
| 2020 | Dmitriy Zhuk | ICALP ( Саарбрюккен / онлайн) |
| 2019 | Карл Брингманн , Каспер Грин Ларсен | ICALP ( Патры ) |
| 2018 | Александр Мудрый | ICALP ( Прага ) |
| 2017 | Александра Силва | ICALP ( Варшава ) |
| 2016 | Марк Браверман | ICALP ( Рим ) |
| 2015 | Си Чен | ICALP ( Киото ) |
| 2014 | Дэвид Вудрафф | ICALP ( Копенгаген ) |
| 2013 | Эрик Демейн | ICALP ( Рига ) |
| 2012 | Венкатесан Гурусвами , Михай Патраску | ICALP ( Уорик ) |
| 2011 | Патрисия Буйе-Децитр | ICALP ( Цюрих ) |
| 2010 | Миколай Боянчик | ICALP ( Бордо ) |
EATCS Стипендиаты
Программа стипендий EATCS [8] была создана Ассоциацией для признания выдающихся членов EATCS за их научные достижения в области теоретической информатики. Статус стипендиата присуждается Комитетом по отбору стипендиатов EATCS человеку, имеющему опыт интеллектуального и организационного лидерства в сообществе EATCS. Ожидается, что стипендиаты станут «образцовыми гражданами» сообщества TCS, помогая укреплять репутацию TCS за пределами сообщества.
| Награжден | Признанный год |
|---|---|
| Лука Ачето | 2021 |
| Иржи Адамек | 2018 |
| Сюзанна Альберс | 2014 |
| Раджив Алур | 2021 |
| Джорджио Аузиелло | 2014 |
| Вильфрид Брауэр | 2014 |
| Артур Чумай | 2015 |
| Пьерпаоло Дегано | 2020 |
| Марианджиола Дезани-Чианкаглини | 2015 |
| Джозеф Диас | 2017 |
| Герберт Эдельсбруннер | 2014 |
| Золтан Эсик | 2016 |
| Майк Феллоуз | 2014 |
| Fedor Fomin | 2019 |
| Yuri Gurevich | 2014 |
| Мохаммад Хаджиагайи | 2020 |
| Магнус М. Халлдорссон | 2020 |
| Дэвид Харел | 2016 |
| Моника Хензингер | 2014 |
| Томас А. Хензингер | 2015 |
| Джузеппе Ф. Итальянский | 2016 |
| Самир Хуллер | 2021 |
| Декстер Козен | 2015 |
| Марта Квятковска | 2017 |
| Стефано Леонарди | 2018 |
| Курт Мельхорн | 2016 |
| Рокко де Никола | 2019 |
| Дэвид Пелег | 2021 |
| Жан-Эрик Пин | 2014 |
| Дана Рон | 2019 |
| Давиде Санджорджи | 2021 |
| Сакет Саураб | 2021 |
| Скотт А. Смолка | 2016 |
| Пол Спиракис | 2014 |
| Аравинд Шринивасан | 2017 |
| Вольфганг Томас | 2014 |
| Moshe Y. Vardi | 2015 |
| Привет, Моти Юнг | 2017 |
информатике теоретической по Тексты
![[икона]](http://upload.wikimedia.org/wikipedia/commons/thumb/1/1c/Wiki_letter_w_cropped.svg/20px-Wiki_letter_w_cropped.svg.png){kind=small} | Этот раздел нуждается в расширении . Вы можете помочь, добавив к нему . ( сентябрь 2011 г. ) |
Бюллетень EATCS [ править ]
Бюллетень EATCS — это информационный бюллетень EATCS, публикуемый онлайн три раза в год в феврале, июне и октябре соответственно. Бюллетень является средством быстрой публикации и широкого распространения таких материалов, как:
- EATCS имеет значение;
- информация о текущем ICALP;
- технический вклад;
- колонны;
- опросы и учебные пособия;
- доклады на конференциях;
- календарь событий;
- отчеты по кафедрам и институтам информатики;
- списки технических отчетов и публикаций;
- рецензии на книги;
- открытые проблемы и решения;
- авторефераты кандидатских диссертаций;
- информация о посетителях различных учреждений; и
- развлекательные материалы и изображения, связанные с информатикой.
С 2021 года его главным редактором является Стефан Шмид (ТУ Берлин).
Школы EATCS исследователей молодых
Начиная с 2014 года Европейская ассоциация теоретической информатики (EATCS) учредила серию школ молодых исследователей по темам TCS. Ниже приводится краткая история школ.
| Год | Тип | Место |
|---|---|---|
| 2017 | ProbProgSchool 2017 – 1-я Школа по основам программирования и программных систем. Вероятностное программирование | Брага , Португалия |
| 2015 | 2-я Школа молодых исследователей EATCS – Понимание СЛОЖНОСТИ и параллелизма через топологию данных | Камерино , Италия |
| 2014 | 1-я школа молодых исследователей EATCS – автоматы, логика и игры | Тельч , Чехия |
См. также [ править ]
Ссылки [ править ]
- ^ Что означает EATCS? Европейская ассоциация теоретической информатики , Acronym Finder .
- ^ Jump up to: Перейти обратно: а б Брауэр, Юте; Брауэр, Вильфрид : Европейская ассоциация теоретической информатики / Об ассоциации / Серебряный юбилей EATCS
- ^ Монографии по теоретической информатике. Серия EATCS , Springer-Verlag .
- ^ Монографии по теоретической информатике. Серия EATCS , DBLP .
- ^ Тексты по теоретической информатике. Серия EATCS , Springer-Verlag.
- ^ Премия EATCS , Европейская ассоциация теоретической информатики.
- ^ «Премия Пресбургера» . Европейская ассоциация теоретической информатики . Проверено 23 июля 2020 г.
- ^ EATCS . Члены Европейской ассоциации теоретической информатики
