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 celebrada en diferentes lugares de Europa . Como la mayoría de las conferencias de informática teórica, sus contribuciones son revisadas por pares. Los artículos han aparecido en actas publicadas por Springer en sus Lecture Notes in Computer Science , pero a partir de 2016 se publican en 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 actualmente suele tener lugar en julio.
Desde 1999, la conferencia se dividió temáticamente en dos secciones: "Algoritmos, complejidad y juegos" (sección A) y "Autómatas, lógica, semántica y teoría de la programación" (sección B), que corresponden a las dos principales corrientes (al menos hasta 2005) de la revista Theoretical Computer Science . A partir de la conferencia de 2005, se agregó una tercera sección (sección C) para permitir una cobertura más profunda de un tema en particular. Desde 2005 hasta 2008, la tercera sección se dedicó a "Fundamentos de seguridad y criptografía", y en 2009, se dedicó al tema "Fundamentos de computación en red: modelos, algoritmos y gestión de la información". El tema C fue eliminado de la conferencia de 2020, y se invitó a las presentaciones de estas áreas a enviarlas al tema A. Debido a la pandemia de COVID-19, la conferencia de 2020 también fue inusual, ya que se llevó a cabo de manera virtual por primera vez (había estado programada originalmente para realizarse en Beijing, China y luego se trasladó a Saarbrücken, Alemania). [3] ICALP 2021 también se llevó a cabo de manera virtual.
El premio Gödel, un galardón para trabajos destacados en el campo de la informática teórica y otorgado conjuntamente por la EATCS y la ACM SIGACT , se entrega cada dos años en el ICALP. La entrega del premio, que se otorga anualmente, se alterna con la conferencia STOC ( Simposio ACM sobre teoría de la computación ).