Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas:

• Theoretical foundations and analysis
• Use of computer technology to aid logicians
• Use of concepts from logic for computer applications

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.