Interested Article - EATCS
ashanti
- 2020-06-21
- 1
European Association for Theoretical Computer Science (с англ. «Европейская Ассоциация Теоретической Информатики»), сокр. EATCS — международная организация европейской направленности, организованная в 1972 году. Её целью является содействие обмену идеями и результатами работ среди информатиков теоретиков а также стимулировать взаимодействие между теоретиками и практиками в информатике .
Основными действиями организации EATCS являются:
- Организация конференции («International Colloquium on Automata, Languages and Programming», с англ. «Международный коллоквиум по автоматам, языкам и программированию»);
- Публикация серии монограмм и работ по теоретической информатике ;
- Публикация издания Бюллетень EATCS ;
- Издание журнала ;
- Издание журнала .
Премия EATCS
Каждый год ассоциацией вручается премия EATCS в знак признания блестящей карьеры в теоретической информатике. Первая премия была вручена Ричарду Карпу в 2000 году; полный список лауреатов приведён ниже:
| Год | Лауреат | Место |
|---|---|---|
| 2018 | (Noam Nisan) | ( Прага ) |
| 2017 | Эва Тардош (Éva Tardos) | ( Варшава ) |
| 2016 | (Dexter Kozen) | ( Рим ) |
| 2015 | Христос Пападимитриу (Christos Papadimitriou) | ( Киото ) |
| 2014 | (Gordon Plotkin) | ( Копенгаген ) |
| 2013 | (Martin Dyer) | ( Рига ) |
| 2012 | Моше Варди (Moshe Vardi) | ( Уорик ) |
| 2011 | Борис Трахтенброт (Boris Trakhtenbrot) | ( Цюрих ) |
| 2010 | (Kurt Mehlhorn) | ( Бордо ) |
| 2009 | Жерар Юэ (Gérard Huet) | ( Родос ) |
| 2008 | Лесли Вэлиант (Leslie G. Valiant) | ( Рейкьявик ) |
| 2007 | Дана Скотт (Dana S. Scott) | ( Вроцлав ) |
| 2006 | (Mike Paterson) | ( Венеция ) |
| 2005 | Робин Милнер (Robin Milner) | ( Лиссабон ) |
| 2004 | Арто Саломаа (Arto Salomaa) | ( Турку ) |
| 2003 | (Grzegorz Rozenberg) | ( Эйндховен ) |
| 2002 | Морис Нива (Maurice Nivat) | ( Малага ) |
| 2001 | Коррадо Бём (Corrado Böhm) | ( Крит ) |
| 2000 | Ричард Карп (Richard Karp) | ( Женева ) |
Премия Пресбургера
С 2010 года европейская ассоциация теоретической информатики (EATCS) во время конференции выдаёт молодому учёному (в особых случаях нескольким молодым учёным) за выдающийся вклад в теоретическую информатику, задокументированный опубликованной работой или серией работ. Премия названа в честь Мойжеша Пресбургера (Mojzesz Presburger), который будучи студентом написал в 1929 году новаторскую работу о разрешимости теории сложения (сегодня именуемой арифметикой Пресбургера ). Полный список лауреатов представлен ниже:
| Год | Лауреат | Место |
|---|---|---|
| 2018 | (Aleksander Mądry) | ( Прага ) |
| 2017 | (Alexandra Silva) | ( Варшава ) |
| 2016 | Марк Браверман (Mark Braverman) | ( Рим ) |
| 2015 | (Xi Chen) | ( Киото ) |
| 2014 | (David Woodruff) | ( Копенгаген ) |
| 2013 | (Erik Demaine) | ( Рига ) |
| 2012 | (Venkatesan Guruswami), (Mihai Patrascu) | ( Уорик ) |
| 2011 | (Patricia Bouyer-Decitre) | ( Цюрих ) |
| 2010 | (Mikołaj Bojańczyk) | ( Бордо ) |
Почётные члены научного сообщества EATCS
Программа Почётных членов научного сообщества EATCS была инициирована ассоциацией для признания выдающихся членов 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 — Автоматы, логика и игры | Тельч , Чехия |
Примечания
- от 14 января 2019 на Wayback Machine , от 2 октября 2019 на Wayback Machine .
- ↑ Брауэр, Утэ; : от 13 февраля 2019 на Wayback Machine
- от 13 февраля 2019 на Wayback Machine , Springer-Verlag .
- от 24 сентября 2014 на Wayback Machine , DBLP .
- от 13 февраля 2019 на Wayback Machine , Springer-Verlag .
- от 26 января 2011 на Wayback Machine , Европейская ассоциация теоретической информатики.
- от 29 августа 2016 на Wayback Machine Европейская ассоциация теоретической информатики.
Ссылки
- — официальный сайт EATCS
ashanti
- 2020-06-21
- 1
