Abstraction Automated reasoning Constraint and logic programming Constructive mathematics Description logics Equational logic and rewriting Finite Model Theory Higher order logic Hoare logic Linear logic Logic and verification Modal and temporal logics Programming logic Proof theory Separation logic Type theory Verification by model checking