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 Kaustuv (talk | contribs) at 21:52, 18 August 2006 (stub). 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 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. The most recent LICS in 2006 was part of the Federated Logic Conference in Seattle.

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