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 09:47, 11 December 2008 (category logic in computer science). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
For the article on the topic of logic in computer science, see logic in computer science.

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.

See also

Stub icon

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=257247463"