Revision as of 22:13, 18 August 2006 edit Kaustuv (talk \| contribs) Extended confirmed users 2,870 edits m more cats and stub tags ← Previous edit		Revision as of 22:24, 18 August 2006 edit undo Kaustuv (talk \| contribs) Extended confirmed users 2,870 edits m {{dablink}} Next edit →
Line 1: {{dablink\|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]]. The most recent LICS in [[2006]] was part of the [[Federated Logic Conference]] in [[Seattle]].

Symposium on Logic in Computer Science: Difference between revisions