Connectionists: [Final CFP and Updated Schedule] ICLP 2020 - The 36th International Conference on Logic Programming

Laura Pandolfo lpandolfo at uniss.it
Mon May 18 12:40:33 EDT 2020


========================================================
*FINAL CALL FOR PAPERS – Updated schedule*

**

*ICLP 2020 - The 36th International Conference on Logic Programming
September 18 - September 24, 2020
University of Calabria, Rende, Italy
**https://iclp2020.unical.it*
========================================================

*IMPORTANT HIGHLIGHTS:

Conference online:*
The conference general chairs together with the program chairs and the 
ALP Executive, have decided to hold ICLP2020 as a fully virtual 
conference on the original week. More details will be forthcoming.

*Deadlines Extension:*
Due to the difficult period we are all experiencing and the profound 
impact that this has been having on our lives and daily work we have 
decided to extend the submission deadline for ICLP 2020 special tracks. 
New schedule of important dates is highlighted below:

*Applications Track and Woman in Logic Programming*
Abstract registration (regular papers, including TPLP papers): *June 3, 
2020*

Paper submission (regular paper): *June 5, 2020 *

Final notifications (All paper kinds): *July 30, 2020 *

Camera-ready copy due: *August 6, 2020*

*Research Challenges Track and Journal Presentation Track*

Abstract registration and paper submission: *July 12, 2020*

Final notifications: *July 30, 2020*

Camera-ready copy due: *August 6, 2020*

Abstract registration of regular papers to the main track is now closed.

========================================================

*The Conference*
The 36th International Conference on Logic Programming (ICLP 2020) will 
take place from the 18th September 2020 in Rende (CS), Italy. Since the 
first conference held in Marseille in 1982, ICLP has been the premier 
international event for presenting research in logic programming.

*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. *Paper Types:*Regular paper 
(including TPLP Papers), Short Paper.

-*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 
confere­­­nces but have not been previously presented at ICLP.*Paper 
Type:* Paper published in other main venue.

-*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. *Paper 
Type:*Short paper.

-*Women in Logic Programming: *This special session aims to increase the 
visibility and impact of women in LP, fostering awareness of one 
another’s work. To have good role models is very important for female 
students and this session is an opportunity to celebrate women’s work in 
the community. We hope this will be particularly attractive to 
early-career women. Contributions are solicited in all areas of logic 
programming and related areas, with a special focus on applications that 
are beneficial to society in the large, and to the role of women in 
society in particular. *Paper Types:*Regular paper (including TPLP 
Papers), Short Paper.


*Submission Details*
=================

All submissions must be made via the EasyChair conference system:

https://easychair.org/conferences/?conf=iclp20200.

Each ICLP2020 Track has its own submission rules, please check the 
dedicated CFP in our website for more details:

https://iclp2020.unical.it/calls


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


-- 

--
*Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 
00196350904
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.srv.cs.cmu.edu/pipermail/connectionists/attachments/20200518/9af03485/attachment.html>


More information about the Connectionists mailing list