Coloquio internacional sobre autómatas, lenguajes y programación


De Wikipedia, la enciclopedia libre
Saltar a navegación Saltar a búsqueda

ICALP , el Coloquio Internacional sobre Autómatas, Idiomas y Programación es una conferencia académica organizada anualmente por la Asociación Europea de Ciencias de la Computación Teórica y que se lleva a cabo en diferentes lugares de Europa . Como la mayoría de los congresos teóricos de ciencias de la computación, sus contribuciones están fuertemente 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 son publicados por Leibniz International Proceedings in Informatics . [1]

La serie de conferencias de la 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 la ICALP es un evento anual, que en la actualidad suele tener lugar en julio.

Desde 1999, la conferencia se dividió temáticamente en dos pistas sobre "Algoritmos, complejidad y juegos" (pista A) y "Autómatas, lógica, semántica y teoría de la programación" (pista B), correspondientes al (al menos hasta 2005) dos corrientes principales de la revista Theoretical Computer Science. A partir de la conferencia de 2005, se agregó una tercera pista (pista C) para permitir una cobertura más profunda de un tema en particular. Desde 2005 hasta 2008, la tercera pista estuvo dedicada a "Fundamentos de seguridad y criptografía", y en 2009, se dedicó al tema "Fundamentos de la Computación en Red: Modelos, Algoritmos y Gestión de la Información". La pista C se eliminó de la conferencia de 2020, y las presentaciones de estas áreas se invitaron a enviarlas a la pista 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 llevarse a cabo lugar en Beijing, China y luego se trasladó a Saarbrücken, Alemania). [3] ICALP 2021 también se llevó a cabo virtualmente.

Premio Gödel

El Premio Gödel, premio a trabajos destacados en informática teórica y otorgado conjuntamente por la EATCS y la ACM SIGACT , se presenta cada dos años en ICALP. La presentación del premio, que se otorga anualmente, se alterna con la conferencia STOC ( Simposio ACM de Teoría de la Computación ).

Ver también

Referencias

  1. ^ Publicación de Jeff Erickson, presidente del comité directivo de SoCG, 18 de noviembre de 2014 , que también cita un anuncio por correo electrónico sobre ICALP de Luca Aceto, presidente de EATCS.
  2. ^ Rozenberg, Grzegorz; Salomaa, Arto (2002). "ICALP, EATCS y Maurice Nivat". Informática Teórica . 281 (1–2): 25–30. doi : 10.1016 / S0304-3975 (02) 00005-1 .
  3. ^ Czumaj, Artur; Dawar, Anuj; Merelli, Emanuela (2020). "Front Matter, Tabla de Contenidos, Prefacio, Organización de Conferencias, 47º Coloquio Internacional sobre Autómatas, Lenguajes y Programación (ICALP 2020)". Actas internacionales de Leibniz en informática . 168 . doi : 10.4230 / LIPIcs.ICALP.2020.0 .

enlaces externos

  • Información sobre procedimientos de ICALP de DBLP
  • ICALP 2021 , en línea, alojado en Glasgow , Escocia
  • ICALP 2020 , en línea, alojado en Saarbrücken , Alemania
  • ICALP 2019 , Patras , Grecia
  • ICALP 2018 , Praga , República Checa
  • ICALP 2017 , Varsovia , Polonia
  • ICALP 2016 , Roma , Italia
  • ICALP 2015 , Kyoto , Japón
  • ICALP 2014 , Copenhague , Dinamarca
  • ICALP 2013 , Riga , Letonia
  • ICALP 2010 , Burdeos , Francia
  • ICALP 2009 , Rodas , Grecia
  • ICALP 2008 , Reykjavík , Islandia
  • ICALP 2007 , Breslavia , Polonia
  • ICALP 2006 , Venecia , Italia
  • ICALP 2005 , Lisboa , Portugal
  • ICALP 2004 , Turku , Finlandia
  • ICALP 2003 , Eindhoven , Países Bajos
  • ICALP 2002, Málaga , España
  • ICALP 2001, Heraklion , Creta , Grecia
  • ICALP 2000, Ginebra , Suiza
  • ICALP 1999, Praga , República Checa
  • ICALP 1998, Aalborg , Dinamarca
  • ICALP 1997 , Bolonia , Italia
Obtenido de " https://en.wikipedia.org/w/index.php?title=International_Colloquium_on_Automata,_Languages_and_Programming&oldid=1041465924 "