Международный коллоквиум по автоматам, языкам и программированию - International Colloquium on Automata, Languages and Programming

Международный коллоквиум по автоматам, языкам и программированию
СокращениеИКАЛП
ДисциплинаТеоретическая информатика
Детали публикации
ИздательLIPIcs
История1972–
Частотаежегодно (с 1976 г.)
да

ИКАЛП, то Международный коллоквиум по автоматам, языкам и программированию является научная конференция ежегодно организует Европейская ассоциация теоретической информатики и проводится в разных местах вокруг Европа. Как и большинство конференций по теоретической информатике, его работы проходят строгую рецензию. Статьи появились в сборниках трудов, опубликованных Springer в их Конспект лекций по информатике, но начиная с 2016 г. они публикуются Лейбниц Международные труды по информатике.[1]

Серия конференций ICALP была основана Морис Нива,[2] кто организовал первый ICALP в Париж, Франция в 1972 году. Второй ICALP был проведен в 1974 году, а с 1976 года ICALP проводится ежегодно, в настоящее время обычно проводится в июле.

Традиционно конференция была тематически разделена на два трека: «Алгоритмы, сложность и игры» (трек A) и «Автоматы, логика, семантика и теория программирования» (трек B), соответствующие (по крайней мере, до 2005 г.) двум основные потоки журнала Теоретическая информатика. Начиная с конференции 2005 года, был добавлен третий трек (Track C), чтобы обеспечить более глубокое освещение конкретной темы. С 2005 по 2008 год третий трек был посвящен «Основам безопасности и криптографии», а в 2009 году он посвящен теме «Основы сетевых вычислений: модели, алгоритмы и управление информацией». Трек C был исключен из конференции 2020 года, и материалы из этих областей были приглашены для подачи в Track A;[3] Конференция 2020 года также была необычной, поскольку проводилась практически впервые (изначально планировалось, что она состоится в Пекине, Китай, а затем переехала в Саарбрюккен, Германия).

Премия Гёделя

Основная статья: Премия Гёделя

Премия Геделя за выдающиеся работы в области теоретической информатики, присуждаемая совместно EATCS и ACM SIGACT, проводится раз в два года на ICALP. Вручение премии, которая присуждается ежегодно, чередуется с конференцией STOC (Симпозиум ACM по теории вычислений ).

Смотрите также

Рекомендации

  1. ^ Сообщение Джеффа Эриксона, председателя руководящего комитета SoCG, 18 ноября 2014 г., также цитируется электронное сообщение об ICALP, сделанное Лукой Асето, президентом EATCS.
  2. ^ Розенберг, Гжегож; Саломаа, Арто (2002). «ICALP, EATCS и Морис Нива». Теоретическая информатика. 281 (1–2): 25–30. Дои:10.1016 / S0304-3975 (02) 00005-1.
  3. ^ Чумай, Артур; Давар, Анудж; Мерелли, Эмануэла (2020). «Front Matter, Table of Contents, Preface, Conference Organization, 47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)». Лейбниц Международные труды по информатике. 168. Дои:10.4230 / LIPIcs.ICALP.2020.0.

внешняя ссылка