Symposium on Logic in Computer Science: Difference between revisions

Revision as of 20:13, 4 October 2020

Revision as of 21:41, 12 April 2021

Line 1:

{{dablinkHatnote|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]].

==History==

LICS was originally sponsored solely by the [[IEEE]], but as of the 2014 founding of the [[ACM SIGLOG|ACM Special Interest Group on Logic and Computation]] LICS has become the flagship conference of SIGLOG, under the joint sponsorship of ACM and IEEE.<ref>{{citation|title=Welcome to SIGLOG!|department=Chair's Letter|journal=SIGLOG News|volume=1|issue=1|date=July 2014|pages=2–3|url=http://siglog.hosting.acm.org/?attachment_id=71|first=Prakash|last=Panangaden|authorlinkauthor-link=Prakash Panangaden}}.</ref>

Since the first installment in 1988, the cover page of the conference proceedings has featured an artwork entitled ''Irrational Tiling by Logical Quantifiers'', by [[Alvy Ray Smith]].<ref>[http://www.alvyray.com/Art/Irrational.htm Irrational Tiling by Logical Quantifiers] LICS cover by Alvy Ray Smith.</ref>

Line 92:

==Notes==

{{reflistReflist}}

== External links ==

* [http://lics.siglog.org/ LICS home page]

{{IEEE conferences}}

{{Authority control}}

[[Category:Theoretical computer science conferences]]

[[Category:Logic conferences]]