From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 7F58A5D5 for ; Mon, 27 Jan 2020 15:36:55 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,370,1574118000"; d="scan'208,217";a="433225054" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Jan 2020 16:36:51 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 4F3557F3DB; Mon, 27 Jan 2020 16:36:51 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A213C7F345 for ; Mon, 27 Jan 2020 16:34:45 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=lpandolfo@uniss.it; spf=Pass smtp.mailfrom=lpandolfo@uniss.it; spf=None smtp.helo=postmaster@mail-wm1-f68.google.com IronPort-PHdr: =?us-ascii?q?9a23=3ARZZTxBS/zYwF3nFdxfL0+y/FZdpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa6zZByN2/xhgRfzUJnB7Loc0qyK6vymAjZLvsrJ8ChbNsAVDFld0Y?= =?us-ascii?q?RetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9?= =?us-ascii?q?fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN6k8xgHHr3dWdO?= =?us-ascii?q?hbx2xlLk+Xkxrg+8u85pFu/zletv4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZ?= =?us-ascii?q?SguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiC?= =?us-ascii?q?cGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcWclfSjFBApik?= =?us-ascii?q?b4QRE+UBIehWr474p1QUrBu+AxSnCOfgxzJMg3P727Ax3eY8HgHcxAEuH8wAvm?= =?us-ascii?q?nXotv7OqgdXvy6wbLSwjnfdf5bwyvx5YbKfx0nvPqCXahwcc3UyUQ3EQ3KlEiQ?= =?us-ascii?q?qZb/MDiIzOoCqW6b4PdnVeKrhW4nrBx6rz+rxsc0kIbJgJ8aylfA9SV3x4Y4Ps?= =?us-ascii?q?C4SEh6Yd6/C5tcrSCaN5dvT84kXmpmtiE6yrgctp66eigH0Iknxxjea/ObaYeI?= =?us-ascii?q?5gjvVOeNITtgi3Jlf7W/hxm28Ue+0OHzSs600FNSoiVbiNbMrXAM2ADT6sedS/?= =?us-ascii?q?t95F2t2TGV1wDc8u1LP1g0lbbHJJ462LIwkYATsUvFEyTrm0v2lLebels49uWs?= =?us-ascii?q?8ejqYbXrqoWBO4NqiQzyKKUjl8+nDeglNgUCQXKX9fm92bDh50H0QqhGgucrnq?= =?us-ascii?q?XEtp3RON4VqbSjAwBP14Yu8xa/ACmi0NQfhXQHKUhKeBODj4TwNVDOJe30Ae6x?= =?us-ascii?q?g1mtkzpn3f/GPrrmApXCKnjMjq3tcqp6605Z0AYzzNZf6IxICrwZPv7/Rkv8uM?= =?us-ascii?q?bbAxI5KQC43vjrBdZn2o4fWm+DGqqZP7nTsV+M6OIvOe6MZIoNtTb5M/gq/fju?= =?us-ascii?q?gmI+mV8Zc6mp2oAaaG2+HvRnOEWZemDggtYdEWsSpAoxUPTqiEGeUT5Uf3u9Q7?= =?us-ascii?q?gz5jQ/CI6/CYfDR5utgKCa0SegHpxWY3hGBUqWHXfpcYWEQfYMZziILs9viDxX?= =?us-ascii?q?HYSmHoQo0BXrsA7h15JmKPDV82sWr8HNzt9wssnaiAs7vQR9Ccia12+KBzVwhm?= =?us-ascii?q?oOSzgy0qdXvEp80UzF0LQu0K8QLsBa+/4cClRyDpXb1eEvV4GrBlDxO+yRQVPj?= =?us-ascii?q?ee2IRCkrR4tpkcIIYl1mXdS+3EiagniaRoQNnrnOP6Qat6LR23+repR4wnfCkb?= =?us-ascii?q?Yk1hwoHJsJOmqhiapysQPUAtyRyhTLp+ORba0ZmRX12iKGxGuKsltfVVcoA7jD?= =?us-ascii?q?XGsEIErK/430?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CiEADjAS9ef0SAVdFmgkOBI1MFgRiBM?= =?us-ascii?q?YQUjyqBbIEmgm2VUIEjA1QJAQMBCgEBJQgCAQGBTIJ0giYcBwEENgQNAhABAQQ?= =?us-ascii?q?BAQECAQIDBAETAQEJCwsIJ4VADII7DIMwCwYdAQEmAwIFCFIBCQI2AQUBLwgBA?= =?us-ascii?q?RIDCYI5SwGCew+fCoEEPYsngTKCfwEBBYEzBUcFQINAgTUJCQEIgSeMHRqBQT+?= =?us-ascii?q?BEScMgXQ3BQKBcDyBJAICGoEgAQNQgmOCXo1Oog6BaVqHQoVEiSsGG4JIeIcSh?= =?us-ascii?q?AyMHoREkwCGc4c1hAECCgcGDyOBHC0IToEhTVIhgmwJCT4YDZNIPINbgm6CJoU?= =?us-ascii?q?+AkAzAmKKZQEBJgeCFAEB?= X-IPAS-Result: =?us-ascii?q?A0CiEADjAS9ef0SAVdFmgkOBI1MFgRiBMYQUjyqBbIEmgm2?= =?us-ascii?q?VUIEjA1QJAQMBCgEBJQgCAQGBTIJ0giYcBwEENgQNAhABAQQBAQECAQIDBAETA?= =?us-ascii?q?QEJCwsIJ4VADII7DIMwCwYdAQEmAwIFCFIBCQI2AQUBLwgBARIDCYI5SwGCew+?= =?us-ascii?q?fCoEEPYsngTKCfwEBBYEzBUcFQINAgTUJCQEIgSeMHRqBQT+BEScMgXQ3BQKBc?= =?us-ascii?q?DyBJAICGoEgAQNQgmOCXo1Oog6BaVqHQoVEiSsGG4JIeIcShAyMHoREkwCGc4c?= =?us-ascii?q?1hAECCgcGDyOBHC0IToEhTVIhgmwJCT4YDZNIPINbgm6CJoU+AkAzAmKKZQEBJ?= =?us-ascii?q?geCFAEB?= X-IronPort-AV: E=Sophos;i="5.70,370,1574118000"; d="scan'208,217";a="433224366" X-MGA-submission: =?us-ascii?q?MDHa3YrAl7Wj8935SJWlPy2WaZWTa2k8nrlaXF?= =?us-ascii?q?McGqu5DiamFNf35BcagQpX5iz7X8GXy0PEWi6yCc/eoM1ZEFbOozzLYT?= =?us-ascii?q?jjXq6qG927zzu525XMjNzSc6zAcr5zce8auomPMo3L1uttXyAxfh+oI/?= =?us-ascii?q?5Uo3f3NTzS0KCCGjYnnwKJOg=3D=3D?= Received: from mail-wm1-f68.google.com ([209.85.128.68]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 27 Jan 2020 16:34:44 +0100 Received: by mail-wm1-f68.google.com with SMTP id a5so7236905wmb.0 for ; Mon, 27 Jan 2020 07:34:44 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniss-it.20150623.gappssmtp.com; s=20150623; h=from:to:subject:message-id:date:user-agent:mime-version :content-language; bh=MTOj7TcOKpj4ARKb50HPJJa6Ubin7gv+92MzqZxUxzo=; b=lcod+GSS3v4kv4QgxZkKuomtIRSUADiXCck6BzKU6mysXY8lJXICL2ROKRq/f6y3D1 Skn4wRhYHVE/ZZjIjqRJE7r6oTU2wK+GY7cDAhwOjWsnUpD7vss8jMZBLzDaUcUt33ic aN6OJSwjPE6nBJXY64jun9++D89WFroWceY+80Et8t0idg6xQukNOyfrVI1dgRaq0N5k bdqsROt72S5fdaIV9ocwCSW+Sg59AfHpf8BX9o1ZiRXlcxL7y31AjunERbMkrhevckym qJ0Ex+bzwEc0Vfw9gm4szWLI7SH6pimwcfYvIXXaqXTvgZ7EHBL6Hg6u030cw19bkph2 3rXg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:message-id:date:user-agent :mime-version:content-language; bh=MTOj7TcOKpj4ARKb50HPJJa6Ubin7gv+92MzqZxUxzo=; b=SJMznca6oPsDgtraDvmYItSoyEVnASJzRLDoup4+rQsEq0MWKcsBp8wY+ovyR4JcgW P2Z/dW86PS7JRfDawXmQYjwOFxTfqKq2sXFDD6BEw2P4M0i9IjPcY2gCD5207zN3GJAL Uq3HFxYBn9rv/HKmB8o3tIsTAPV95wVRfekHCszirxd//IMcQHNSl02XB0+6pX5e4eiM HRZa9cRCKTIJeUY75DyB67tMf1qVQESLITMTi6zLNsG22TY/wedO2pvbZ2M27BpYdb1j ESyN6Dk9oNSOKdUdx5XZ2smQ8pMkcy4KzdMxDuSFVaRtAWrhCVmr+A+lwYw5abu8QJHQ dDDw== X-Gm-Message-State: APjAAAVSXRhYJP3EtB9y4l5XXYi0UoqxpE82i4mdwo5LlRF/BoFsUPcZ D3fyIWhSiLyouGN6xXb/9g31lCdJSR93AJUimgjZ+cYBIimd6av4zUhUin+RS2YaDF31RiOuMJh oiqxxCTFwxJxe X-Google-Smtp-Source: APXvYqxur20uPwtiYdGRoKBI+4aPk0XrOfZyfXBgxbxzHy2K7mN9i1AZacGDGGbYv+VDeyY8qHHpMw== X-Received: by 2002:a1c:7718:: with SMTP id t24mr14406654wmi.119.1580139283138; Mon, 27 Jan 2020 07:34:43 -0800 (PST) Received: from 172-16-62-11.hosts.uniss.it ([192.167.71.11]) by smtp.gmail.com with ESMTPSA id a16sm21217325wrt.37.2020.01.27.07.34.42 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 27 Jan 2020 07:34:42 -0800 (PST) From: Laura Pandolfo To: caml-list@inria.fr Message-ID: Date: Mon, 27 Jan 2020 16:34:41 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:68.0) Gecko/20100101 Thunderbird/68.4.2 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------1614B66B1FB44258F225455C" Content-Language: it X-Validation-by: lpandolfo@uniss.it Subject: [Caml-list] [CfP] ICLP2020 - The 36th International Conference on Logic Programming Reply-To: Laura Pandolfo X-Loop: caml-list@inria.fr X-Sequence: 17969 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: This is a multi-part message in MIME format. --------------1614B66B1FB44258F225455C Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable ****************************Call for Papers***************************** The 36th International Conference on Logic Programming (ICLP 2020) 18-24 September 2020, Rende, Italy https://iclp2020.unical.it/home ************************************************************************** Since the first conference held in Marseille in 1982, the International=20 Conference on Logic Programming (ICLP 2020) has been the premier=20 international event for presenting research in logic programming. *** Scope *** Contributions are solicited in all areas of logic programming, including=20 but not restricted to: *Foundations: Semantics, Formalisms, Answer-Set Programming,=20 Non-monotonic Reasoning, Knowledge Representation. *Declarative Programming: Inference engines, Analysis, Type and mode=20 inference, Partial evaluation, Abstract interpretation, Transformation,=20 Validation, Verification, Debugging, Profiling, Testing, Logic-based=20 domain-specific languages, constraint handling rules. *Related Paradigms and Synergies: Inductive and Co-inductive Logic=20 Programming, Constraint Logic Programming, Interaction with SAT, SMT and=20 CSP solvers, Logic programming techniques for type inference and theorem=20 proving, Argumentation, Probabilistic Logic Programming, Relations to=20 object-oriented and Functional programming, Description logics,=20 Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic=20 Reasoning. *Implementation: Concurrency and distribution, Objects, Coordination,=20 Mobility, Virtual machines, Compilation, Higher Order, Type systems,=20 Modules, Constraint handling rules, Meta-programming, Foreign=20 interfaces, User interfaces. *Applications: Databases, Big Data, Data Integration and Federation,=20 Software Engineering, Natural Language Processing, Web and Semantic Web,=20 Agents, Artificial Intelligence, Bioinformatics, Education,=20 Computational life sciences, Education, Cybersecurity, and Robotics. ***Tracks and Special Sessions*** Besides the main track, ICLP 2020 will host additional tracks and=20 special sessions, withdedicated chairs, PC, evaluation criteria, and CfP=20 with related submission details. *Applications Track: This track invites submissions of papers on=20 emerging and deployed applications of LP, describing all aspects of the=20 development, deployment, and evaluation of logic programming systems to=20 solve real-world problems, including interesting case studies and=20 benchmarks, and discussing lessons learned. Papers submitted to this track will be evaluated using different=20 criteria, such as: * Significance of the real-world problem being addressed * Importance and novelty of using logic programming technologies to solve this problem * Evaluation and applicability of the system in real-world * Reusable datasets, case studies and benchmarks *Sister Conferences and Journal Presentation Track: This track provides=20 a forum to discuss important results related to logic programming that=20 appeared recently (from January 2017 onwards) in selective journals and=20 conferences but have not been previously presented at ICLP. *Special Session: Women in Logic Programming: This special session will=20 include invited talks and presentations by women in logic programming. *Research Challenges in Logic Programming Track:=C2=A0This track invites=20 submissions of papers describing research challenges that an individual=20 researcher or a research group is currently attacking. The goal of the=20 track is to promote discussions, exchange of ideas, and possibly=20 stimulate new collaborations. Papers submitted to this track do not go=20 through the usual review and will not be published in the proceedings =E2= =80=93=20 they will be distributed at the conference as a technical report. In addition to the presentations of accepted papers, the technical=20 program will include invited talks, advanced tutorials, the doctoral=20 consortium, and several workshops. ***Submission Details*** All submissions of the main track must be made via the EasyChair=20 conference system:https://easychair.org/conferences/?conf=3Diclp20200=20 . Regular papers must be in the condensed TPLP format (template here) and=20 not exceed 14 pages including bibliography.Regular papers may be=20 supplemented with appendices for proofs and details of datasets which do=20 not count towards the page limit and which will not be made available as=20 appendices to the published paper. Three kinds of regular papers will be accepted: *Technical papers for technically sound, innovative ideas that can=20 advance the state of logic programming; *Application papers that impact interesting application domains; *System and tool papers which emphasize novelty, practicality,=20 usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their=20 title. All submissions must be written in English and describe original,=20 previously unpublished research, and must not simultaneously be=20 submitted for publication elsewhere. These restrictions do not apply to=20 previously accepted workshop papers with a limited audience and/or=20 without archival proceedings. Papers of the highest quality will be selected to be published in the=20 journal of Theory and Practice of Logic Programming (TPLP), Cambridge=20 University Press (CUP). In order to ensure the quality of the final=20 version, papers may be subject to more than one round of refereeing=20 (within the decision period). The program committee may recommend some regular papers to be published=20 as Technical communications in EPTCS format (http://info.eptcs.org=20 ). Technical communications must not exceed 14=20 pages, includingthe bibliography.The authors of the technical=20 communications can also elect to convert their submissions into extended=20 abstracts, of 2 or 3 pages, for inclusion in the EPTCS proceedings.This=20 should allow authors to submit a long version elsewhere. All regular papers and technical communicationswill be presented during=20 the conference. So, at least one author per accepted paper is expected=20 to register and attend the conference.Authors of accepted papers will,=20 by default, be automatically included in the list of ALP members, who=20 will receive quarterly updates from the Logic Programming Newsletter at=20 no cost. ***Important Dates*** *Abstract registration (regular papers): May 8, 2020 *Paper submission (regular paper): May 15, 2020 *Notification to authors (regular paper): June 19, 2020 *Paper Submission (short papers): June 30, 2020 *Revision submission (TPLP papers): July 6, 2020 *Final notifications (TPLP papers): July 17, 2020 *Camera-ready copy due: July 27, 2020 ***Autumn School on Logic Programming*** A school on logic programming will be held before the conference. More=20 up to date information is available at the school web page=20 (https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programm= ing). ***Doctoral Consortium*** The 16th Doctoral Consortium (DC) on Logic Programming provides students=20 with the opportunity to present and discuss their research directions,=20 and to obtain feedback from both peers and experts in the field.=20 Accepted participants will receive partial financial support to attend=20 the event and the main conference. The best paper from the DC will be=20 given the opportunity to make a presentation in a session of the main=20 ICLP conference. The DC will have its own CFP, including the submission details. For=20 information, please visit the DC Web Page=20 (https://sites.google.com/view/iclp-dc-2020). ***Workshops*** The ICLP 2020 program will include several workshops. They are perhaps=20 the best places for the presentation of preliminary work, underdeveloped=20 novel ideas, and new open problems to an interested audience with=20 opportunities for intensive discussions and project collaborations. ***Tutorials*** The ICLP 2020 program will include several tutorials. They offer the=20 participants, reviews of specific subfields as well as hands-on sessions=20 by leading experts. ***Conference Organization*** General Chairs: *Nicola Leone, University of Calabria, Italy *Sergio Greco, University of Calabria, Italy Program Chairs: *Francesco Ricca, University of Calabria, Italy *Alessandra Russo, Imperial College London --=20 -- *Dona il=C2=A0 5x1000* all'Universit=C3=A0 degli Studi di Sassaricodice fis= cale:=20 00196350904 --------------1614B66B1FB44258F225455C Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
********************<= /font><= span style=3D"font-size: 11pt;">*****<= span style=3D"font-size: 11pt;">***= Call for Papers*****************************

=
The 36th International Conference on

Log= ic Programming

(IC= LP 2020)

18-24 September 2020, Rende, Italy

htt= ps://iclp2020.unical.it/home

*******************= ****<= span style=3D"font-size: 11pt;">***************************************************


Since the first conference held in Marseille in 1982, the International Conference on Logic Programming (ICLP 2020) has been the premier international event for presenting research in logic programming.=C2=A0


*** Scope ***

Contributions are solicited in all areas of logic programming, including but not restricted to:

*=C2=A0Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation.

*=C2=A0Declarative Programming: Inference engines, Analysis, Type and mode inference, Partial evaluation, Abstract interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Logic-based domain-specific languages, constraint handling rules.

*=C2=A0Related Paradigms and Synergies: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Argumentation, Probabilistic Logic Programming, Relations to object-oriented and Functional programming, Description logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic Reasoning.

*=C2=A0Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces.=C2=A0

*=C2=A0Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Education, Computational life sciences, Education, Cybersecurity, and Robotics.


***= =C2=A0Tr= acks and Special Sessions=C2=A0**= *

Besides the main track, ICLP 2020 will host additional tracks and special sessions, with=C2=A0= dedicated chairs, PC, evaluation criteria, and CfP with related submission details.<= /p>

*=C2=A0=C2=A0Applications Track: This track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned.

Papers submitted to this track will be evaluated using different criteria, such as:

  • Significance of the real-world problem being addressed
  • Importance and novelty of using logic programming technologies to solve this problem
  • Evaluation and applicability of the system in real-world
  • Reusable datasets, case studies and benchmarks=C2=A0

*=C2=A0=C2=A0Sister Conferences and Journal Presentation Track: This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2017 onwards) in selective journals and conferences but have not been previously presented at ICLP.=C2=A0

*=C2=A0=C2=A0Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming.=C2=A0

*=C2=A0=C2=A0Research Challenges in Logic Programming Track:=C2=A0This track invites submissions of papers describing research challenges that an individual researcher or a research group is currently attacking. The goal of the track is to promote discussions, exchange of ideas, and possibly stimulate new collaborations. Papers submitted to this track do not go through the usual review and will not be published in the proceedings =E2=80=93 the= y will be distributed at the conference as a technical report.=C2= =A0

In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops.

=C2=A0

***=C2=A0Su= bmission Details=C2=A0= **= *

All submissions of the main track must be made via the=C2=A0EasyChair conference system:=C2=A0= https://easychair.org/conferences/?conf=3Diclp20200.=C2=A0

Regular paper= s must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography.=C2=A0=C2=A0

Three kinds o= f regular papers will be accepted:

*=C2=A0Technical papers for technically sound, innovative ideas that can advance the state of logic programming;

*=C2=A0Application papers that impact interesting application domains;

*=C2=A0System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described.

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. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings.

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).=

The program committee may recommend some regular papers to be published as Technical communications in EPTCS format (http://info.eptcs.org). Technical communications must not exceed 14 pages, including= =C2=A0=C2=A0<= /span>The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the EPTCS proceedings.=C2=A0This should allow authors to submit a long version elsewhere.

All regular papers and technical communications=C2=A0=C2= =A0Authors 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.


***=C2=A0Important Dates=C2=A0**= *

*=C2=A0Abstract registrat= ion (regular papers): May 8, 2020=C2=A0

*=C2=A0Paper submission (regular paper): May 15, 2020=C2=A0=C2=A0

*=C2=A0Notification to authors (regular paper): June 19, 2020

*=C2=A0Paper Submission (short papers): June 30, 2020

*=C2=A0Revision submissio= n (TPLP papers): July 6, 2020

*=C2=A0Final notification= s (TPLP papers): July 17, 2020=C2=A0

*=C2=A0Camera-ready copy = due: July 27, 2020

=C2=A0

***=C2=A0Au= tumn School on Logic Programming= =C2=A0**= *

A school on logic programming will be held before the conference. More up to date information is available at the school web page (https://sites.google.com/view/iclp-dc-2020/autumn-school-on-log= ic-programming).


***=C2=A0Do= ctoral Consortium=C2=A0**= *

The 16th Doctoral Consortium (DC) on Logic Programming provides students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference.=C2=A0

The DC will have its own CFP, including the submission details. For information, please visit the DC Web Page (https://sit= es.google.com/view/iclp-dc-2020).


***=C2=A0Wo= rkshops=C2=A0**= *

The ICLP 2020 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to an interested audience with opportunities for intensive discussions and project collaborations.


***=C2=A0Tu= torials=C2=A0**= *

The ICLP 2020 program will include several tutorials. They offer the participants, reviews of specific subfields as well as hands-on sessions by leading experts.

=C2=A0

***=C2=A0Conference Organization<= span class=3D"Apple-converted-space">=C2=A0**= *

General Chairs:=C2=A0=

*=C2=A0Nicola Leone, University of Calabria, Italy

*=C2=A0Sergio Greco, University of Calabria, Italy


Program Chairs:=C2=A0=

*=C2=A0Francesco Ricca, University of Calabria, Italy=C2=A0

*=C2=A0Alessandra Russo, Imperial College London



--
Dona il=C2=A0 5x1000 all'Universit=C3=A0 degli Studi di= Sassari
codice fiscale: 001963509= 04
--------------1614B66B1FB44258F225455C--