<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" id="owaParaStyle"></style>
</head>
<body fpstyle="1" ocsi="0">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">
<div>**********************************************************************</div>
<div> FINAL CALL FOR PAPERS</div>
<div><br>
</div>
<div>31st International Conference on Logic Programming (ICLP 2015)</div>
<div> -- colocated with CP 2015 --</div>
<div> </div>
<div> Cork, Ireland, August 31 -- September 4, 2015</div>
<div> http://booleconferences.ucc.ie/iclp2015</div>
<div><br>
</div>
<div>**********************************************************************</div>
<div><br>
</div>
<div>Since the first conference held in Marseilles in 1982, ICLP has been</div>
<div>the premier international conference for presenting research in logic</div>
<div>programming. ICLP 2015 will be co-located with the 21st International</div>
<div>Conference on Principles and Practice of Constraint Programming (CP</div>
<div>2015) and is part of "The Year of George Boole", a celebration of the</div>
<div>life and work of George Boole who was born in 1815 and worked at the</div>
<div>University College of Cork.</div>
<div><br>
</div>
<div>IMPORTANT DATES</div>
<div>---------------</div>
<div>Abstracts due: April 20, 2015</div>
<div> Papers due: April 27, 2015</div>
<div>Notification to authors: June 5, 2015</div>
<div>Revision of papers due : July 3, 2015</div>
<div>Second reviews due: July 14, 2015</div>
<div>Camera ready versions due: July 21, 2015</div>
<div>Conference: August 31-September 4, 2015</div>
<div><br>
</div>
<div>CONFERENCE SCOPE</div>
<div>----------------</div>
<div><br>
</div>
<div>Contributions are sought in all areas of logic programming, including</div>
<div>but not restricted to:</div>
<div><br>
</div>
<div>Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,</div>
<div>Knowledge Representation.</div>
<div><br>
</div>
<div>Implementation: Compilation, Virtual Machines, Parallelism, Constraint</div>
<div>Handling Rules and Tabling.</div>
<div><br>
</div>
<div>Environments: Program Analysis, Transformation, Validation,</div>
<div>Verification, Debugging, Profiling, Testing.</div>
<div><br>
</div>
<div>Language Issues: Concurrency, Objects, Coordination, Mobility, Higher</div>
<div>Order, Types, Modes, Assertions, Programming Techniques.</div>
<div><br>
</div>
<div>Related Paradigms: Inductive and Coinductive Logic Programming,</div>
<div>Constraint Logic Programming, Answer-Set Programming, SAT,</div>
<div>Constraints, Computational Argumentation, Abductive Logic Programming,</div>
<div>Functional Logic Programming.</div>
<div><br>
</div>
<div>Applications: Databases, Data Integration and Federation, Software</div>
<div>Engineering, Natural Language Processing, Web and Semantic Web,</div>
<div>Agents, Artificial Intelligence, Bioinformatics, Social Networks and</div>
<div>Social Choice.</div>
<div><br>
</div>
<div>In addition to the presentations of accepted papers, the technical</div>
<div>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</div>
<div>consortium, the LP/CP programming contest and several workshops.</div>
<div><br>
</div>
<div>SUBMISSION DETAILS</div>
<div>------------------</div>
<div><br>
</div>
<div>There are two categories for submissions:</div>
<div><br>
</div>
<div>-- Regular papers, including: (1) technical papers for describing</div>
<div> technically sound, innovative ideas that can advance the state of</div>
<div> logic programming; (2) application papers, with emphasis on impact</div>
<div> on some application domains; (3) system and tool papers, with</div>
<div> emphasis on novelty, practicality, usability and availability of</div>
<div> the systems and tools described.</div>
<div><br>
</div>
<div>-- Technical communications aimed at describing recent developments,</div>
<div> new projects, and other materials not ready for publication as</div>
<div> regular papers.</div>
<div><br>
</div>
<div>All regular papers and technical communications will be presented</div>
<div>during the conference. All submissions must be written in English and</div>
<div>describe original, previously unpublished research, and must not</div>
<div>simultaneously be submitted for publication elsewhere.</div>
<div><br>
</div>
<div>Regular papers must not exceed 12 pages plus bibliography: however the</div>
<div>papers may include appendices beyond 12 pages. Technical</div>
<div>communications must not exceed 10 pages. Submissions must be made in</div>
<div>the TPLP format (see</div>
<div>http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf)</div>
<div>via the EasyChair submission system, available at</div>
<div>www.easychair.org/conferences/?conf=iclp2015.</div>
<div><br>
</div>
<div>PAPER PUBLICATION</div>
<div>-----------------</div>
<div><br>
</div>
<div>All accepted regular papers will be published in the journal Theory</div>
<div>and Practice of Logic Programming (TPLP), Cambridge University Press</div>
<div>(CUP), in one or more special issues. In order to ensure the quality</div>
<div>of the final version, papers may be subject to two rounds of</div>
<div>refereeing (within the decision period). Accepted technical</div>
<div>communications will be published in CEUR, and in TPLP an abstract will</div>
<div>be included in the supplementary material of the editoral article. The</div>
<div>program committee may also recommend papers submitted as regular to be</div>
<div>published as technical communications.</div>
<div><br>
</div>
<div>ICLP 2015 ORGANIZATION</div>
<div>----------------------</div>
<div><br>
</div>
<div>General Co-Chairs:</div>
<div>Barry O'Sullivan University College Cork, Ireland</div>
<div>Roland Yap National University of Singapore</div>
<div><br>
</div>
<div>Program Co-Chairs:</div>
<div>Thomas Eiter TU Wien, Austria</div>
<div>Francesca Toni Imperial College London, UK</div>
<div><br>
</div>
<div>Local Arrangements Co-Chairs:</div>
<div>Barry O'Sullivan University College Cork, Ireland</div>
<div>Ken Brown University College Cork, Ireland</div>
<div><br>
</div>
<div>Workshops Chair:</div>
<div>Mats Carlsson SICS, Uppsala, Sweden</div>
<div><br>
</div>
<div>Doctoral Consortium Chairs:</div>
<div>Marina De Vos University of Bath, UK</div>
<div>Yuliya Lierler University of Nebraska at Omaha, USA</div>
<div><br>
</div>
<div>LP/CP Programming Contest Chair:</div>
<div>Neng-Fa Zhou, City University of New York, USA</div>
<div>Peter Stuckey, NICTA and the University of Melbourne, Australia</div>
<div><br>
</div>
<div>Publicity Chair:</div>
<div>Ian Miguel University of St Andrews, UK</div>
<div><br>
</div>
<div>Program Committee:</div>
<div><br>
</div>
<div>Slim Abdennadher, German University in Cairo</div>
<div>Elvira Albert, Complutense University of Madrid</div>
<div>Chitta Baral, Arizona State University</div>
<div>Francois Bry, Ludwig-Maximilian University of Munich</div>
<div>Pedro Cabalar, University of Corunna</div>
<div>Manuel Carro, Technical University of Madrid (UPM) </div>
<div> and IMDEA Software Institute</div>
<div>Michael Codish, Ben-Gurion University of the Negev</div>
<div>Stefania Costantini, Dipartimento di Ingegneria e Scienze</div>
<div> dell'Informazione, e Matematica, Univ. di L'Aquila</div>
<div>Alessandro Dal Palu', Universita' degli Studi di Parma</div>
<div>Marina De Vos, University of Bath</div>
<div>Marc Denecker, K.U. Leuven</div>
<div>Agostino Dovier, Universita di UDINE</div>
<div>Thomas Eiter, Vienna University of Technology</div>
<div>Esra Erdem, Sabanci University</div>
<div>Wolfgang Faber, University of Huddersfield</div>
<div>Francois Fages, Inria Paris-Rocquencourt</div>
<div>Michael Fink, Vienna University of Technology</div>
<div>Thom Fruehwirth, University of Ulm</div>
<div>Sarah Alice Gaggl, Technische Universitaet Dresden</div>
<div>Maria Garcia De La Banda, Monash University</div>
<div>Laura Giordano, Dipartimento di Informatica, </div>
<div> Universita' del Piemonte Orientale</div>
<div>Gopal Gupta, University of Texas at Dallas</div>
<div>Michael Hanus, CAU Kiel</div>
<div>Tomi Janhunen, Aalto University</div>
<div>Michael Kifer, Stony Brook University</div>
<div>Angelika Kimmig, KU Leuven</div>
<div>Evelina Lamma, ENDIF, University of Ferrara</div>
<div>Joohyung Lee, Arizona State University</div>
<div>Joao Leite, Universidade Nova de Lisboa</div>
<div>Michael Leuschel, University of Dusseldorf</div>
<div>Francesca Alessandra Lisi, Universita degli Studi di Bari "Aldo Moro"</div>
<div>Thomas Lukasiewicz, Dept of Computer Science, University of Oxford</div>
<div>Michael Maher, University of New South Wales, Canberra</div>
<div>Alessandra Mileo, National University of Ireland, Galway,</div>
<div> Insight Centre for Data Analytics</div>
<div>Barry O'Sullivan, Insight Centre for Data Analytics, </div>
<div> University College Cork, Ireland</div>
<div>Emilia Oikarinen, Aalto University</div>
<div>Mauricio Osorio, UDLAP</div>
<div>Enrico Pontelli, New Mexico State University</div>
<div>Maurizio Proietti, IASI-CNR, Rome, Italy</div>
<div>Francesco Ricca, Department of Mathematics, University of Calabria</div>
<div>Alessandra Russo, Imperial College London</div>
<div>Chiaki Sakama, Wakayama University</div>
<div>Victor Santos Costa, Universidade do Porto</div>
<div>Torsten Schaub, University of Potsdam</div>
<div>Tom Schrijvers, KU Leuven</div>
<div>Yi-Dong Shen, Institute of Software, the Chinese Academy of Sciences</div>
<div>Guillermo R. Simari, Universidad Nacional del Sur in Bahia Blanca</div>
<div>Francesca Toni, Imperial College London</div>
<div>Paolo Torroni, University of Bologna</div>
<div>Irina Trubitsyna, University of Calabria, DEIS</div>
<div>Mirek Truszczynski, Computer Science Department, University of Kentucky</div>
<div>Kewen Wang, Griffith University</div>
<div>Jan Wielemaker, Vrije University Amsterdam</div>
<div>Stefan Woltran, Vienna University of Technology</div>
<div>Roland Yap, National University of Singapore</div>
<div>Jia-Huai You, Department of Computing Science, University of Alberta</div>
<div>Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center</div>
<div><br>
</div>
<div>SPONSOR</div>
<div>-------</div>
<div><br>
</div>
<div>The conference is sponsored by the Association for Logic Programming (ALP)</div>
<div><br>
</div>
<div>FINANCIAL ASSISTANCE</div>
<div>--------------------</div>
<div><br>
</div>
<div>The Association for Logic Programming has funds to assist financially</div>
<div>disadvantaged participants and, in particular, students in order to be</div>
<div>able to attend the conference.</div>
<div><br>
</div>
<div>CONFERENCE VENUE</div>
<div>----------------</div>
<div>University College Cork, Ireland </div>
<div><br>
</div>
<div><br>
</div>
<div><br>
</div>
</div>
</body>
</html>