<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css" style="display:none"><!-- p { margin-top: 0px; margin-bottom: 0px; }--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<div>Call for Papers</div>
<div>33rd International Conference on Logic Programming</div>
<div>(co-located with CP and SAT and following IJCAI)</div>
<div><br>
</div>
<div>Melbourne, Australia</div>
<div>August 28 - September 1, 2017</div>
<div><br>
</div>
<div>http://iclp17.a4lp.org<br>
</div>
<div><br>
</div>
<div><span style="color: rgb(33, 33, 33); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 16px; background-color: rgb(255, 255, 255);">DEADLINE FOR ABSTRACT: MARCH 10 AND PAPER SUBMISSION: MARCH 17</span><br>
</div>
<div><br>
</div>
<div>Conference Scope</div>
<div>----------------</div>
<div>Since the first conference held in Marseille in 1982, ICLP has been</div>
<div>the premier international conference for presenting research in logic</div>
<div>programming. Contributions are sought in all areas of logic</div>
<div>programming, including 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,</div>
<div> Constraint Handling Rules, 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,</div>
<div> Higher Order, Types, Modes, Assertions, Programming Techniques.</div>
<div><br>
</div>
<div> - Related Paradigms: Inductive and Co-inductive Logic Programming,</div>
<div> Constraint Logic Programming, Answer-Set Programming, SAT-Checking.</div>
<div><br>
</div>
<div> - Applications: Databases, Big Data, Data Integration and Federation,</div>
<div> Software Engineering, Natural Language Processing, Web and Semantic</div>
<div> Web, Agents, Artificial Intelligence, Bioinformatics, and</div>
<div> Education.</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, and several workshops.</div>
<div><br>
</div>
<div><br>
</div>
<div>Important Dates (RP: Regular Paper / TC: Technical Communication)</div>
<div>-----------------------------------------------------------------</div>
<div>RP registration (abstract): 10 March, 2017</div>
<div>RP submission: 17 March, 2017</div>
<div>First notification (RPs): 24 April, 2017</div>
<div>TC submission (extra round): 1 May, 2017</div>
<div>Revision submission (RPs): 15 May, 2017</div>
<div>Final notifications (RPs + TCs): 29 May, 2017</div>
<div>Camera-ready copy (RPs + TCs): 19 June, 2017</div>
<div>Conference: 28 Aug / 1 Sep, 2017</div>
<div><br>
</div>
<div><br>
</div>
<div>Submission Details</div>
<div>------------------</div>
<div>All submissions must be made via the EasyChair conference system</div>
<div>(http://www.easychair.org/conferences/?conf=iclp2017). Submissions of</div>
<div>regular papers (RPs) must follow the condensed TPLP format (template</div>
<div>available from ICLP’s web page) and not exceed 14 pages including</div>
<div>bibliography. RPs may be supplemented with appendices for proofs and</div>
<div>details of datasets which do not count towards the page limit and</div>
<div>which will be available as appendices to the published paper. Three</div>
<div>kinds of RPs will be accepted:</div>
<div><br>
</div>
<div> * Technical papers for technically sound, innovative ideas that can</div>
<div> advance the state of logic programming;</div>
<div><br>
</div>
<div> * Application papers that impact interesting application domains;</div>
<div><br>
</div>
<div> * System and tool papers which emphasize novelty, practicality,</div>
<div> usability, and availability of the systems and tools described.</div>
<div><br>
</div>
<div>Application, system, and tool papers need to be clearly marked in</div>
<div>their title.</div>
<div><br>
</div>
<div>All submissions must be written in English and describe original,</div>
<div>previously unpublished research, and must not simultaneously be</div>
<div>submitted for publication elsewhere. These restrictions do not apply</div>
<div>to previously accepted workshop papers with a limited audience and/or</div>
<div>without archival proceedings.</div>
<div><br>
</div>
<div>Papers of the highest quality will be selected to be published in the</div>
<div>journal of Theory and Practice of Logic Programming (TPLP), Cambridge</div>
<div>University Press (CUP). In order to ensure the quality of the final</div>
<div>version, papers may be subject to more than one round of refereeing</div>
<div>(within the decision period).</div>
<div><br>
</div>
<div>The program committee may recommend some RPs to be published as</div>
<div>Technical Communications (TCs). TCs will be published by Dagstuhl</div>
<div>Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must</div>
<div>follow the OASIcs format (template available from ICLP’s web page) and</div>
<div>not exceed 14 pages excluding the bibliography and a short appendix</div>
<div>(up to 5 more pages). TC’s authors can also elect to convert their</div>
<div>submissions into extended abstracts, of 2 or 3 pages, for inclusion in</div>
<div>the OASIcs proceedings. This should allow authors to submit a long</div>
<div>version elsewhere.</div>
<div><br>
</div>
<div><br>
</div>
<div>There is also a second submission round only for TCs. Submissions to</div>
<div>this extra round must also follow the OASIcs format indicated</div>
<div>above. RPs accepted as TCs do not need to be resubmitted to the TC</div>
<div>extra round. Rejected RPs cannot be resubmitted as TCs.</div>
<div><br>
</div>
<div>All RPs and TCs will be presented during the conference. Authors of</div>
<div>accepted papers will, by default, be automatically included in the</div>
<div>list of ALP members, who will receive quarterly updates from the Logic</div>
<div>Programming Newsletter at no cost.</div>
<div><br>
</div>
<div><br>
</div>
<div>Conference Organization</div>
<div>-----------------------</div>
<div>General Chairs:</div>
<div>Maria Garcia de la Banda Monash University, Australia</div>
<div>Guido Tack Monash University, Australia</div>
<div><br>
</div>
<div>Program Chairs:</div>
<div>Ricardo Rocha University of Porto, Portugal</div>
<div>Tran Cao Son New Mexico State University, USA</div>
<div><br>
</div>
<div>Workshop Chair:</div>
<div>Enrico Pontelli New Mexico State University, USA</div>
<div><br>
</div>
<div>Publicity Chair:</div>
<div>Tommaso Urli Australian National University, Australia</div>
<div><br>
</div>
<div>Sponsorship Chair:</div>
<div>Maria Garcia de la Banda Monash University, Australia</div>
<div><br>
</div>
<div>Doctoral Consortium Chair (joint event with CP and SAT):</div>
<div>Neda Saeedloei University of Minnesota Duluth, USA</div>
<div>Christopher Mears Monash University, Australia</div>
<div><br>
</div>
<div>Programming Contest Chairs:</div>
<div>Paul Fodor Stony Brook University, USA</div>
<div>Graeme Gange University of Melbourne, Australia</div>
<div><br>
</div>
<div>Web Presence:</div>
<div>Tommaso Urli Australian National University, Australia</div>
<div><br>
</div>
<div><br>
</div>
<div>Program Committee</div>
<div>-----------------</div>
<div>
<div>Mario Alviano, University of Calabria, Italy</div>
<div>Marcello Balduccini, Drexel University, USA</div>
<div>Pedro Cabalar, University of Coruña, Spain</div>
<div>Mats Carlsson, SICS, Sweden</div>
<div>Manuel Carro, Technical University of Madrid and IMDEA Software Institute, Spain</div>
<div>Michael Codish, Ben-Gurion University of the Negev, Israel</div>
<div>Alessandro Dal Palù, Università degli Studi di Parma, Italy</div>
<div>Broes De Cat, Flanders Make, Belgium</div>
<div>Marina De Vos, University of Bath, UK</div>
<div>Marc<span class="Apple-tab-span" style="white-space:pre"> </span>Denecker, KU Leuven, Belgium</div>
<div>Agostino Dovier, Università degli Studi di Udine, Italy</div>
<div>Inês Dutra, University of Porto, Portugal</div>
<div>Esra Erdem, Sabanci University, Istanbul, Turkey</div>
<div>Wolfgang Faber, University of Huddersfield, UK</div>
<div>Thom Fruehwirth, University of Ulm, Germany</div>
<div>Sarah Alice Gaggl, Technische Universität Dresden, Germany</div>
<div>Graeme Gange, University of Melbourne, Australia</div>
<div>Maria Garcia De La Banda, Monash University, Australia</div>
<div>Marco Gavanelli, Università degli studi di Ferrara, Italy</div>
<div>Martin Gebser, University of Potsdam, Germany</div>
<div>Gopal Gupta, University of Texas at Dallas, USA</div>
<div>Amelia Harrison, University of Texas at Austin, USA</div>
<div>Manuel V. Hermenegildo, Technical University of Madrid and IMDEA Software Institute, Spain</div>
<div>Tomi Janhunen, Aalto University, Finland</div>
<div>Andy King, University of Kent, UK</div>
<div>Ekaterina Komendantskaya, Heriot-Watt University, UK</div>
<div>Joohyung Lee, Arizona State University, USA</div>
<div>Michael Leuschel, University of Düsseldorf, Germany</div>
<div>Vladimir Lifschitz, University of Texas, USA</div>
<div>Alessandra Mileo, Dublin City University, Ireland</div>
<div>Enrico Pontelli, New Mexico State University, USA</div>
<div>C. R. Ramakrishnan, Stony Brook University, USA</div>
<div>Francesco Ricca, University of Calabria, Italy</div>
<div>Ricardo Rocha, University of Porto, Portugal</div>
<div>Alessandra Russo, Imperial College London, UK</div>
<div>Chiaki Sakama, Wakayama University, Japan</div>
<div>Tom Schrijvers, KU Leuven, Belgium</div>
<div>Tran Cao Son, New Mexico State University, USA</div>
<div>Theresa Swift, NOVALINKS, Universidade Nova de Lisboa, Portugal</div>
<div>Guido Tack, Monash University, Australia</div>
<div>Paul Tarau, University of North Texas, USA</div>
<div>Daniele Theseider Dupré, Universita’ del Piemonte Orientale, Italy</div>
<div>Mirek Truszczynski, University of Kentucky, USA</div>
<div>German Vidal, Universitat Politecnica de Valencia, Spain</div>
<div>Jan Wielemaker, VU University Amsterdam, Netherlands</div>
<div>Stefan Woltran, Vienna University of Technology, Austria</div>
<div>Jia-Huai You, University of Alberta, Canada</div>
<div>Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA<br>
</div>
</div>
<div><br>
</div>
<div><br>
</div>
<div>Workshops</div>
<div>---------</div>
<div>The ICLP 2017 program will include several workshops. They are perhaps</div>
<div>the best places for the presentation of preliminary work,</div>
<div>underdeveloped novel ideas, and new open problems to a wide and</div>
<div>interested audience with opportunities for intensive discussions and</div>
<div>project collaboration.</div>
<div><br>
</div>
<div><br>
</div>
<div>Doctoral Consortium</div>
<div>-------------------</div>
<div>The Thirteen Doctoral Consortium (DC) on Logic Programming [this year</div>
<div>being co-organized and taking place together with CP 2017 and SAT</div>
<div>2017] provides research students with the opportunity to present and</div>
<div>discuss their research directions, and to obtain feedback from both</div>
<div>peers and experts in the field. Accepted participants will receive</div>
<div>partial financial support to attend the event and the main</div>
<div>conference. The best paper from the DC will be given the opportunity</div>
<div>to present in a session of the main ICLP conference. Doctoral</div>
<div>consortium position papers, of between 10 and 14 pages, will also be</div>
<div>published as TCs.</div>
<div><br>
</div>
<div><br>
</div>
<div>Conference Venue</div>
<div>----------------</div>
<div>The venue will be the Melbourne Convention and Exhibition</div>
<div>Centre. Melbourne is the second most populous city in Australia and</div>
<div>the coastal capital of the south-eastern Australian state of</div>
<div>Victoria. Set on the shores of beautiful Port Phillip Bay, Melbourne</div>
<div>has been named the World’s Most Liveable City for six years running</div>
<div>and it is widely recognised as the cultural and culinary capital of</div>
<div>Australia. It is a safe, creative and multi-cultural city full of</div>
<div>exciting places to see, delicious foods to eat, and excellent events</div>
<div>to experience; from the Arts precinct to the river bank parks and</div>
<div>gardens to the buzzing city centre and the hidden thrills of</div>
<div>Melbourne’s laneways. It is also an air-hop away from breathtaking</div>
<div>destinations like The Great Barrier Reef, Sydney and Uluru.</div>
<div><br>
</div>
<div>The Melbourne Convention and Exhibition Centre (MCEC) is located on</div>
<div>the banks of the iconic Yarra River in Melbourne's South Wharf. Given</div>
<div>its central location, it has a huge variety of accommodation close-by,</div>
<div>with more than 6000 rooms within walking distance. MCEC is easily</div>
<div>accessible by public transport, particularly as the Melbourne's city</div>
<div>centre has a free tram zone that makes it easier for tourists to move</div>
<div>around the city.</div>
<div><br>
</div>
<div><br>
</div>
<div>Related Events</div>
<div>--------------</div>
<div>Several other AI events will be held in Melbourne and other parts of</div>
<div>Australia close to these dates, offering attendees a variety of</div>
<div>choices for an extended itinerary. These events will include the</div>
<div>International Conference on Principles and Practice of Constraint</div>
<div>Programming (CP 2017) and the International Conference on Theory and</div>
<div>Applications of Satisfiability Testing (SAT 2017), both co-located</div>
<div>with ICLP 2017. The International Joint Conference on Artificial</div>
<div>Intelligence (IJCAI 2017), the Australasian Joint Conference on</div>
<div>Artificial Intelligence (AusAI 2017), the Australasian Conference on</div>
<div>Data Mining (AusDM 2017), and the International Conference on</div>
<div>Knowledge Science, Engineering, and Management (KSEM 2017) will all to</div>
<div>be held in Melbourne one week before ICLP. The International</div>
<div>Conference on Machine Learning (ICML 2017) will also be held in Sydney</div>
<div>Australia shortly before ICLP 2017.</div>
<div><br>
</div>
<div><br>
</div>
<div>Sponsor</div>
<div>-------</div>
<div>The conference is sponsored by the Association for Logic Programming</div>
<div>(ALP), the Association for Constraint Programming (ACP), CSIRO Data61,<br>
</div>
<div>and Monash University.<br>
</div>
<div><br>
</div>
<div><br>
</div>
<div>Financial Assistance</div>
<div>--------------------</div>
<div>The Association for Logic Programming has funds to assist financially</div>
<div>disadvantaged participants and, especially, students to enable them to</div>
<div>attend the conference. Inquiries should be made to the general chairs.</div>
<div><br>
<br>
</div>
<p><br>
</p>
<p><br>
</p>
<div id="Signature">
<div name="divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:; margin:0">
<p class="Basic-Paragraph" style="font-family:Calibri,serif; line-height:1.2; margin-right:0px; margin-left:0px">
<span class="char-style-override-1" style="color:rgb(47,183,135); font-family:Calibri,sans-serif; font-size:11pt; font-weight:bold">Dr Tommaso Urli</span><span class="char-style-override-2" style="color:rgb(47,183,135); font-family:Calibri,sans-serif; font-size:11pt"></span></p>
<p class="Basic-Paragraph" style="font-family:Calibri,serif; line-height:1.2; margin-right:0px; margin-left:0px">
<span class="char-style-override-4" style="font-family:Calibri,sans-serif; font-size:11pt">Researcher | Optimisation Platforms</span></p>
<p class="Basic-Paragraph" style="font-family:Calibri,serif; line-height:1.2; margin-right:0px; margin-left:0px">
<span class="char-style-override-4" style="font-family:Calibri,sans-serif; font-size:11pt"><strong>DATA61 | CSIRO</strong></span></p>
<p class="Basic-Paragraph" style="font-family:Calibri,serif; line-height:1.2; margin-right:0px; margin-left:0px">
<span class="char-style-override-6" style="color:rgb(47,183,135); font-family:Calibri,sans-serif; font-size:11pt; font-weight:bold">E</span><span class="char-style-override-4" style="font-family:Calibri,sans-serif; font-size:11pt"> <a href="mailto:tommaso.urli@data61.csiro.au" id="NoLP">tommaso.urli@data61.csiro.au</a> </span><span class="char-style-override-6" style="color:rgb(47,183,135); font-family:Calibri,sans-serif; font-size:11pt; font-weight:bold">T</span><span class="char-style-override-4" style="font-family:Calibri,sans-serif; font-size:11pt"> +61
2 6218 3862 </span><span class="char-style-override-6" style="color:rgb(47,183,135); font-family:Calibri,sans-serif; font-size:11pt; font-weight:bold">M</span><span class="char-style-override-4" style="font-family:Calibri,sans-serif; font-size:11pt"> +61 403
464 731</span></p>
<p class="Basic-Paragraph" style="font-family:Calibri,serif; line-height:1.2; margin-right:0px; margin-left:0px">
<span class="char-style-override-4" style="font-family:Calibri,sans-serif; font-size:11pt">Tower A Level 3, 7 London Circuit, Canberra ACT 2601</span><span class="char-style-override-4" style="font-family:Calibri,sans-serif; font-size:11pt"></span></p>
<p class="Basic-Paragraph" style="font-family:Calibri,serif; line-height:1.2; margin-right:0px; margin-left:0px">
<span class="char-style-override-4" style="font-family:Calibri,sans-serif; font-size:11pt"><a href="www.data61.csiro.au" style="color:rgb(47,183,135)" id="NoLP">www.data61.csiro.au</a></span></p>
<p class="Basic-Paragraph" style="font-family:Calibri,serif; line-height:1.2; margin-right:0px; margin-left:0px">
<span class="char-style-override-5" style="font-family:Calibri,sans-serif; font-size:11pt; font-weight:bold">CSIRO’s Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61</span></p>
<p class="image" style="margin-bottom:12px; font-family:Times"><img alt="Data61 | CSIRO logo" src="https://dl.dropboxusercontent.com/u/7964705/paper04.png"></p>
</div>
</div>
</body>
</html>