Asociación de investigación en informática
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]
Premio de la Iglesia Alonzo
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".
Referencias
- ^ ab Panangaden, Prakash (julio de 2014), "¡Bienvenidos a SIGLOG!", Carta del presidente, SIGLOG News , 1 (1): 2–3.
- ^ "Boletín mensual de SIGLOG", Boletín mensual de 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 la historia de la lógica, vol. 9: Lógica computacional , North-Holland/Elsevier, págs. 15–30. Véase en particular la pág. 29.
- ^ "AVISOS". 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 .
