ICALP , el Coloquio Internacional sobre Autómatas, Lenguajes y Programación es una conferencia académica organizada anualmente por la Asociación Europea de Informática Teórica y que se celebra en diferentes lugares de Europa . Como la mayoría de las conferencias teóricas sobre informática, sus contribuciones están fuertemente revisadas por pares. Los artículos aparecieron en actas publicadas por Springer en sus Lecture Notes in Computer Science , pero a partir de 2016 son publicados por Leibniz International Proceedings in Informatics . [1]
La serie de conferencias ICALP fue establecida por Maurice Nivat , [2] quien organizó la primera ICALP en París , Francia , en 1972. La segunda ICALP se celebró en 1974 y, desde 1976, ICALP ha sido un evento anual, que hoy en día suele tener lugar en julio.
Desde 1999, la conferencia se dividió temáticamente en dos temas: "Algoritmos, Complejidad y Juegos" (Pista A) y "Autómatas, Lógica, Semántica y Teoría de la Programación" (Pista B), correspondientes (al menos hasta 2005) dos corrientes principales de la revista Theoretical Computer Science . A partir de la conferencia de 2005, se añadió una tercera vía (Pista C) para permitir una cobertura más profunda de un tema en particular. De 2005 a 2008, el tercer tema estuvo dedicado a "Fundamentos de seguridad y criptografía", y en 2009 se dedica al tema "Fundamentos de la computación en red: modelos, algoritmos y gestión de la información". La Vía C se eliminó de la conferencia de 2020, y se invitó a las presentaciones de estas áreas a enviarse a la Vía A. Debido a la pandemia de COVID-19, la conferencia de 2020 también fue inusual y se llevó a cabo virtualmente por primera vez (habiendo sido originalmente programada para tomar lugar en Beijing, China y luego se mudó a Saarbrücken, Alemania). [3] ICALP 2021 también se llevó a cabo virtualmente.
El Premio Gödel, un premio a trabajos destacados en informática teórica y otorgado conjuntamente por la EATCS y el ACM SIGACT , se presenta cada dos años en el ICALP. La presentación del premio, que se otorga anualmente, se alterna con la conferencia STOC ( ACM Symposium on Theory of Computing ).