Revision as of 11:57, 17 July 2020 edit Dale A Miller (talk \| contribs) 34 edits →LICS Awards ← Previous edit		Revision as of 18:06, 27 July 2020 edit undo Kj cheetham (talk \| contribs) Autopatrolled, Administrators 156,535 edits Added {{More citations needed}} tag (TW) Next edit →
Line 1: {{dablink\|For the article on the topic of logic in computer science, see [[logic in computer science]].}} {{More citations needed\|date=July 2020}} The '''ACM–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 conference appear in renowned international journals such as [[Logical Methods in Computer Science]] and [[ACM Transactions on Computational Logic]].

Symposium on Logic in Computer Science: Difference between revisions