W3C home > Mailing lists > Public > semantic-web@w3.org > November 2014

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

From: <fink@kr.tuwien.ac.at>
Date: Thu, 6 Nov 2014 13:16:25 +0100
Message-Id: <201411061216.sA6CGP7a025391@hummel.kr.tuwien.ac.at>
To: undisclosed-recipients:;


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
Received on Thursday, 6 November 2014 12:16:58 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:42:55 UTC