Asociación de investigación en informática.
ACM SIGLOG o SIGLOG es el Grupo de Interés Especial en Lógica y Computación de la Asociación de Maquinaria de Computación . Publica una revista de noticias ( SIGLOG News ) y tiene el Simposio anual ACM-IEEE sobre lógica en ciencias de la computación (LICS) como su conferencia insignia. [1] Además, publica un boletín en línea, el SIGLOG Monthly Bulletin (anteriormente LICS Newsletter ), [2] y "mantiene estrechos vínculos" con la revista académica relacionada ACM Transactions on Computational Logic . [3]
La creación de este grupo de interés especial fue sugerida en 2007 por Moshe Vardi y Dana Scott , y Vardi fue el autor principal de una propuesta más detallada para su creación. Fue fundado en 2014, con Prakash Panangaden como presidente fundador y con Andrzej Murawski como editor fundador del boletín. [1] [4]
Premio de la Iglesia Alonso
En 2015, SIGLOG estableció, en cooperación con EATCS , EACSL y la Sociedad Kurt Gödel , el Premio Alonzo Church por sus contribuciones destacadas a la lógica y la computación . [5] La lista de ganadores anteriores de premios la mantiene la EACSL. [6] [7]
- 2016 Rajeev Alur y David Dill "por su invención de los autómatas cronometrados, un modelo decidible de sistemas en tiempo real, que combina una teoría novedosa, elegante y profunda con un impacto práctico generalizado".
- 2017 Samson Abramsky , Radha Jagadeesan, Pasquale Malacaria, Martin Hyland , Luke Ong y Hanno Nickau "por proporcionar una semántica completamente abstracta para la computación de orden superior mediante la introducción de modelos de juegos, revolucionando así fundamentalmente el campo de la semántica del lenguaje de programación y para el impacto aplicado de estos modelos."
- 2018 Tomás Feder y Moshe Y. Vardi "por sus contribuciones fundamentales a la complejidad computacional de los problemas de satisfacción de restricciones".
- 2019 Murdoch J. Gabbay y Andrew M. Pitts por "su trabajo innovador al presentar la teoría de representaciones nominales, un modelo matemático poderoso y elegante para calcular con datos que involucran nombres atómicos".
- 2020 Ronald Fagin , Phokion G. Kolaitis , Renée J. Miller , Lucian Popa y Wang-Chiew Tan por "su trabajo innovador para sentar las bases lógicas para el intercambio de datos".
- 2021 Georg Gottlob , Christoph Koch, Reinhard Pichler, Klaus U. Schulz y Luc Segoufin por "un trabajo fundamental sobre la extracción de datos web basada en lógica y la consulta de datos estructurados en árbol".
- 2022 Dexter Kozen por "su trabajo fundamental en el desarrollo de la teoría y las aplicaciones del Álgebra de Kleene con Pruebas, un sistema ecuacional para razonar sobre programas iterativos".
Referencias
- ^ ab Panangaden, Prakash (julio de 2014), "¡Bienvenido a SIGLOG!", Carta del presidente, SIGLOG News , 1 (1): 2–3.
- ^ "Boletín Mensual SIGLOG", Boletín Mensual SIGLOG , 168 , 1 de marzo de 2015.
- ↑ Sitio web oficial , consultado el 13 de agosto de 2015.
- ^ Siekmann, Jörg M. (2014), "Lógica computacional", en Gabbay, Dov M .; Siekmann, Jörg M.; Woods, John (eds.), Manual de historia de la lógica, vol. 9: Lógica computacional , Holanda Septentrional/Elsevier, págs. 15-30. Véase en particular la pág. 29.
- ^ "AVISOS". El Boletín de Lógica Simbólica . 23 (4): 540–545. 2017. ISSN 1079-8986.
- ^ "Premio Alonzo Church". Asociación Europea de Informática Teórica . Consultado el 23 de abril de 2022 .
- ^ "Premios anteriores - EACSL" . Consultado el 13 de noviembre de 2021 .