IEEE Symposium on Logic in Computer Science
Encyclopedia
The 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
.
.
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.
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
on the theory and practice of computer science
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
in relation to mathematical logic
Mathematical logic
Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
. Extended versions of selected papers of each year's conference appear in renowned international journals such as Logical Methods in Computer Science
Logical Methods in Computer Science
Logical Methods in Computer Science is a peer-reviewed journal in theoretical computer science and applied logic conceived in 2004...
and ACM Transactions on Computational Logic
ACM Transactions on Computational Logic
ACM Transactions on Computational Logic is a scientific journal that aims to disseminate the latest findings of note in the field of logic in computer science. It is published by the Association for Computing Machinery, a premier scientific and educational society on computer science and...
.
History
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 SmithAlvy Ray Smith
Alvy Ray Smith III is an American engineer and noted pioneer in computer graphics. He is a co-founder of the animation studio Pixar.- Life and career :...
.
Since 1995, each year the Kleene award
Kleene award
The Kleene Award is awarded at the annual IEEE Symposium on Logic in Computer Science to that author of the best student paper. A paper qualifies as a student paper if each author is a student at the date of the submission. Also eligible are authors who have graduated only recently, provided the...
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.
See also
- The list of computer science conferences contains other academic conferences in computer science.