Revision as of 07:26, 9 September 2009 edit Hermel (talk \| contribs) Extended confirmed users, Pending changes reviewers 2,052 edits m fixed redlink ← Previous edit		Revision as of 17:54, 22 August 2011 edit undo Nick Number (talk \| contribs) Autopatrolled, Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 200,160 edits m sp conference WP:TYPO 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]]. Extended versions of selected papers of each year's ~~coference~~conference appear in renowned international journals such as [[Logical Methods in Computer Science]] and [[ACM Transactions on Computational Logic]]. ==History==

Symposium on Logic in Computer Science: Difference between revisions