From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10200 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Laura Pandolfo Newsgroups: gmane.science.mathematics.categories Subject: [CfP] ICLP2020 Main Track: The 36th International Conference on Logic Programming Date: Mon, 20 Apr 2020 16:09:54 +0200 Message-ID: Reply-To: Laura Pandolfo Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="77091"; mail-complaints-to="usenet@ciao.gmane.io" To: categories@mta.ca Original-X-From: majordomo@rr.mta.ca Wed Apr 22 02:06:14 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jR2u6-000Jvd-BH for gsmc-categories@m.gmane-mx.org; Wed, 22 Apr 2020 02:06:14 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:51534) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jR2rS-0005cM-GN; Tue, 21 Apr 2020 21:03:30 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jR2sR-0005nH-Sl for categories-list@rr.mta.ca; Tue, 21 Apr 2020 21:04:31 -0300 Content-Language: it Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10200 Archived-At: [Apologies for cross-posting] /_IMPORTANT NOTE:_//The conference general chairs together with the=20 program////chairs and the ALP Executive, have decided to hold ICLP2020=20 as a fully////virtual conference on the original week. More details will=20 be forthcoming./ =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D *Call for Papers** **ICLP 2020 - The 36th International Conference on Logic Programming* *September 18 - September 24, 2020* ***University of Calabria, Rende, Italy* ***https://iclp2020.unical.it * =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D The 36th International Conference on Logic Programming (ICLP 2020) will=20 take place from the 18th to the 24nd of September 2020 in Rende=20 (CS),Italy, with the main program starting immediately after the=20 sisterconference KR 2020. Since the first conference held in Marseille=20 in 1982, ICLP has been the premier international event for presenting=20 research in logic programming. *Scope* =3D=3D=3D=3D=3D Contributions are solicited in all areas of logic programming and=20 related areas, including 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,=20 Coordination, Mobility, Virtual machines, Compilation, Higher Order,=20 Type systems, Modules, Constraint handling rules, Meta-programming,=20 Foreign 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* =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Besides the main track, ICLP 2020 will host additional tracks and=20 special sessions:* *_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.* *_Sister Conferences and Journal Presentation Track__:_ This track=20 provides a forum to discuss important results related to logic=20 programming that appeared recently (from January 2017 onwards) in=20 selective journals and conferences but have not been previously=20 presented at ICLP.* *_Special Session: Women in Logic Programming__:_ This special session=20 will include invited talks and presentations by women in logic=20 programming.** **_Research Challenges in Logic Programming Track:_**This 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. Every of the above four tracks will have its own dedicated chairs, PC,=20 evaluationcriteria, and CFP with related submission details (see the=20 specific call for papers). In addition to the presentations of accepted=20 papers, the technical program willinclude invited talks, advanced=20 tutorials, the doctoral consortium, and severalworkshops. *Submission Details* =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D All submissions must be made via the EasyChair conference=20 system:https://easychair.org/conferences/?conf=3Diclp20200=20 . Regular papers must= =20 be in the condensed TPLP format (template here) and not exceed14 pages=20 including bibliography. Regular papers may be supplemented with=20 appendices for proofs and details of datasets which do not count towards=20 the page limit andwhich will not be made available as appendices to the=20 published paper. Three kinds of regular papers will be accepted: =E2=80=A2 Technical papers for technically sound, innovative ideas that can= =20 advance thestate of logic programming; =E2=80=A2 Application papers that impact interesting application domains; =E2=80=A2 System and tool papers which emphasize novelty, practicality,=20 usability, and availability of the systems and tools described.=20 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 previouslyunpublished research, and must not simultaneously be submitted=20 for publication elsewhere. These restrictions do not apply to previously=20 accepted workshop papers with a limited audience and/or without archival=20 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, including the 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 communications will be presented during=20 theconference. So, at least one author per accepted paper is expected to=20 register andattend the conference. Authors of accepted papers will, by=20 default, be automatically included in the list of ALP members, who will=20 receive quarterly updates from theLogic Programming Newsletter at no cost. *Important Dates* =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 Main Conference starts: September 19, 2020 *Autumn School on Logic Programming* =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D A school on logic programming will be held before the conference. More=20 up to date information is available at the school web page. *Doctoral Consortium* =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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 partialfinancial support to attend=20 the event and the main conference. The best paper fromthe 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=20 details. For information,please visit the DC Web Page. *Workshops* =3D=3D=3D=3D=3D=3D=3D=3D=3D 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 openproblems to an interested audience with=20 opportunities for intensive discussions andproject collaborations. *Tutorials* =3D=3D=3D=3D=3D=3D=3D=3D 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* =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D General Chairs: =E2=80=A2 Sergio Greco, University of Calabria, Italy =E2=80=A2 Nicola Leone, University of Calabria, Italy Program Chairs: =E2=80=A2 Francesco Ricca, University of Calabria, Italy =E2=80=A2 Alessandra Russo, Imperial College London Organizing Chairs: =E2=80=A2 Marco Calautti, University of Calabria, Italy =E2=80=A2 Carmine Dodaro, University of Calabria, Italy Publicity Chair: =E2=80=A2 Laura Pandolfo, University of Sassari, Italy --=20 -- *Dona il=C2=A0 5x1000* all'Universit=C3=A0 degli Studi di Sassaricodice fis= cale:=20 00196350904 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]