Topics

    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