[DL] Preliminary Call for Papers ICLP 2015: 31st International Conference on Logic Programming

fink at kr.tuwien.ac.at fink at kr.tuwien.ac.at
Thu Nov 6 13:16:19 CET 2014


31st International Conference on Logic Programming (ICLP 2015) 
                 -- colocated with CP 2015 --

          Cork, Ireland, August 31 -- September 4, 2015

ICLP 2015 will be co-located with the 21st International Conference on
Principles and Practice of Constraint Programming (CP 2015) and is
part of "The Year of George Boole", a celebration of the life and work
of George Boole who was born in 1815 and worked at the University
College of Cork.

Abstracts due:  April 20, 2015      
   Papers due:  April 27, 2015
Notification to authors :  June 5, 2015
Camera  ready versions due:  July 21, 2015
Conference: August 31-September 4, 2015

Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. 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
programme will include invited talks, advanced tutorials, the doctoral
consortium, the Prolog contest and several workshops.

General Co-Chairs:
Barry O'Sullivan      University College Cork, Ireland
Roland Yap            National University of Singapore

Program Co-Chairs:
Thomas Eiter          TU Wien, Austria
Francesca Toni        Imperial College London, UK

Local Arrangements Co-Chairs:
Barry O'Sullivan      University College Cork, Ireland
Ken Brown             University College Cork, Ireland

Workshops Chair:
Mats Carlsson         SICS, Uppsala, Sweden

Doctoral Consortium Chairs:
Marina De Vos         University of Bath, UK
Yuliya Lierler        University of Nebraska at Omaha, USA

Prolog Programming Contest Chair:
Neng-Fa Zhou, City University of New York,  USA

The conference is sponsored by the Association for Logic 
Programming (ALP) 

The Association for Logic Programming has funds to assist financially
disadvantaged participants and, in particular, students in order to be
able to attend the conference.

University College Cork, Ireland

More information about the dl mailing list