| Simposio ACM-IEEE sobre lógica en informática (LICS) | |
| Tipo | Conferencia académica |
|---|---|
| Creación | 1988 |
| Localización | varias ciudades |
| Organizador | Grupo de Interés Especial de ACM en Lógica y Computación (SIGLOG) e IEEE |
| Con fecha de | anual |
| Sitio web | http://lics.rwth-aachen.de/ |
El Simposio ACM-IEEE sobre Lógica en Ciencias de la Computación (abreviado como LICS ) es la principal conferencia de ciencias de la computación relacionada con la lógica matemática . Tiene lugar anualmente, bajo los auspicios del Grupo de Interés Especial en Lógica y Computación (SIGLOG) y está organizado por ACM e IEEE .
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. La tasa de aceptación es significativamente menor al 50%. Para 2016, se aceptaron 85 artículos de 191 presentaciones. Para la selección, se obtuvieron 577 opiniones de pares de 264 revisores. Los artículos seleccionados se publican en las actas de la conferencia, editados conjuntamente por la ACM y el IEEE. Las versiones detalladas de los artículos seleccionados aparecen con frecuencia en revistas de renombre como Logical Methods in Computer Science o ACM Transactions on Computational Logic
Inicialmente, LICS fue financiado únicamente por el IEEE ; desde 2014 LICS se ha convertido en el evento insignia del Grupo de Interés Especial sobre Lógica y Computación de ACM (SIGLOG |) y está patrocinado conjuntamente por ACM y el IEEE.
Desde la primera conferencia en 1988, la portada de las actas de la conferencia ha sido decorada con un diseño titulado Irrational Tiling by Logical Quantifiers , de Alvy Ray Smith .
Los temas de la conferencia incluyen: teoría de autómatas , deducción automática, modelos categóricos y lógicas, computación distribuida y concurrencia , programación de restricciones , matemáticas constructivas , teoría de bases de datos , procedimientos de decisión, lógica descriptiva , teoría de dominios , teoría de modelos finitos , aspectos lógicos de bioinformática , lógica aspectos de complejidad computacional , aspectos lógicos de computación cuántica , lógica de programas, lógica modal y temporal , verificación de modelos , sistemas probabilísticos, cálculos de procesos, semántica de lenguajes de programación.
Los lugares para la conferencia varían: la primera conferencia, en 1986, se celebró en Cambridge, Massachusetts ; LICS 2014 en Viena , LICS 2015 en Kyoto , Japón, LICS 2016 en la Universidad de Columbia en la ciudad de Nueva York y LICS 2017 en Reykjavik .
Se llevan a cabo varios talleres al mismo tiempo que la conferencia. Para la conferencia de 2016, hubo 5 talleres:
Se otorgan dos premios en cada sesión, el premio al mejor artículo del alumno ( premio Kleene ) y el premio al mejor artículo mayor de 20 años ( test-of-time ). Estas recompensas son otorgadas por un comité de selección especial.
Cada año desde 1995, se otorga un Premio Kleene (en) al mejor trabajo de un estudiante, nombrado en honor a Stephen Cole Kleene . Ganadores recientes:
2016Cada año desde 2006, el premio LICS Test-of-Time se ha otorgado en reconocimiento a los artículos que aparecieron en las actas de conferencias al menos 20 años antes y que continúan teniendo influencia.
2017