 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 and combinatory calculi
 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
