El Simposio ACM – IEEE sobre Lógica en Ciencias de la Computación ( LICS ) es una conferencia académica anual sobre la teoría y la práctica de las ciencias de la computación en relación con la lógica matemática . Las versiones extendidas de artículos seleccionados de la conferencia de cada año aparecen en revistas internacionales de renombre como Logical Methods in Computer Science y ACM Transactions on Computational Logic .
LICS fue patrocinado originalmente únicamente por IEEE , pero a partir de la fundación en 2014 del Grupo de Interés Especial ACM en Lógica y Computación , LICS se ha convertido en la conferencia insignia de SIGLOG, bajo el patrocinio conjunto de ACM e IEEE. [1]
Desde la primera entrega en 1988, la portada de las actas de la conferencia ha presentado una obra de arte titulada Irrational Tiling de Logical Quantifiers , de Alvy Ray Smith . [2]
Desde 1995, cada año se otorga el premio Kleene al mejor trabajo de un estudiante. Además, desde 2006, el premio LICS Test-of-Time Award se otorga anualmente a uno de los artículos LICS de veinte años que mejor han superado la prueba del tiempo. [3]
Cada año, desde 2006, el premio LICS Test-of-Time Award reconoce los artículos de los procedimientos de LICS 20 años antes, que se han vuelto influyentes.