LPAR 2002

9th International Conference on
Logic for
Programming
Artificial Intelligence and
Reasoning

October 14-18th, 2002, Tbilisi, Georgia

See also Third International Workshop on Implementation of Logics

Topics

  • 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