Annual Conference on Computer Science Logic — 2026

CSL — Computer Science Logic

What It Is
CSL (Computer Science Logic) is the annual conference of the European Association for Computer Science Logic (EACSL). It serves as a leading forum at the intersection of logic, mathematics, and computer science.

Scope
Topics span the theory and applications of logic in computer science, including automated deduction, model checking, type theory, lambda calculus, semantics, proof theory, complexity theory, verification, and logical foundations of artificial intelligence and databases.

Who Should Submit

• Researchers advancing the theory of logic and computation
• Authors presenting new methods and tools in formal verification, reasoning, and program analysis
• Scholars contributing applied logic results in areas such as databases, AI, or quantum computing foundations

Who Should Attend

• Academics and students engaged in logic, algorithms, and theoretical computer science
• Practitioners interested in applying formal methods and verification in software and systems
• Interdisciplinary researchers bridging mathematics, logic, and computation

Why It Matters
CSL provides a respected international venue for presenting advances in logic and its role in computer science, fostering dialogue between theorists and practitioners, and shaping the foundations of computing.

  For more information, visit the conference website