Jump to content

Symposium on Logic in Computer Science

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Hermel (talk | contribs) at 10:54, 12 February 2008. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.
Find sources: "Symposium on Logic in Computer Science" – news · newspapers · books · scholar · JSTOR (January 2008) (Learn how and when to remove this message)

The IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's coference appear in renowned international journals such as Logical Methods in Computer Science and ACM Transactions on Computational Logic.

External links

LICS home page

This computer science article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Symposium_on_Logic_in_Computer_Science&oldid=190874196"

Hidden categories: