Международный коллоквиум по автоматам, языкам и программированию
Международный коллоквиум по автоматам, языкам и программированию | |
---|---|
Аббревиатура | ИКП |
Дисциплина | Теоретическая информатика |
Подробности публикации | |
Издатель | Липики |
История | 1972– |
Частота | годовой (с 1976 г.) |
да |
ICALP , Международный коллоквиум по автоматам, языкам и программированию — это научная конференция, ежегодно организуемая Европейской ассоциацией теоретической информатики и проводимая в разных местах Европы . Как и большинство конференций по теоретической информатике, ее материалы строго рецензируются. Статьи появились в материалах, опубликованных Springer в их «Lecture Notes in Computer Science» , но начиная с 2016 года они вместо этого публикуются в Leibniz International Proceedings in Informatics . [1]
Серию конференций ICALP основал Морис Ниват . [2] который организовал первый ICALP в Париже , Франция, в 1972 году. Второй ICALP был проведен в 1974 году, а с 1976 года ICALP стал ежегодным мероприятием, которое в настоящее время обычно проводится в июле.
С 1999 года конференция была тематически разделена на два направления: «Алгоритмы, сложность и игры» (трек А) и «Автоматы, логика, семантика и теория программирования» (трек Б), соответствующие (по крайней мере до 2005 г.) два основных направления журнала Theoretical Computer Science . Начиная с конференции 2005 года, был добавлен третий трек (Трек C), чтобы обеспечить более глубокое освещение конкретной темы. С 2005 по 2008 год третий трек был посвящен «Основам безопасности и криптографии», а в 2009 году — теме «Основы сетевых вычислений: модели, алгоритмы и управление информацией». Трек C был исключен из конференции 2020 года, а материалы из этих областей было предложено подавать в трек A. Из-за пандемии COVID-19 конференция 2020 года также была необычной: она проводилась практически впервые (изначально планировалось, что она пройдет в место в Пекине, Китай, а затем переехал в Саарбрюккен, Германия). [3] ICALP 2021 тоже прошел виртуально.
Премия Гёделя
[ редактировать ]Премия Гёделя — премия за выдающиеся работы в области теоретической информатики, присуждаемая совместно EATCS и ACM SIGACT представляются на выставке ICALP раз в два года.Вручение премии, которая вручается ежегодно, чередуется с конференцией STOC ( ACM Symposium on Theory of Computing ).
См. также
[ редактировать ]- Список конференций по информатике содержит и другие научные конференции по информатике.
- Тематика конференции охватывает область теоретической информатики .
Ссылки
[ редактировать ]- ^ Сообщение Джеффа Эриксона, председателя руководящего комитета SoCG, 18 ноября 2014 г. , а также цитата из электронного письма Луки Ачето, президента EATCS, о ICALP.
- ^ Розенберг, Гжегож; Саломаа, Арто (2002). «ICALP, EATCS и Морис Ниват» . Теоретическая информатика . 281 (1–2): 25–30. дои : 10.1016/S0304-3975(02)00005-1 .
- ^ Чумай, Артур; Давар, Анудж; Мерелли, Эмануэла (2020). «Основная тема, оглавление, предисловие, организация конференции». 47-й Международный коллоквиум по автоматам, языкам и программированию (ICALP 2020) . Лейбниц Международные труды по информатике. Том. 168. дои : 10.4230/LIPIcs.ICALP.2020.0 .
- Международный коллоквиум по автоматам, языкам и программированию (ICALP) на веб-сайте EATCS .
- «Буклет EATCS» (PDF) , Бюллетень EATCS , 97 : 212–214, 2009 .
- Джорджио, Оссиелло (2008), «Письмо президента» (PDF) , Бюллетень EATCS , 94 : 3–5 .
- Кудлек, Манфред (2008), «Отчет о ICALP 2008» (PDF) , Бюллетень EATCS , 96 : 131–140 .
Внешние ссылки
[ редактировать ]- Информация о процедурах ICALP из DBLP
- ICALP 2021 , онлайн, пройдет в Глазго , Шотландия.
- ICALP 2020 , онлайн, пройдет в Саарбрюккене , Германия.
- ICALP 2019 , Патры , Греция
- ICALP 2018 , Прага , Чехия
- ICALP 2017 , Варшава , Польша
- ICALP 2016 , Рим , Италия
- ICALP 2015 , Киото , Япония
- ICALP 2014 , Копенгаген , Дания
- ICALP 2013 , Рига , Латвия
- ICALP 2010 , Бордо , Франция
- ICALP 2009. Архивировано 4 марта 2016 г. в Wayback Machine , Родос , Греция.
- ICALP 2008 , Рейкьявик , Исландия
- ICALP 2007 , Вроцлав , Польша
- ICALP 2006. Архивировано 9 июня 2006 г. в Wayback Machine , Венеция , Италия.
- ICALP 2005 , Лиссабон , Португалия
- ICALP 2004 , Турку , Финляндия
- ICALP 2003 , Эйндховен , Нидерланды
- ICALP 2002 , Малага , Испания
- ICALP 2001, Ираклион , Крит , Греция
- ICALP 2000, Женева , Швейцария
- ICALP 1999, Прага , Чехия
- ICALP 1998, Ольборг , Дания
- ICALP 1997 , Болонья , Италия