Европейская ассоциация теоретической информатики - European Association for Theoretical Computer Science
Эта статья включает в себя список общих Рекомендации, но он остается в основном непроверенным, потому что ему не хватает соответствующих встроенные цитаты.Январь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) ( |
В Европейская ассоциация теоретической информатики (EATCS[1]) является международной организацией с Европейский focus, основанный в 1972 году. Его цель - способствовать обмену идеями и результатами между теоретиками-компьютерщиками, а также стимулировать сотрудничество между теоретическим и практическим сообществом в Информатика.
Основными направлениями деятельности EATCS являются:
- Организация ИКАЛП, то Международный коллоквиум по автоматам, языкам и программированию;[2]
- Издание серии монографий.[3][4] и тексты[5] на теоретическая информатика;
- Публикация Бюллетень EATCS;
- Издание журнала Теоретическая информатика;[2]
- Издание журнала Fundamenta Informaticae.
Премия 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 |
Тексты по теоретической информатике
Эта секция нуждается в расширении. Вы можете помочь добавляя к этому. (Сентябрь 2011 г.) |
Бюллетень EATCS
Ежегодно издаются три номера Бюллетеня, выходящие соответственно в феврале, июне и октябре. Бюллетень является средством быстрой публикации и широкого распространения таких материалов, как:
- EATCS имеет значение;
- информация о текущем ICALP;
- технический вклад;
- колонны;
- опросы и учебные пособия;
- отчеты о конференциях;
- календарь событий;
- отчеты по кафедрам и институтам информатики;
- списки технических отчетов и публикаций;
- отзывы о книге;
- открытые проблемы и решения;
- авторефераты кандидатских диссертаций;
- информация о посетителях различных заведений; и
- развлекательные материалы и изображения, связанные с информатикой.
С 2013 года его главным редактором является Кадзуо Ивама.
Школы молодых исследователей EATCS
Начиная с 2014 года Европейская ассоциация теоретической информатики (EATCS) учредила серию школ молодых исследователей по темам TCS. Ниже приводится краткая история школ.
Год | Тип | Место |
---|---|---|
2017 | ProbProgSchool 2017 - 1-я школа по основам программирования и программных систем. Вероятностное программирование | Брага, Португалия |
2015 | 2-я школа молодых исследователей EATCS - Понимание СЛОЖНОСТИ и СОВМЕСТИМОСТИ через ТОПОЛОГИЮ ДАННЫХ | Camerino, Италия |
2014 | 1-я школа молодых исследователей EATCS - автоматы, логика и игры | Telč, Чехия |
Смотрите также
Рекомендации
- ^ Что означает EATCS? Европейская ассоциация теоретической информатики, Acronym Finder.
- ^ а б Брауэр, Юте; Брауэр, Вильфрид: Европейская ассоциация теоретической информатики / Об ассоциации / Серебряный юбилей EATCS
- ^ Монографии по теоретической информатике. Серия EATCS, Springer-Verlag.
- ^ Монографии по теоретической информатике. Серия EATCS, DBLP.
- ^ Тексты по теоретической информатике. Серия EATCS, Springer-Verlag.
- ^ Премия EATCS, Европейская ассоциация теоретической информатики.
- ^ «Премия Пресбургера». Европейская ассоциация теоретической информатики. Получено 2020-07-23.
- ^ Стипендиаты EATCS Европейская ассоциация теоретической информатики.