Symposium on Logic in Computer Science: Difference between revisions

Content deleted Content added
Adding local short description: "Computer science and logic conference", overriding Wikidata description "ACM/IEEE annual conference series on logic in computer science"
 
(5 intermediate revisions by 5 users not shown)
Line 1:
{{Short description|Computer science and logic conference}}
{{Hatnote|For the article on the topic of logic in computer science, see [[logic in computer science]].}}
{{More citations needed|date=July 2020}}
Line 6 ⟶ 7:
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|author-link=Prakash Panangaden}}.</ref>
 
From the third
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>
<ref>{{cite web |title=LICS archive |url=http://lics.siglog.org/archive/conferences.html |website=ACM/IEEE Symposium on Logic in Computer Science |access-date=26 February 2024}}</ref>
Since the first installment in 1988 until 2013, 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>
 
Since 1995, each year the ''[[Kleene award]]'' is given to the best student paper. In addition, since 2006, the ''LICS Test-of-Time Award'' is given annually to one among the twenty-year-old LICS papers that have best met the test of time.<ref>[http://lics.rwth-aachen.de/awards.html LICS awards website]</ref>
Line 39 ⟶ 42:
==== 2011 ====
*[[Patrice Godefroid]], [[Pierre Wolper]], "A partial approach to model checking"
*[[Joshua Hodas]], [[Dale A.Miller (academic)|Dale Miller]], "Logic programming in a fragment of intuitionistic linear logic"
*[[Dexter Kozen]], "A completeness theorem for Kleene algebras and the algebra of regular events"
 
Line 52 ⟶ 55:
 
==== 2014 ====
*[[{{ill|Martin Hofmann]] (computer scientist)|lt=Martin Hofmann|de|Martin Hofmann (Informatiker)}}, [[Thomas Streicher]], "The groupoid model refutes uniqueness of identity proofs"
*[[Dale A.Miller (academic)|Dale Miller]], "A multiple-conclusion meta-logic"
 
==== 2015 ====
Line 83 ⟶ 86:
* [[Luca de Alfaro]], [[Thomas A. Henzinger]], "Concurrent Omega-Regular Games"
* [[Hiroshi Nakano (computer scientist)|Hiroshi Nakano]], "A Modality for Recursion"
 
==== 2021 ====
* [[Aaron Stump;]], [[Clark W. Barrett]], [[David L. Dill]], [[Jeremy R. Levitt]], "A Decision Procedure for an Extensional Theory of Arrays"
* [[Hongwei Xi]], "Dependent Types for Program Termination Verification"
 
=== Kleene award ===