Revision as of 10:53, 12 February 2008 edit Hermel (talk \| contribs) Extended confirmed users, Pending changes reviewers 2,052 edits No edit summary ← Previous edit		Revision as of 10:54, 12 February 2008 edit undo Hermel (talk \| contribs) Extended confirmed users, Pending changes reviewers 2,052 edits No edit summary Next edit →
Line 1: {{Notability\|date=January 2008}} {{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]]. ~~Selected~~Extended ~~Papers~~versions of selected papers of each year's coference appear in renowned international journals such as [[Logical Methods in Computer Science(journal)\|Logical Methods in Computer Science]] and [[ACM Transactions on Computational Logic]]. == External links ==

Symposium on Logic in Computer Science: Difference between revisions