Print This Page

ICLP 2015

ICLP 2015
  • 31 Aug 2015 - 04 Sep 2015
  • See programme details.
  • Western Gateway Building, University College Cork

The 31st Annual International Conference on Logic Programming

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. CP/ICLP is now open for online registration.

Conference Scope

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 and 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 Coinductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT, Constraints, Computational Argumentation, Abductive Logic Programming, Functional Logic Programming.
  • Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Social Networks and Social Choice.

In addition to the presentations of accepted papers, the technical program will include invited talks by Evelina Lamma, Luc De Raedt, and Gerhard Friedrich (joint with CP2015), advanced tutorials by John Gallagher, Francesca Lisi, Thomas Lukasiewicz, and Marco Maratea, the doctoral consortium, the LP/CP programming contest and several workshops. Learn more about the complete programme here.

Organisation

General Chair: Roland Yap, National University of Singapore

Program Chairs: Thomas Eiter, Technical University of Vienna, Austria and Francesca Toni, Imperial College London, UK

Local Chairs: Ken Brown, University College Cork and Barry O’Sullivan, University College Cork 

About the CP Conference Series

Information on previous conferences in this series are available from the web-site of the Association for Logic Programming

We would like to thank our sponsors and donors, whose support has enabled the Boole Conferences as part of the George Boole 200 year of celebrations.

« Previous Item

Next Item »

« Back to Conferences