Hispanopedia WikiEl 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 . Versiones ampliadas de artículos seleccionados de la conferencia de cada año se publican en prestigiosas revistas internacionales como Logical Methods in Computer Science y ACM Transactions on Computational Logic .
Historia
LICS fue originalmente patrocinado únicamente por el IEEE , pero desde la fundación en 2014 del Grupo de Interés Especial en 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 , de Alvy Ray Smith . [ 3 ]
Desde 1995, el premio Kleene se otorga anualmente al mejor trabajo estudiantil. Además, desde 2006, el premio LICS Test-of-Time se concede cada año a uno de los trabajos de LICS con veinte años de antigüedad que mejor ha resistido el paso del tiempo. [ 4 ]
Premios LICS
Premio a la trayectoria
Cada año, desde 2006, el premio LICS Test-of-Time Award reconoce aquellos artículos de las actas de LICS publicadas 20 años antes que se han vuelto influyentes.
2006
- Leo Bachmair , Nachum Dershowitz , Jieh Hsiang , "Órdenes para demostraciones ecuacionales"
- E. Allen Emerson , Chin-Laung Lei , "Verificación eficiente de modelos en fragmentos del cálculo mu proposicional (resumen extendido)"
- Moshe Y. Vardi , Pierre Wolper , "Un enfoque basado en la teoría de autómatas para la verificación automática de programas (Informe preliminar)"
2007
- Samson Abramsky , "Teoría de dominios en forma lógica"
- Robert Harper , Furio Honsell , Gordon D. Plotkin , "Un marco para definir lógicas"
2008
- Martin Abadi , Leslie Lamport , "La existencia de mapeos de refinamiento"
2009
- Eugenio Moggi , "Cálculo lambda computacional y mónadas"
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 y Sophie Tison afirman: "La teoría de los sistemas de reescritura de base 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 , "Verificación simbólica de modelos para sistemas en tiempo real"
- Jean-Pierre Talpin , Pierre Jouvelot , "La disciplina del tipo y del efecto"
2013
- Leo Bachmair , Harald Ganzinger , Uwe Waldmann , "Las restricciones de conjuntos son la clase monádica"
- André Joyal , Mogens Nielson , Glynn Winskel , "Bisimulación y mapas abiertos"
- Benjamin C. Pierce , Davide Sangiorgi , "Tipado y subtipado para procesos móviles"
2014
- Martin Hofmann , Thomas Streicher , "El modelo de 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 mu proposicional"
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
- Richard Blute , Josée Desharnais , Abbas Edalat , Prakash Panangaden , "Bisimulación para procesos de Markov etiquetados"
- Daniele Turi , Gordon D. Plotkin , "Hacia una semántica operacional matemática"
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 juegos totalmente 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 para la sintaxis abstracta que involucra ligaduras"
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 arreglos"
- Hongwei Xi , "Tipos dependientes para la verificación de la terminación del programa"
2022
- Josée Desharnais , Vineet Gupta , Radha Jagadeesan , Prakash Panangaden , "El análogo métrico de la bisimulación débil para procesos probabilísticos"
- François Laroussinie , Nicolas Markey , Philippe Schnoebelen , "Lógica temporal con un pasado olvidable"
Premio Kleene
En cada conferencia se entrega el premio Kleene , en honor a SC Kleene , al mejor trabajo estudiantil.
Véase también
- La lista de conferencias de informática incluye otras conferencias académicas sobre informática.
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 ciencias de la computación . Consultado el 26 de febrero de 2024 .
- ↑ Teselado irracional mediante cuantificadores lógicos. Portada de LICS por Alvy Ray Smith.
- ↑ Sitio web de los premios LICS
Enlaces externos
- Página principal de LICS
- Conferencias teóricas de informática
- conferencias de lógica
- Lógica en informática
- conferencias IEEE
