About: ACM SIGLOG

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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. In addition, it publishes an online newsletter, the SIGLOG Monthly Bulletin (formerly the LICS Newsletter), and "maintains close ties" with the related academic journal ACM Transactions on Computational Logic.

Property Value
dbo:abstract
  • 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. In addition, it publishes an online newsletter, the SIGLOG Monthly Bulletin (formerly the LICS Newsletter), and "maintains close ties" with the related academic journal ACM Transactions on Computational Logic. 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. (en)
dbo:wikiPageID
  • 47520619 (xsd:integer)
dbo:wikiPageLength
  • 4243 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1097960374 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • 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. In addition, it publishes an online newsletter, the SIGLOG Monthly Bulletin (formerly the LICS Newsletter), and "maintains close ties" with the related academic journal ACM Transactions on Computational Logic. (en)
rdfs:label
  • ACM SIGLOG (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:award of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License