LPAR 2004

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

March 14-18th, 2005, Montevideo, Uruguay

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 and combinatory calculi
  • 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