LPAR 2003

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

September 22-26th, 2003, Almaty, Kazakhstan

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
  • logic and computational complexity
  • translation validation
  • proof-carrying code
  • logic in semantic web
  • proof planning
  • 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
  • program extraction from proofs
  • modal and temporal logics
  • knowledge representation and reasoning
  • reasoning about actions
  • effectively presented structures