CSL is the annual conference of the European Association for Computer Science Logic EACSL It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science.

CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University.

Topics

Topics of interest include, but are not limited to:

    automated deduction and interactive theorem proving
    concurrency and distributed computation
    constructive mathematics and type theory
    equational logic and term rewriting
    automata and games, game semantics
    formal methods
    model checking
    decision procedures
    modal and temporal logic
    description logics
    logical aspects of computational complexity
    logical aspects of AI
    finite model theory
    computability
    computational proof theory
    logic programming and constraints
    lambda calculus and combinatory logic
    domain theory
    categorical logic and topological semantics
    database theory
    specification, extraction and transformation of programs
    logical aspects of quantum computing
    logical foundations of programming paradigms
    verification and program analysis
    linear logic
    higher-order logic
    knowledge representation and reasoning
    nonmonotonic reasoning