Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Symposium on Logic in Computer Science
open-in-new
<h2 id="history">History</h2> <p>LICS was originally sponsored solely by the <a href="/facts/IEEE/UddC4pUW">IEEE</a>, but as of the 2014 founding of the <a href="/facts/ACM_SIGLOG/p3Au6yKm">ACM Special Interest Group on Logic and Computation</a> LICS has become the flagship conference of SIGLOG, under the joint sponsorship of ACM and IEEE.<a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a> </p><p>From the third <a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a> installment in 1988 until 2013, the cover page of the conference proceedings has featured an artwork entitled <i>Irrational Tiling by Logical Quantifiers</i>, by <a href="/facts/Alvy_Ray_Smith/Q9CXUXv5">Alvy Ray Smith</a>.<a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a> </p><p>Since 1995, each year the <i><a href="/facts/Kleene_award/1YM1DsEr">Kleene award</a></i> is given to the best student paper. In addition, since 2006, the <i>LICS Test-of-Time Award</i> is given annually to one among the twenty-year-old LICS papers that have best met the test of time.<a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a> </p> <h2 id="lics-awards">LICS Awards</h2> <h3>Test-of-Time Award</h3> <p>Each year, since 2006, the LICS Test-of-Time Award recognizes those articles from LICS proceedings 20 years earlier, which have become influential. </p> <h4>2006</h4> <ul><li>Leo Bachmair, <a href="/facts/Nachum_Dershowitz/WyyUeW3s">Nachum Dershowitz</a>, Jieh Hsiang, "Orderings for Equational Proofs"</li> <li><a href="/facts/E._Allen_Emerson/Hxj9kdfm">E. Allen Emerson</a>, Chin-Laung Lei, "Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)"</li> <li><a href="/facts/Moshe_Y._Vardi/Sz9AoseQ">Moshe Y. Vardi</a>, <a href="/facts/Pierre_Wolper/6klfjxkg">Pierre Wolper</a>, "An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)"</li></ul> <h4>2007</h4> <ul><li><a href="/facts/Samson_Abramsky/qpcVXuos">Samson Abramsky</a>, "Domain theory in Logical Form"</li> <li><a href="/facts/Robert_Harper_(computer_scientist)/3SqHRgE4">Robert Harper</a>, <a href="/facts/Furio_Honsell/zdTIKaqe">Furio Honsell</a>, <a href="/facts/Gordon_D._Plotkin/2CrnVkVj">Gordon D. Plotkin</a>, "A Framework for Defining Logics"</li></ul> <h4>2008</h4> <ul><li><a href="/facts/Martin_Abadi/yyDbTR5l">Martin Abadi</a>, <a href="/facts/Leslie_Lamport/jGCarz9C">Leslie Lamport</a>, "The existence of refinement mappings"</li></ul> <h4>2009</h4> <ul><li><a href="/facts/Eugenio_Moggi/uWgtpUTM">Eugenio Moggi</a>, "Computational lambda-calculus and monads"</li></ul> <h4>2010</h4> <ul><li><a href="/facts/Rajeev_Alur/VFPekza1">Rajeev Alur</a>, Costas Courcoubetis, <a href="/facts/David_L._Dill/NwTYvLsU">David L. Dill</a>, "Model-checking for real-time systems"</li> <li>Jerry R. Burch, <a href="/facts/Edmund_Clarke/Vwrg4hQW">Edmund Clarke</a>, <a href="/facts/Kenneth_L._McMillan/xctAWNcU">Kenneth L. McMillan</a>, <a href="/facts/David_L._Dill/NwTYvLsU">David L. Dill</a>, James Hwang, "Symbolic model checking: 10^20 states and beyond"</li> <li>Max Dauchet, Sophie Tison, "The theory of ground rewrite systems is decidable"</li> <li><a href="/facts/Peter_Freyd/jbQAncXD">Peter Freyd</a>, "Recursive types reduced to inductive types"</li></ul> <h4>2011</h4> <ul><li>Patrice Godefroid, <a href="/facts/Pierre_Wolper/6klfjxkg">Pierre Wolper</a>, "A partial approach to model checking"</li> <li>Joshua Hodas, <a href="/facts/Dale_Miller_(academic)/QLHpJoyl">Dale Miller</a>, "Logic programming in a fragment of intuitionistic linear logic"</li> <li><a href="/facts/Dexter_Kozen/c5Nspr5d">Dexter Kozen</a>, "A completeness theorem for Kleene algebras and the algebra of regular events"</li></ul> <h4>2012</h4> <ul><li><a href="/facts/Thomas_Henzinger/86BeultA">Thomas Henzinger</a>, Xavier Nicollin, <a href="/facts/Joseph_Sifakis/WA4GpWky">Joseph Sifakis</a>, Sergio Yovine, "Symbolic model checking for real-time systems"</li> <li>Jean-Pierre Talpin, Pierre Jouvelot, "The type and effect discipline"</li></ul> <h4>2013</h4> <ul><li>Leo Bachmair, <a href="/facts/Harald_Ganzinger/1frh02MR">Harald Ganzinger</a>, Uwe Waldmann, "Set constraints are the monadic class"</li> <li><a href="/facts/Andr%25C3%25A9_Joyal/Xc0dKuXB">André Joyal</a>, Mogens Nielson, Glynn Winskel, "Bisimulation and open maps"</li> <li><a href="/facts/Benjamin_C._Pierce/m9DKUgML">Benjamin C. Pierce</a>, <a href="/facts/Davide_Sangiorgi/pSTJNFb6">Davide Sangiorgi</a>, "Typing and subtyping for mobile processes"</li></ul> <h4>2014</h4> <ul><li>Martin Hofmann [de], <a href="/facts/Thomas_Streicher/hU3FJmUq">Thomas Streicher</a>, "The groupoid model refutes uniqueness of identity proofs"</li> <li><a href="/facts/Dale_Miller_(academic)/QLHpJoyl">Dale Miller</a>, "A multiple-conclusion meta-logic"</li></ul> <h4>2015</h4> <ul><li>Igor Walukiewicz, "Completeness of Kozen's Axiomatisation of the Propositional Mu-Calculus"</li></ul> <h4>2016</h4> <ul><li>Parosh A. Abdulla, Karlis Cerans, Bengt Jonsson, Yih-Kuen Tsay, "General decidability theorems for infinite-state systems"</li> <li>Iliano Cervesato, <a href="/facts/Frank_Pfenning/TI1350yj">Frank Pfenning</a>, "A Linear Logical Framework"</li></ul> <h4>2017</h4> <ul><li>Richard Blute, Josée Desharnais, <a href="/facts/Abbas_Edalat/8R59kwhc">Abbas Edalat</a>, <a href="/facts/Prakash_Panangaden/QTHHqNxW">Prakash Panangaden</a>, "Bisimulation for Labelled Markov Processes"</li> <li>Daniele Turi, <a href="/facts/Gordon_D._Plotkin/2CrnVkVj">Gordon D. Plotkin</a>, "Towards a Mathematical Operational Semantics"</li></ul> <h4>2018</h4> <ul><li><a href="/facts/Mart%25C3%25ADn_Abadi/yyDbTR5l">Martín Abadi</a>, Cédric Fournet, <a href="/facts/Georges_Gonthier/SSCj0Cl7">Georges Gonthier</a>, "Secure Implementation of Channel Abstractions"</li> <li><a href="/facts/Samson_Abramsky/qpcVXuos">Samson Abramsky</a>, Kohei Honda, Guy McCusker, "A Fully Abstract Game Semantics for General References"</li></ul> <h4>2019</h4> <ul><li>Marcelo P. Fiore, <a href="/facts/Gordon_D._Plotkin/2CrnVkVj">Gordon D. Plotkin</a>, Daniele Turi, "Abstract Syntax and Variable Binding"</li> <li>Murdoch Gabbay, Andrew M. Pitts, "A New Approach to Abstract Syntax Involving Binders"</li></ul> <h4>2020</h4> <ul><li>Luca de Alfaro, <a href="/facts/Thomas_A._Henzinger/86BeultA">Thomas A. Henzinger</a>, "Concurrent Omega-Regular Games"</li> <li>Hiroshi Nakano, "A Modality for Recursion"</li></ul> <h4>2021</h4> <ul><li>Aaron Stump;, Clark W. Barrett, <a href="/facts/David_L._Dill/NwTYvLsU">David L. Dill</a>, Jeremy R. Levitt, "A Decision Procedure for an Extensional Theory of Arrays"</li> <li>Hongwei Xi, "Dependent Types for Program Termination Verification"</li></ul> <h3>Kleene award</h3> <p>At each conference the <a href="/facts/Kleene_award/1YM1DsEr">Kleene award</a>, in honour of <a href="/facts/Stephen_Cole_Kleene/sKSax2se">S.C. Kleene</a>, is given for the best student paper. </p> <h2 id="see-also">See also</h2> <ul><li>The <a href="/facts/List_of_computer_science_conferences/raKQx9Vl">list of computer science conferences</a> contains other academic conferences in computer science.</li></ul> <h2 id="notes">Notes</h2> <h2 id="external-links">External links</h2> <ul><li><a href="http://lics.siglog.org/">LICS home page</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Panangaden, Prakash (July 2014), "Welcome to SIGLOG!", Chair's Letter, SIGLOG News, 1 (1): 2–3. <a href="/wiki/Prakash_Panangaden" target="_blank">/wiki/Prakash_Panangaden</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>"LICS archive". ACM/IEEE Symposium on Logic in Computer Science. Retrieved 26 February 2024. <a href="http://lics.siglog.org/archive/conferences.html" target="_blank">http://lics.siglog.org/archive/conferences.html</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Irrational Tiling by Logical Quantifiers LICS cover by Alvy Ray Smith. <a href="http://www.alvyray.com/Art/Irrational.htm" target="_blank">http://www.alvyray.com/Art/Irrational.htm</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>LICS awards website <a href="http://lics.rwth-aachen.de/awards.html" target="_blank">http://lics.rwth-aachen.de/awards.html</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> </ol>