Введение

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