El Simposio ACM-IEEE sobre lógica en informática ( LICS ) es una conferencia académica anual sobre la teoría y la práctica de la informática en relación con la lógica matemática . Las versiones ampliadas 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 .
Historia
LICS fue originalmente patrocinado únicamente por el IEEE , pero a partir de la fundación en 2014 del Grupo de Interés Especial sobre Lógica y Computación de la ACM, LICS se ha convertido en la conferencia insignia de SIGLOG, bajo el patrocinio conjunto de la ACM y el IEEE. [1]
Desde la tercera [2]
entrega en 1988 hasta 2013, la portada de las actas de la conferencia ha presentado una obra de arte titulada Irrational Tiling by Logical Quantifiers (Alicatado irracional mediante cuantificadores lógicos) , de Alvy Ray Smith . [3]
Desde 1995, cada año se otorga el premio Kleene al mejor artículo de un estudiante. Además, desde 2006, se otorga anualmente el premio LICS Test-of-Time a uno de los artículos LICS de veinte años de antigüedad que mejor han superado la prueba del tiempo. [4]
Premios LICS
Premio a la prueba del tiempo
Cada año, desde 2006, el premio LICS Test-of-Time reconoce aquellos artículos de actas de LICS de 20 años antes que se han vuelto influyentes.
2006
- Leo Bachmair, Nachum Dershowitz , Jieh Hsiang, "Ordenamientos para pruebas ecuacionales"
- E. Allen Emerson , Chin-Laung Lei, "Verificación eficiente de modelos en fragmentos del cálculo mu proposicional (resumen ampliado)"
- Moshe Y. Vardi , Pierre Wolper , "Un enfoque teórico de autómatas para la verificación automática de programas (informe preliminar)"
2007
2008
2009
2010
- Rajeev Alur , Costas Courcoubetis, David L. Dill , "Verificación de modelos para sistemas en tiempo real"
- Jerry R. Burch, Edmund Clarke , Kenneth L. McMillan , David L. Dill , James Hwang, "Verificación de modelos simbólicos: 10^20 estados y más allá"
- Max Dauchet, Sophie Tison, "La teoría de los sistemas de reescritura fundamental es decidible"
- Peter Freyd , "Tipos recursivos reducidos a tipos inductivos"
2011
- Patrice Godefroid, Pierre Wolper , "Un enfoque parcial para la verificación de modelos"
- Joshua Hodas, Dale Miller , "Programación lógica en un fragmento de lógica lineal intuicionista"
- Dexter Kozen , "Un teorema de completitud para las álgebras de Kleene y el álgebra de eventos regulares"
2012
- Thomas Henzinger , Xavier Nicollin, Joseph Sifakis , Sergio Yovine, "Comprobación de modelos simbólicos para sistemas en tiempo real"
- Jean-Pierre Talpin, Pierre Jouvelot, "La disciplina del tipo y del efecto"
2013
2014
- Martin Hofmann [de] , Thomas Streicher , "El modelo grupoide refuta la unicidad de las pruebas de identidad"
- Dale Miller , "Una metalógica de conclusiones múltiples"
2015
- Igor Walukiewicz, "Completitud de la axiomatización de Kozen del cálculo proposicional Mu"
2016
- Parosh A. Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay, "Teoremas generales de decidibilidad para sistemas de estados infinitos"
- Iliano Cervesato, Frank Pfenning , "Un marco lógico lineal"
2017
2018
- Martín Abadi , Cédric Fournet, Georges Gonthier , "Implementación segura de abstracciones de canales"
- Samson Abramsky , Kohei Honda, Guy McCusker, "Una semántica de juego completamente abstracta para referencias generales"
2019
- Marcelo P. Fiore, Gordon D. Plotkin , Daniele Turi, "Sintaxis abstracta y vinculación de variables"
- Murdoch Gabbay, Andrew M. Pitts, "Un nuevo enfoque de la sintaxis abstracta que implica vinculantes"
2020
- Luca de Alfaro, Thomas A. Henzinger , "Juegos Omega-Regulares Concurrentes"
- Hiroshi Nakano, “Una modalidad para la recursión”
2021
- Aaron Stump, Clark W. Barrett, David L. Dill , Jeremy R. Levitt, "Un procedimiento de decisión para una teoría extensional de matrices"
- Hongwei Xi, "Tipos dependientes para la verificación de terminación del programa"
Premio Kleene
En cada conferencia se entrega el premio Kleene , en honor a SC Kleene , al mejor artículo estudiantil.
Véase también
Notas
- ^ Panangaden, Prakash (julio de 2014), "¡Bienvenidos a SIGLOG!", Carta del presidente, SIGLOG News , 1 (1): 2–3.
- ^ "Archivo LICS". Simposio ACM/IEEE sobre lógica en informática . Consultado el 26 de febrero de 2024 .
- ^ Mosaico irracional mediante cuantificadores lógicos. Portada de LICS por Alvy Ray Smith.
- ^ Sitio web de los premios LICS
Enlaces externos
