Events » ICLP 2016

ICLP 2016

32nd International Conference on Logic Programming
New York City, NY, USA, 17/10/2016 – 21/10/2016.
Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming.
Topics of Interest
Contributions are sought in all areas of logic programming, including but not restricted to:

  • Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation.
  • Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling.
  • Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing.
  • Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques.
  • Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking.
  • Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education.
APICe articles & volumes at ICLP 2016
Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini