IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial
 
ICLP 2020 : The 36th International Conference on Logic Programming
ICLP 2020 : The 36th International Conference on Logic Programming

ICLP 2020 : The 36th International Conference on Logic Programming

Rende, Italy
Event Date: September 18, 2020 - September 24, 2020
Abstract Submission Deadline: May 08, 2020
Submission Deadline: May 15, 2020
Notification of Acceptance: June 19, 2020
Camera Ready Version Due: July 27, 2020



About

The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th to the 24nd of September 2020 in Rende (CS), Italy, with the main program starting immediately after KR 2020 . It will be hosted by the Department of Mathematics and Computer Science of the University of Calabria.

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.


Call for Papers

Scope

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

  • Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic Reasoning, Knowledge Representation.
  • Declarative 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.
  • Related 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.
  • Implementation: Concurrency and distribution, Objects, Coordination, Mobility, Virtual machines, Compilation, Higher Order, Type systems, Modules, Constraint handling rules, Meta-programming, Foreign interfaces, User interfaces.
  • Applications: 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.

Tracks and Special Sessions

Besides the main track, ICLP 2020 will host additional tracks and special sessions:

  • Applications 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.
  • Sister 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.
  • Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming.
  • Research Challenges in Logic Programming Track: This 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 – they will be distributed at the conference as a technical report.

Every of the above four tracks will have its own dedicated chairs, PC, evaluation criteria, and CFP with related submission details (see the specific call for papers).

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

Submission Details

All submissions must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp20200.

Regular papers must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will not be made available as appendices to the published paper.

Three kinds of regular papers will be accepted:

  • Technical papers for technically sound, innovative ideas that can advance the state of logic programming;
  • Application papers that impact interesting application domains;
  • System 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 the bibliography. 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. This should allow authors to submit a long version elsewhere.

All regular papers and technical communications will be presented during the conference. So, at least one author per accepted paper is expected to register and attend the conference. 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.



Best Deals



Summary

ICLP 2020 : The 36th International Conference on Logic Programming will take place in Rende, Italy. It’s a 7 days event starting on Sep 18, 2020 (Friday) and will be winded up on Sep 24, 2020 (Thursday).

ICLP 2020 falls under the following areas: CONSTRAINT LOGIC PROGRAMMING, OPERATIONS RESEARCH, CONSTRAINT SATISFACTION, LOGIC PROGRAMMING, etc. Submissions for this Conference can be made by May 15, 2020. Authors can expect the result of submission by Jun 19, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 27, 2020 to the official website of the Conference.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the ICLP 2020

  • Short Name: ICLP 2020
  • Full Name: The 36th International Conference on Logic Programming
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of ICLP 2020
  • Event Type: Conference
  • Website Link: https://iclp2020.unical.it/home
  • Location/Address: Rende, Italy


Credits and Sources

[1] ICLP 2020 : The 36th International Conference on Logic Programming


Check other Conferences, Workshops, Seminars, and Events


OTHER OPERATIONS RESEARCH EVENTS

INFORMS 2020: The 2020 INFORMS Annual Meeting
National Harbor, MD, Washington DC, USA
Nov 08, 2020
SBPO 2019: 51st Brazilian Operational Research Symposium
Limeira
Sep 2, 2019
ICVNS 2019: 7th International Conference on Variable Neighborhood Search
Rabat, Morocco
Oct 3, 2019
ICBAOR 2019: International Conference on Business Analytics and Operations Research
Udupi
Jun 14, 2019
BEST 2019: Blockchain & Energy SysTems (BEST) Conference (January 18 - 20, 2019, Orlando, Florida)
Orlando, FL, USA
Jan 18, 2019
SHOW ALL

OTHER CONSTRAINT SATISFACTION EVENTS

DPSW 2020: Declarative Problem Solving Workshop
Santiago de Compostela Spain
Jun 09, 2019
JFPC 2020: Sixteenth French-Speaking Constraint Programming Days
Nice, France
Jun 02, 2020
JFPC 2019: Quinzième Journées Francophones de Programmation par Contraintes
Albi, France
Jun 12, 2019
SHOW ALL

OTHER LOGIC PROGRAMMING EVENTS

PADL 2021: 23rd International Symposium on Practical Aspects of Declarative Languages
Copenhagen, Denmark
Jan 18, 2021
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Alicante, Spain
May 22, 2020
WLP 2019: 33rd Workshop on (Constraint) Logic Programming Conference Series : Workshop Logische Programmierung  
Cottbus, Germany
Sep 9, 2019
WFLP 2019: 27th International Workshop on Functional and (Constraint) Logic Programming Conference Series : Workshop on Functional and Constraint Logic Programming  
Cottbus, Germany
Sep 9, 2019
INAP 2019: 22nd International Conference on Applications of Declarative Programming and Knowledge Management Conference Series : International Conference on Applications of Declarative Programming and Knowledge Management  
Cottbus, Germany
Sep 9, 2019
SHOW ALL