automated reasoning
interactive theorem proving
implementations of logic
proof assistants
program and system verification
model checking
rewriting and unification
logic programming
constraint programming
logic and databases
modal and temporal logics
proofcarrying code
translation validation
logic for the semantic web

description logics
nonmonotonic reasoning
specification using logics
logic in artificial intelligence
lambda calculus
constructive logic and type theory
computional interpretations of logic
logical foundations of programming
logical aspects of concurrency
logic and computational complexity
knowledge representation and reasoning
reasoning about actions
proof planning
effectively presented structures
