- 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
- proof-carrying 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
|
