<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> FIRST 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>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, advanced tutorials, the doctoral</div>
<div>consortium, the LP/CP 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 archival form. The program</div>
<div>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>