Coloquio Internacional sobre Autómatas, Lenguajes y Programación (ICALP) | |
Tipo | Conferencia académica |
---|---|
Creación | 1972 |
Localización | varias ciudades de Europa |
Organizador | Asociación Europea de Ciencias de la Computación Teóricas |
Con fecha de | anual desde 1976 |
Sitio web | http://eatcs.org/index.php/conferences |
El Coloquio Internacional sobre Autómatas, Idiomas y Programación (abreviado como ICALP ) es la conferencia académica europea líder en informática teórica . Está organizado por la Asociación Europea de Ciencias de la Computación Teórica y se lleva a cabo anualmente en diferentes lugares de Europa .
Como es el caso de la mayoría de las conferencias en informática teórica, las contribuciones propuestas son revisadas por pares de antemano. Las actas de las conferencias fueron objeto de una publicación en las Lecture Notes in Computer Science de Springer hasta 2015; desde 2016 son publicados por Leibniz-Zentrum für Informatik en la colección Leibniz International Proceedings in Informatics (LIPcs).
La primera conferencia de la serie se celebró en 1972 en París , la segunda en 1974 en Saarbrücken y, a partir de 1976, la ICALP se convirtió en una conferencia anual que tradicionalmente tiene lugar a mediados de julio.
El tema de la conferencia se dividió tradicionalmente en dos partes, los algoritmos de la “pista A” , los autómatas, la complejidad y los juegos y la semántica de la “pista B” y la teoría de la programación . Desde 2005, se ha añadido una nueva parte, la "pista C", cuyo título era Fundamentos de seguridad y criptografía hasta 2008, y Fundamentos de la computación en red: modelos, algoritmos y gestión de la información a partir de 2009. La "pista C» ya no aparece desde 2020 , sus temas se han incorporado a la pista A.
Los temas abordados durante las recientes conferencias de ICALP son típicamente: computabilidad , teoría de autómatas , teoría de lenguajes formales , análisis de algoritmos , complejidad , aspectos matemáticos de la definición de lenguajes de programación , lógica y semántica de lenguajes de programación , conceptos básicos de la programación lógica , demostración automática , especificación de software, geometría computacional , tipos de datos y estructuras de datos , teoría de bases de datos y bases de conocimiento de sistemas , criptografía , estructuras VLSI , computación paralela y computación distribuida , modelos de competencia y robótica .
La importancia de la conferencia se mide por su audiencia; en 2016, se enviaron 515 artículos, la puntuación más alta jamás alcanzada: 319 para la pista A, 121 para la pista B y 75 para la pista C. Entre estas presentaciones, se seleccionaron 146 artículos para el programa científico. En 2020, hubo 470 presentaciones para la pista A y 123 para la pista B, 102 fueron aceptadas para la pista A y 36 para la pista B.
El Premio Gödel es un premio a los artículos destacados en informática teórica. Es otorgado conjuntamente por EATCS y el comité ACM SIGACT . Se presenta a los galardonados cada dos años en la conferencia ICALP y los otros años en la conferencia STOC ( Simposio ACM sobre Teoría de la Computación ).
El Premio Presburger también se otorga en la conferencia ICALP. Otros premios se otorgan durante la conferencia: el “ Premio al Mejor Trabajo EATCS ” y el “ Premio al Mejor Trabajo ICALP al Estudiante ” , que premian respectivamente el mejor artículo presentado y el mejor artículo presentado por los estudiantes.