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 IEEE , pero a partir de la fundación de 2014 del Grupo de Interés Especial de 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 tercera [2]
entrega en 1988 hasta 2013, la portada de las actas de la conferencia presentó una obra de arte titulada Irrational Tiling by Logical Quantifiers , de Alvy Ray Smith . [3]
Desde 1995, el premio Kleene se otorga cada año al mejor trabajo estudiantil. Además, desde 2006, el premio LICS Test-of-Time se otorga anualmente 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 las actas de LICS de 20 años antes, que se han vuelto influyentes.
2006
- Leo Bachmair, Nachum Dershowitz , Jieh Hsiang, "Órdenes de pruebas ecuacionales"
- E. Allen Emerson , Chin-Laung Lei, "Verificación eficiente del modelo en fragmentos del cálculo Mu proposicional (resumen ampliado)"
- Moshe Y. Vardi , Pierre Wolper , "Un enfoque teórico de los 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"
- Max Dauchet, Sophie Tison, "La teoría de los sistemas de reescritura básica 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 A. 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, "Verificación de modelos simbólicos para sistemas en tiempo real"
- Jean-Pierre Talpin, Pierre Jouvelot, "La disciplina de tipos y efectos"
2013
2014
- Martin Hofmann [de] , Thomas Streicher , "El modelo grupoide refuta la unicidad de las pruebas de identidad"
- Dale A. Miller, "Una metalógica de conclusiones múltiples"
2015
- Igor Walukiewicz, "Integridad de la axiomatización del cálculo mu proposicional de Kozen"
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 involucra aglutinantes"
2020
- Luca de Alfaro, Thomas A. Henzinger , "Juegos Omega-Regulares Concurrentes"
- Hiroshi Nakano, "Una modalidad de recursividad"
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 la terminación del programa"
premio kleene
En cada conferencia se otorga el premio Kleene , en honor a SC Kleene , al mejor trabajo estudiantil.
Ver también
Notas
- ^ Panangaden, Prakash (julio de 2014), "¡Bienvenido 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 por cuantificadores lógicos Portada de LICS de Alvy Ray Smith.
- ^ Sitio web de premios LICS
enlaces externos