13th International Conference on
Logic for (12) 13-17 November 2006
Programming Hotel Cambodiana
Artificial Intelligence and Phnom Penh
Reasoning Cambodia


  • automated reasoning
  • interactive theorem proving
  • software verification
  • software testing
  • proof assistants
  • proof planning
  • proof checking
  • rewriting and unification
  • logic programming
  • modal and temporal logics
  • systems specification and synthesis
  • model checking
  • proof-carrying code
  • logic and databases
  • reasoning for the semantic web
  • propositional reasoning
  • description logics
  • hardware verification
  • logic and ontologies
  • network and protocol verification
  • nonmonotonic reasoning
  • constructive logic and type theory
  • lambda and combinatory calculi
  • knowledge representation and reasoning
  • constraint programming
  • logical foundations of programming
  • computational interpretations of logic
  • logic and computational complexity
  • logic in artificial intelligence
  • reasoning about actions

LPAR-13 is being organized with the organization support of ...
Department of Information & Communication Technology Engineering
Institut de Technologie du Cambodge

ITC logo

and the finantial support of
Asian Office of Aerospace R&D (AOARD)

AOARD logo