Symposium on Logic in Computer Science

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.

For the article on the topic of logic in computer science, see logic in computer science.

History

LICS was originally sponsored solely by the IEEE, but as of the 2014 founding of the ACM Special Interest Group on Logic and Computation LICS has become the flagship conference of SIGLOG, under the joint sponsorship of ACM and IEEE.[1]

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.[2]

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.[3]

LICS Awards

Test-of-Time Award

Each year, since 2006, the LICS Test-of-Time Award recognizes those articles from LICS proceedings 20 years earlier, which have become influential.

2020
  • Luca de Alfaro, Thomas A. Henzinger, "Concurent Omega-Regular Games"
  • Hiroshi Nakano, "A Modality for Recursion"

2019
  • Marcelo P. Fiore, Gordon D. Plotkin, Daniele Turi, "Abstract Syntax and Variable Binding"
  • Murdoch Gabbay, Andrew M. Pitts, "A New Approach to Abstract Syntax Involving Binders"

2018

2017
  • Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden, "Bisimulation for Labelled Markov Processes"
  • Daniele Turi, Gordon D. Plotkin, "Towards a Mathematical Operational Semantics"

2016
  • Parosh A. Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay, "General decidability theorems for infinite-state systems"
  • Iliano Cervesato, Frank Pfenning, "A Linear Logical Framework"

2015
  • Igor Walukiewicz, "Completeness of Kozen's Axiomatisation of the Propositional Mu-Calculus"

2014
  • Martin Hofmann, Thomas Streicher, "The groupoid model refutes uniqueness of identity proofs"
  • Dale A. Miller, "A multiple-conclusion meta-logic"

2013

2012
  • Thomas Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine, "Symbolic model checking for real-time systems"
  • Jean-Pierre Talpin, Pierre Jouvelot, "The type and effect discipline"

2011
  • Patrice Godefroid, Pierre Wolper, "A partial approach to model checking"
  • Joshua Hodas, Dale A. Miller, "Logic programming in a fragment of intuitionistic linear logic"
  • Dexter Kozen, "A completeness theorem for Kleene algebras and the algebra of regular events"

2010
  • Rajeev Alur, Costas Courcoubetis, David L. Dill, "Model-checking for real-time systems"
  • Jerry R. Burch, Edmund Clarke, Kenneth L. McMillan, David L. Dill, James Hwang, "Symbolic model checking: 10^20 states and beyond"
  • Max Dauchet, Sophie Tison, "The theory of ground rewrite systems is decidable"
  • Peter Freyd, "Recursive types reduced to inductive types"

2009

2008

2007

2006
  • Leo Bachmair, Nachum Dershowitz, Jieh Hsiang, "Orderings for Equational Proofs"
  • E. Allen Emerson, Chin-Laung Lei, "Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)"
  • Moshe Y. Vardi, Pierre Wolper, "An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)"

Kleene award

At each conference the Kleene award, in honour of S.C. Kleene, is given for the best student paper.

gollark: According to the ToS, yes.
gollark: To watch for "reverse engineering"?
gollark: I can at least run my own IRC bouncer thingy, which makes the message history problem less problematic.
gollark: I prefer the decentralized nature of IRC but dislike its legacy baggage.
gollark: IRC has its problems. Discord also has its problems.

See also

Notes
  1. Panangaden, Prakash (July 2014), "Welcome to SIGLOG!", Chair's Letter, SIGLOG News, 1 (1): 2–3.
  2. Irrational Tiling by Logical Quantifiers LICS cover by Alvy Ray Smith.
  3. LICS awards website
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.