ACM SIGLOG o SIGLOG es el Grupo de Interés Especial de la Asociación de Maquinaria de Computación en Lógica y Computación. Publica una revista de noticias ( SIGLOG News ) y tiene el Simposio anual sobre Lógica en Ciencias de la Computación como su conferencia insignia. [1] Además, publica un boletín en línea, el Boletín Mensual SIGLOG (anteriormente el Boletín LICS ), [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 fundada en 2014, con Prakash Panangaden como su 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 Sociedad Kurt Gödel , el Premio Alonzo Church .
Referencias
- ^ a b 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: Computational Logic , North-Holland / Elsevier, págs. 15-30. Ver en particular la p. 29 .