Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
Европейская ассоциация теоретических компьютерных наук (EATCS) — международная организация с европейским фокусом, основанная в 1972 году. Её целью является содействие обмену идеями и результатами между теоретическими учеными в области компьютерных наук, а также стимулирование сотрудничества между теоретическим и практическим сообществами в информатике. Основные направления деятельности EATCS:
The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. The major activities of the EATCS are:
Организация ICALP, Международного коллоквиума по автоматике, языкам и программированию;
Публикация Бюллетеня EATCS;
Публикация серии монографий и учебников по теоретической информатике;
Публикация журнала Theoretical Computer Science;
Присуждение премии в знак признания выдающейся карьеры в теоретической информатике. Первая премия была присуждена Ричарду Карпу в 2000 году; полный список победителей приведен ниже:
Organization of ICALP, the International Colloquium on Automata, Languages and Programming;
Publication of the Bulletin of the EATCS;
Publication of a series of monographs and texts on theoretical computer science;
Publication of the journal Theoretical Computer Science; is awarded in recognition of a distinguished career in theoretical computer science. The first award was assigned to Richard Karp in 2000; the complete list of the winners is given below:
Year Awarded Place 2023 Amos Fiat ICALP (Paderborn) 2022 Patrick Cousot ICALP (Paris) 2021 Toniann Pitassi ICALP (Glasgow) 2020 Mihalis Yannakakis ICALP (Saarbrücken) 2019 Thomas Henzinger ICALP (Patras) 2018 Noam Nisan ICALP (Prague) 2017 Éva Tardos ICALP (Warsaw) 2016 Dexter Kozen ICALP (Rome) 2015 Christos Papadimitriou ICALP (Kyoto) 2014 Gordon Plotkin ICALP (Copenhagen) 2013 Martin Dyer ICALP (Riga) 2012 Moshe Vardi ICALP (Warwick) 2011 Boris Trakhtenbrot ICALP (Zürich) 2010 Kurt Mehlhorn ICALP (Bordeaux) 2009 Gérard Huet ICALP (Rhodes) 2008 Leslie G. Valiant ICALP (Reykjavík) 2007 Dana S. Scott ICALP (Wrocław) 2006 Mike Paterson ICALP (Venice) 2005 Robin Milner ICALP (Lisbon) 2004 Arto Salomaa ICALP (Turku) 2003 Grzegorz Rozenberg ICALP (Eindhoven) 2002 Maurice Nivat ICALP (Málaga) 2001 Corrado Böhm ICALP (Crete) 2000 Richard Karp ICALP (Geneva)
Стипендиаты EATCS
Ассоциация учредила программу Fellows EATCS для признания выдающихся членов EATCS за их научные достижения в области теоретической информатики. Статус Fellow присваивается Комитетом по отбору Fellows EATCS лицу, продемонстрировавшему интеллектуальное и организационное лидерство в сообществе EATCS. Ожидается, что Fellows будут являться «образцовыми членами» сообщества теоретической информатики, способствуя повышению её авторитета за пределами сообщества.
The EATCS Fellows Program has been established by the Association to recognize outstanding EATCS Members for their scientific achievements in the field of Theoretical Computer Science. The Fellow status is conferred by the EATCS Fellows Selection Committee upon a person having a track record of intellectual and organizational leadership within the EATCS community. Fellows are expected to be “model citizens” of the TCS community, helping to develop the standing of TCS beyond the frontiers of the community. Awarded Recognized Year Luca Aceto 2021 Jiri Adamek 2018 Susanne Albers 2014 Rajeev Alur 2021 Giorgio Ausiello 2014 Wilfried Brauer 2014 Artur Czumaj 2015 Pierpaolo Degano 2020 Mariangiola Dezani Ciancaglini 2015 Josep Diaz 2017 Herbert Edelsbrunner 2014 Zoltán Ésik 2016 Mike Fellows 2014 Fedor Fomin 2019 Yuri Gurevich 2014 Mohammad Hajiaghayi 2020 Magnús M. Halldórsson 2020 David Harel 2016 Monika Henzinger 2014 Thomas A. Henzinger 2015 Giuseppe F. Italiano 2016 Samir Khuller 2021 Dexter Kozen 2015 Marta Kwiatkowska 2017 Stefano Leonardi 2018 Kurt Mehlhorn 2016 Rocco de Nicola 2019 David Peleg 2021 Jean Éric Pin 2014 Dana Ron 2019 Davide Sangiorgi 2021 Saket Saurabh 2021 Scott A. Smolka 2016 Paul Spirakis 2014 Aravind Srinivasan 2017 Wolfgang Thomas 2014 Moshe Y. Vardi 2015 Moti Yung 2017
Награждённый Год признания:
Лука Ацето 2021
Джири Адамек 2018
Сюзанна Альберс 2014
Раджив Алор 2021
Джорджио Аузиелло 2014
Вильфрид Брауэр 2014
Артур Цумай 2015
Пьерпаоло Дегано 2020
Мариангиола Дезани Чанчаглини 2015
Жозеп Диас 2017
Герберт Эдельсбруннер 2014
Золтан Эсик 2016
Майк Феллоуз 2014
Фёдор Фомин 2019
Юрий Гуревич 2014
Мохаммад Хаджиагайи 2020
Магнус М. Холдорссон 2020
Дэвид Харел 2016
Моника Хензингер 2014
Томас А. Хензингер 2015
Джузеппе Ф. Итальяно 2016
Самир Куллер 2021
Декстер Козен 2015
Марта Квятковска 2017
Стефано Леонарди 2018
Курт Мельхорн 2016
Рокко де Никола 2019
Давид Пелег 2021
Жан-Эрик Пин 2014
Дана Рон 2019
Давиде Сангиорджи 2021
Сакета Саурабх 2021
Скотт А. Смолка 2016
Павел Спиракис 2014
Аравинд Сринавасан 2017
Вольфганг Томас 2014
Моше Й. Варди 2015
Моти Юнг 2017
The EATCS Fellows Program has been established by the Association to recognize outstanding EATCS Members for their scientific achievements in the field of Theoretical Computer Science. The Fellow status is conferred by the EATCS Fellows Selection Committee upon a person having a track record of intellectual and organizational leadership within the EATCS community. Fellows are expected to be “model citizens” of the TCS community, helping to develop the standing of TCS beyond the frontiers of the community. Awarded Recognized Year Luca Aceto 2021 Jiri Adamek 2018 Susanne Albers 2014 Rajeev Alur 2021 Giorgio Ausiello 2014 Wilfried Brauer 2014 Artur Czumaj 2015 Pierpaolo Degano 2020 Mariangiola Dezani Ciancaglini 2015 Josep Diaz 2017 Herbert Edelsbrunner 2014 Zoltán Ésik 2016 Mike Fellows 2014 Fedor Fomin 2019 Yuri Gurevich 2014 Mohammad Hajiaghayi 2020 Magnús M. Halldórsson 2020 David Harel 2016 Monika Henzinger 2014 Thomas A. Henzinger 2015 Giuseppe F. Italiano 2016 Samir Khuller 2021 Dexter Kozen 2015 Marta Kwiatkowska 2017 Stefano Leonardi 2018 Kurt Mehlhorn 2016 Rocco de Nicola 2019 David Peleg 2021 Jean Éric Pin 2014 Dana Ron 2019 Davide Sangiorgi 2021 Saket Saurabh 2021 Scott A. Smolka 2016 Paul Spirakis 2014 Aravind Srinivasan 2017 Wolfgang Thomas 2014 Moshe Y. Vardi 2015 Moti Yung 2017
Школы EATCS для молодых исследователей
Начиная с 2014 года Европейская ассоциация теоретических компьютерных наук (EATCS) учредила серию школ для молодых исследователей по темам теоретической информатики. Ниже приведена краткая история школ. Год Тип Место 2017 ProbProgSchool 2017 – 1-я школа по основам программирования и программных систем. Вероятностное программирование Брага, Португалия 2015 2-я школа молодых исследователей EATCS – Понимание СЛОЖНОСТИ и ПАРАЛЛЕЛИЗМА через ТОПОЛОГИЮ ДАННЫХ Камерино, Италия 2014 1-я школа молодых исследователей EATCS – Автоматы, Логика и Игры Телч, Чехия
Beginning in 2014, the European Association for Theoretical Computer Science (EATCS) established a series of Young Researcher Schools on TCS topics. A brief history of the schools follows below. Year Type Place 2017 ProbProgSchool 2017 – 1st School on Foundations of Programming and Software systems. Probabilistic programming Braga, Portugal 2015 2nd EATCS Young Researchers School – Understanding COMPLEXITY and CONCURRENCY through TOPOLOGY of DATA Camerino, Italy 2014 1st EATCS Young Researchers School – Automata, Logic and Games Telč, Czech Republic