<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta name=Title content=""><meta name=Keywords content=""><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.msoIns
{mso-style-type:export-only;
mso-style-name:"";
text-decoration:underline;
color:teal;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
--></style></head><body bgcolor=white lang=EN-US link="#0563C1" vlink="#954F72"><div class=WordSection1><p class=MsoNormal><span style='font-size:11.0pt'>APOLOGIES if you receive multiple copies of this message<o:p></o:p></span></p><div style='mso-element:para-border-div;border:none;border-bottom:double windowtext 2.25pt;padding:0in 0in 1.0pt 0in'><p class=MsoNormal style='border:none;padding:0in'><span style='font-size:11.0pt'><o:p> </o:p></span></p></div><p class=MsoNormal><span style='font-size:11.0pt'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>34th International Conference on Logic Programming (ICLP 2018)<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Call for Papers<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>=====================<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>July 14-17, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Oxford, UK<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>http://www.logicprogramming.org/iclp2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>The 34th International Conference on Logic Programming (ICLP 2018) will take place in Oxford, U.K. as part of FLOC'2018 (http://www.floc2018.org/) from July 14 to July 17, 2018.<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Scope:<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>------<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>ICLP is the premier conference on foundations and applications of logic programming, including but not restricted to answer-set programming, non-monotonic reasoning, unification and constraints based logic languages, constraint handling rules, argumentation logics, deductive databases, description logics, inductive and co-inductive logic programming.<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Papers are solicited on:<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>* Foundations: semantics, execution algorithms, formal models<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>* Implementation: virtual machines, compilation, memory management, <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> parallel execution, foreign interfaces<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>* Language Design: inference engines, type systems, concurrency and <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> distribution, modules, metaprogramming, relations to object-oriented <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> and functional programming, logic-based domain-specific languages<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>* Software-Development Techniques: declarative algorithms and data <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> structures, design patterns, debugging, testing, profiling, execution <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> visualization<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>* Transformation and Analysis: assertions, type and mode inference, <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> partial evaluation, abstract interpretation, program transformations <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>* Applications and Synergies: interaction with SAT, SMT and CSP solvers, <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> logic programming techniques for type inference and theorem proving, <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> Horn-clause analysis, knowledge representation, cognitive computing, <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> artificial intelligence, natural language processing, information <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> retrieval, web programming, education, computational life sciences, <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> computational mathematics.<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Submission Details:<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>-------------------<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Submissions of regular papers must be made in the condensed TPLP format via EasyChair. A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets. These will not not count towards this limit and will be available as supplementary material to the published paper in the TPLP website. We accept three kinds of papers:<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>- Technical papers for technically sound, innovative ideas that can <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> advance the state of logic programming;<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>- Application papers that impact interesting application domains;<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>- System and tool papers which emphasize novelty, practicality, usability, <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> and availability of the systems and tools described.<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period).<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>The program committee may recommend some papers to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere.<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs.<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost.<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Important Dates:<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>----------------<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Abstract registration February 5, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Paper submission February 12, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Notification March 20, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Revision submission (TPLP papers) April 5, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Final notifications (TPLP papers) April 15, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Camera-ready copy May 1, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Conference July 14 / July 17, 2018<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>General Chair: Marco Gavanelli<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Program Chairs: <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> Alessandro Dal Palù University of Parma<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'> Paul Tarau University of North Texas<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Program Committee:<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Mario Alviano University of Calabria<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Hassan Ait-Kaci <o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Marcello Balduccini St. John's University<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Mutsunori Banbara Kobe University<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Pedro Cabalar University of Corunna<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Mats Carlsson SICS<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Manuel Carro UPM and IMDEA Software Institute<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Michael Codish Ben-Gurion University of the Negev<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Marina De Vos University of Bath<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Thomas Eiter TU Wien<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Esra Erdem Sabanci University<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Thom Fruehwirth University of Ulm<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Marco Gavanelli University of Ferrara<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Martin Gebser University of Potsdam<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Gopal Gupta University of Texas at Dallas<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Michael Hanus CAU Kiel<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Amelia Harrison University of Texas at Austin<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Manuel Hermenegildo UPM<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Tomi Janhunen Aalto University<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Angelica Kimmig Cardiff University<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Ekaterina Komendantskaya Heriot-Watt University<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Nicola Leone University of Calabria<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Michael Leuschel University of Dusseldorf<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Yuliya Lierler University of Nebraska at Omaha<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Vladimir Lifschitz University of Texas at Austin<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Barry O'Sullivan University College Cork<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>David Pearce Technical University of Madrid (UPM)<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Enrico Pontelli New Mexico State University<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Ricardo Rocha University of Porto<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Chiaki Sakama Wakayama University<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Vitor Santos Costa University of Porto<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Tom Schrijvers KU Leuven<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Tran Cao Son New Mexico State University<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Theresa Swift Universidade Nova de Lisboa<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Peter Szeredi Budapest University of Technology and Economics<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Mirek Truszczynski University of Kentucky<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>German Vidal Universitat Politècnica de València<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Jan Wielemaker VU University of Amsterdam<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Stefan Woltran TU Wien<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Roland Yap National University of Singapore<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Jia-Huai You University of Alberta<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'>Neng-Fa Zhou CUNY Brooklyn College and Graduate Center<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p> </o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt'><o:p> </o:p></span></p></div></body></html>