Simposio de Lógica en Informática - Symposium on Logic in Computer Science
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 .
Historia
LICS fue patrocinado originalmente únicamente por el 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.
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 .
Desde 1995, cada año se otorga el premio Kleene al mejor trabajo de los estudiantes. 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 ha superado la prueba del tiempo.
Premios LICS
Premio prueba de tiempo
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.
2006
- Leo Bachmair , Nachum Dershowitz , Jieh Hsiang , "Ordenamientos para pruebas de ecuaciones"
- E. Allen Emerson , Chin-Laung Lei , "Comprobación eficiente del modelo en fragmentos del cálculo mu proposicional (resumen extendido)"
- Moshe Y. Vardi , Pierre Wolper , "Un enfoque teórico de los autómatas para la verificación automática de programas (informe preliminar)"
2007
- Samson Abramsky , "Teoría del dominio 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 asignaciones de refinamiento"
2009
- Eugenio Moggi , "Cálculo lambda computacional y mónadas"
2010
- Rajeev Alur , Costas Courcoubetis , David L. Dill , "Comprobación de modelos para sistemas en tiempo real"
- Jerry R. Burch , Edmund Clarke , Kenneth L. McMillan , David L. Dill , James Hwang , "Comprobación del modelo simbólico: 10 ^ 20 estados y más allá"
- 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 , "Comprobación de modelos simbólicos para sistemas en tiempo real"
- Jean-Pierre Talpin , Pierre Jouvelot , "La disciplina de tipo y efecto"
2013
- Leo Bachmair , Harald Ganzinger , Uwe Waldmann , "Las restricciones de conjunto son la clase monádica"
- André Joyal , Mogens Nielson , Glynn Winskel , "Bisimulación y mapas abiertos"
- Benjamin C. Pierce , Davide Sangiorgi , "Mecanografía y subtipificación para procesos móviles"
2014
- Martin Hofmann , Thomas Streicher , "El modelo grupoide refuta la unicidad de las pruebas de identidad"
- Dale A. Miller , "Una meta-lógica de múltiples conclusiones"
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
- Richard Blute , Josée Desharnais , Abbas Edalat , Prakash Panangaden , "Bisimulación para procesos etiquetados de Markov"
- 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 juego completamente abstracta para referencias generales"
2019
- Marcelo P. Fiore , Gordon D. Plotkin , Daniele Turi , "Sintaxis abstracta y vinculación variable"
- Murdoch Gabbay , Andrew M. Pitts , "Un nuevo enfoque de la sintaxis abstracta que involucra a los aglutinantes"
2020
- Luca de Alfaro , Thomas A. Henzinger , "Concurrent Omega-Regular Games"
- 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 extensiva de matrices"
- Hongwei Xi , "Tipos dependientes para la verificación de terminación del programa"
Premio Kleene
En cada conferencia, el premio Kleene , en honor a SC Kleene , se otorga al mejor trabajo de un estudiante.
Ver también
- La lista de conferencias de informática contiene otras conferencias académicas en informática.