 automated reasoning
 interactive theorem proving
 implementations of logic
 design of logical frameworks
 program and system verification
 model checking
 rewriting
 logic programming
 constraint programming
 logic and databases
 proofcarrying code
 logic and computational complexity
 proof planning
  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
 program extraction from proofs
 modal and temporal logics
 knowledge representation and reasoning
 reasoning about actions
 description logics
 nonmonotonic reasoning
