14th International Conference on
Logic for
Programming
Artificial Intelligence and
Reasoning
October 15-19, 2007
Yerevan, Armenia
Our mission: To boldly go where no reasonable conference has gone before


Topics

  • 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
  • proof-carrying code
  • translation validation
  • logic for the semantic web
  • description logics
  • nonmonotonic reasoning
  • specification using logics
  • logic in artificial intelligence
  • lambda calculus
  • 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