ACM SIGLOG

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 Symposium on Logic in Computer Science 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]

References

  1. 1 2 Panangaden, Prakash (July 2014), "Welcome to SIGLOG!", Chair's Letter, SIGLOG News 1 (1): 2–3.
  2. ↑ "SIGLOG Monthly Bulletin", SIGLOG Monthly Bulletin 168, March 1, 2015.
  3. ↑ Official website, accessed 2015-08-13.
  4. ↑ Siekmann, Jörg M. (2014), "Computational logic", in Gabbay, Dov M.; Siekmann, Jörg M.; Woods, John, Handbook of the History of Logic, vol. 9: Computational Logic, North-Holland/Elsevier, pp. 15–30. See in particular p. 29.
This article is issued from Wikipedia - version of the Friday, August 14, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.