SIGLO ACM

ACM SIGLOG o SIGLOG es el Grupo de Interés Especial sobre Lógica y Computación de la Asociación de Maquinaria Informática . Publica una revista de noticias ( SIGLOG News ) y tiene como conferencia principal el Simposio anual ACM-IEEE sobre Lógica en Ciencias de la Computación (LICS) . ^[1] Además, publica un boletín en línea, el Boletín Mensual SIGLOG (anteriormente el Boletín LICS ), ^[2] y "mantiene vínculos estrechos" con la revista académica relacionada ACM Transactions on Computational Logic . ^[3]

La creación de este grupo de interés especial fue propuesta 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]}

En 2015, SIGLOG estableció, en cooperación con EATCS , EACSL y la Kurt Gödel Society , el Premio Alonzo Church por Contribuciones Destacadas a la Lógica y la Computación . ^[5] La lista de ganadores de premios anteriores es mantenida por la EACSL. ^{[6] [7]}

• 2016 Rajeev Alur y David Dill "por su invención de 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 a través de la introducción de modelos de juego, revolucionando así fundamentalmente el campo de la semántica del lenguaje de programación, y por el impacto aplicado de estos modelos".
• 2018 Tomás Feder y Moshe Y. Vardi "por 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 introducir la teoría de las representaciones nominales, un modelo matemático poderoso y elegante para computar 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 al sentar las bases lógicas para el intercambio de datos".
• 2021 Georg Gottlob , Christoph Koch, Reinhard Pichler, Klaus U. Schulz y Luc Segoufin por "trabajo fundamental en 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 aplicaciones del Álgebra de Kleene con Pruebas, un sistema ecuacional para razonar sobre programas iterativos".