- 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.
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.
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