Loading AI tools
Из Википедии, свободной энциклопедии
European Association for Theoretical Computer Science (с англ. «Европейская Ассоциация Теоретической Информатики»), сокр. EATCS[1] — международная организация европейской направленности, организованная в 1972 году. Её целью является содействие обмену идеями и результатами работ среди информатиков теоретиков а также стимулировать взаимодействие между теоретиками и практиками в информатике.
Основными действиями организации EATCS являются:
Каждый год ассоциацией вручается премия EATCS[6] в знак признания блестящей карьеры в теоретической информатике. Первая премия была вручена Ричарду Карпу в 2000 году; полный список лауреатов приведён ниже:
Год | Лауреат | Место |
---|---|---|
2018 | Ноам Нисан[англ.] (Noam Nisan) | ICALP[англ.] (Прага) |
2017 | Эва Тардош (Éva Tardos) | ICALP[англ.] (Варшава) |
2016 | Декстер Козен[англ.] (Dexter Kozen) | ICALP[англ.] (Рим) |
2015 | Христос Пападимитриу (Christos Papadimitriou) | ICALP[англ.] (Киото) |
2014 | Гордон Плоткин[англ.] (Gordon Plotkin) | ICALP[англ.] (Копенгаген) |
2013 | Мартин Дайер[англ.] (Martin Dyer) | ICALP[англ.] (Рига) |
2012 | Моше Варди (Moshe Vardi) | ICALP[англ.] (Уорик) |
2011 | Борис Трахтенброт (Boris Trakhtenbrot) | ICALP[англ.] (Цюрих) |
2010 | Курт Мёльхорн[англ.] (Kurt Mehlhorn) | ICALP[англ.] (Бордо) |
2009 | Жерар Юэ (Gérard Huet) | ICALP[англ.] (Родос) |
2008 | Лесли Вэлиант (Leslie G. Valiant) | ICALP[англ.] (Рейкьявик) |
2007 | Дана Скотт (Dana S. Scott) | ICALP[англ.] (Вроцлав) |
2006 | Паттерсон, Майк Стюарт[англ.] (Mike Paterson) | ICALP[англ.] (Венеция) |
2005 | Робин Милнер (Robin Milner) | ICALP[англ.] (Лиссабон) |
2004 | Арто Саломаа (Arto Salomaa) | ICALP[англ.] (Турку) |
2003 | Гжегож Розенберг[англ.] (Grzegorz Rozenberg) | ICALP[англ.] (Эйндховен) |
2002 | Морис Нива (Maurice Nivat) | ICALP[англ.] (Малага) |
2001 | Коррадо Бём (Corrado Böhm) | ICALP[англ.] (Крит) |
2000 | Ричард Карп (Richard Karp) | ICALP[англ.] (Женева) |
С 2010 года европейская ассоциация теоретической информатики (EATCS) во время конференции ICALP[англ.] выдаёт премию Пресбургера[англ.] молодому учёному (в особых случаях нескольким молодым учёным) за выдающийся вклад в теоретическую информатику, задокументированный опубликованной работой или серией работ. Премия названа в честь Мойжеша Пресбургера (Mojzesz Presburger), который будучи студентом написал в 1929 году новаторскую работу о разрешимости теории сложения (сегодня именуемой арифметикой Пресбургера). Полный список лауреатов представлен ниже:
Год | Лауреат | Место |
---|---|---|
2018 | Александр Мадры[англ.] (Aleksander Mądry) | ICALP[англ.] (Прага) |
2017 | Александра Сильва[англ.] (Alexandra Silva) | ICALP[англ.] (Варшава) |
2016 | Марк Браверман (Mark Braverman) | ICALP[англ.] (Рим) |
2015 | Кси Чен[англ.] (Xi Chen) | ICALP[англ.] (Киото) |
2014 | Дейвид Вудруф[англ.] (David Woodruff) | ICALP[англ.] (Копенгаген) |
2013 | Эрик Демэйн[англ.] (Erik Demaine) | ICALP[англ.] (Рига) |
2012 | Венкатесан Гурусвами[англ.] (Venkatesan Guruswami), Михай Патраску[англ.] (Mihai Patrascu) | ICALP[англ.] (Уорик) |
2011 | Патриция Буэр-Децитрэ[англ.] (Patricia Bouyer-Decitre) | ICALP[англ.] (Цюрих) |
2010 | Миколай Боянчик[англ.] (Mikołaj Bojańczyk) | ICALP[англ.] (Бордо) |
Программа Почётных членов научного сообщества 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 | Золтан Есик[англ.] (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) |
Этот раздел не завершён. |
Ежегодно публикуется три издания бюллетеня — в феврале, июне и октябре. Бюллетень является средством для быстрой публикации и широкого освещения следующих материалов:
С 2013 года его главным редактором является Казуо Ивама[англ.] (Kazuo Iwama).
С 2014 года, Европейская ассоциация теоретической информатики (EATCS) основала ряд Школ молодых исследователей по различным вопросам информатики. Ниже приведена краткая история школы:
Год | Описание | Место |
---|---|---|
2017 | ProbProgSchool 2017 — 1-я школа по основам программирования и систем ПО. Вероятностное программирование. | Брага, Португалия |
2015 | 2-я Школа молодых исследователей EATCS — объяснение понятий вычислительной сложности и одновременного исполнения через топологию данных. | Камерино, Италия |
2014 | 1-я Школа молодых исследователей EATCS — Автоматы, логика и игры | Тельч, Чехия |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.