ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (SIGLOG News), and has the annual ACM-IEEE Symposium on Logic in Computer Science (LICS) as its flagship conference.[1] In addition, it publishes an online newsletter, the SIGLOG Monthly Bulletin (formerly the LICS Newsletter),[2] and "maintains close ties" with the related academic journal ACM Transactions on Computational Logic.[3]
The creation of this special interest group was suggested in 2007 by Moshe Vardi and Dana Scott, and Vardi was the primary author of a more detailed proposal for its creation. It was founded in 2014, with Prakash Panangaden as its founding chair, and with Andrzej Murawski as the founding editor of the newsletter.[1][4]
^"SIGLOG Monthly Bulletin", SIGLOG Monthly Bulletin, 168, March 1, 2015.
^Official website, accessed 2015-08-13.
^Siekmann, Jörg M. (2014), "Computational logic", in Gabbay, Dov M.; Siekmann, Jörg M.; Woods, John (eds.), Handbook of the History of Logic, vol. 9: Computational Logic, North-Holland/Elsevier, pp. 15–30. See in particular p. 29.
ACMSIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (SIGLOG...
The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest...
Computing Machinery Special Interest Group for Logic and Computation (ACMSIGLOG), the European Association for Theoretical Computer Science (EATCS), the...
black holes. He is the founding Chair of the ACM Special Interest Group on Logic and Computation (ACMSIGLOG). Prakash Panangaden was born in Pune, India...
impact factor of 0.625. ACMSIGLOG, ACM's Special Interest Group on Computational Logic "Editorial Board". Retrieved 2022-06-11. "ACM Transactions on Computational...
ACM Computing Surveys is peer-reviewed quarterly scientific journal and is published by the Association for Computing Machinery. It publishes survey articles...
Computation LICS has become the flagship conference of SIGLOG, under the joint sponsorship of ACM and IEEE. From the third installment in 1988 until 2013...
the ACM Communications of the ACM RISKS Digest ACM Digital Library ACM Computing Surveys Computers in Entertainment ACM Interactions ACM Queue ACM XRDS...
2011 Harry H. Goode Memorial Award, the 2018 ACM Special Interest Group for Logic and Computation (SIGLOG), the Distinguished Services Award from the European...
blogspot.com/2007/12/dennetts-logocentric-lexicon.html "LICS – Archive". lics.siglog.org. reprint. Ishi Press. 13 March 2009 [1952]. ISBN 9780923891572. Bishop...
Church Award for Outstanding Contributions to Logic and Computation". SIGLOG. ACM Special Interest Group on Logic and Computation. Retrieved 16 October...
the original on 2015-12-09, retrieved 2015-12-10. "LICS - Archive". lics.siglog.org. Retrieved 2019-09-27. "CMU Squash Ladder". Retrieved 27 January 2019...
original on 21 July 2018. Retrieved 20 July 2018. "LICS Test-of-Time Award". siglog.org. Retrieved 20 July 2018. Worsfold, Joseph. "Computing academic's paper...