ICALP , Международный коллоквиум по автоматам, языкам и программированию — это академическая конференция, ежегодно организуемая Европейской ассоциацией теоретической информатики и проводимая в разных местах по всей Европе . Как и большинство конференций по теоретической информатике, ее вклады строго рецензируются. Статьи публиковались в трудах, опубликованных Springer в их Lecture Notes in Computer Science , но с 2016 года они вместо этого публикуются в Leibniz International Proceedings in Informatics . [1]
Серия конференций ICALP была основана Морисом Нива [2] , который организовал первую ICALP в Париже , Франция, в 1972 году. Вторая ICALP состоялась в 1974 году, а с 1976 года ICALP стала ежегодным мероприятием, в настоящее время обычно проходящим в июле.
С 1999 года конференция была тематически разделена на два трека: «Алгоритмы, сложность и игры» (трек A) и «Автоматы, логика, семантика и теория программирования» (трек B), что соответствовало (по крайней мере до 2005 года) двум основным направлениям журнала Theoretical Computer Science . Начиная с конференции 2005 года, был добавлен третий трек (трек C), чтобы обеспечить более глубокое освещение определенной темы. С 2005 по 2008 год третий трек был посвящен «Основам безопасности и криптографии», а в 2009 году он посвящен теме «Основы сетевых вычислений: модели, алгоритмы и управление информацией». Трек C был исключен из конференции 2020 года, а заявки из этих областей были приглашены для подачи в Трек A. Из-за пандемии COVID-19 конференция 2020 года также была необычной, впервые пройдя виртуально (первоначально ее планировалось провести в Пекине, Китай, а затем перенести в Саарбрюккен, Германия). [3] ICALP 2021 также прошла виртуально.
Премия Гёделя, премия за выдающиеся работы в области теоретической информатики, присуждаемая совместно EATCS и ACM SIGACT , вручается раз в два года на ICALP. Вручение премии, которая присуждается ежегодно, чередуется с конференцией STOC ( симпозиум ACM по теории вычислений ).