Symposium on Logic in Computer Science

This is an old revision of this page, as edited by RainbowCrane (talk | contribs) at 09:51, 10 November 2007 (AWB recategorisation, WikiProject Stub Sorting, Replaced: {{computer-stub}} → {{comp-sci-stub}} using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.