Subject: | [WI] [CfP] ICLP2020 The Research Challenges Track: The 36th International Conference on Logic Programming |
---|---|
Date: | Tue, 21 Apr 2020 18:17:40 +0200 |
From: | Laura Pandolfo <lpandolfo@uniss.it> |
Reply-To: | Laura Pandolfo <lpandolfo@uniss.it> |
To: | wi@aifb.uni-karlsruhe.de |
[Apologies for cross-posting]
IMPORTANT NOTE: 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.
==========================================
Call for papers - The Research Challenges Track
ICLP 2020 - The 36th International Conference on Logic
Programming
September 18 - September 24, 2020
University of Calabria, Rende, Italy
https://iclp2020.unical.it
==========================================
Are you a researcher in logic programming working on a problem
that appears to be particularly challenging? Perhaps you feel a
little stuck? Or, are you facing a problem that needs some LP
technology you are not familiar with? Would you like to open a
discussion for collaboration? The goal of the Research
Challenges Track is to help researchers overcome their
challenges by providing a venue to invite input from the broader
community. Contributors to this less formal track will be given
an opportunity to exchange ideas with other researchers who may
have come up against, or are currently working on, similar
problems. We hope the track will foster discussion and possibly
even new collaborations.
Expected contributions
==============
The Research Challenges Track at ICLP 2020 invites submissions
describing LP research challenges in a wide range of areas,
including but not limited to:
* Industry-level application of logic programming
* Applications of logic programming to other sciences and AI
(bioinformatics, natural language processing, digital forensics,
etc.)
* Logic programming and big data
* Machine learning and logic programming
* Logic programming and other computational paradigms
* Theoretical foundations of logic programming
Evaluation and Feedback
===============
In this track, the selection process will be less formal. While
authors will receive some feedback, the review process will not
be typical. We do not expect contributions only from seasoned
researchers. Ph.D. students and junior researchers are more than
welcome to contribute. Also, contributors outside the LP
community will be given special attention. Any contribution that
clearly describes a research problem relevant to logic
programming will be evaluated positively. The chance to interact
with other researchers during the conference will provide
additional feedback and hopefully lead to a longer-term
discussion/collaboration.
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
Main Conference starts: September 19, 2020
Submission Details
===========
All submissions must be written in English. Submissions should
be no more than 4 pages in EPTCS format (http://info.eptcs.org/), including
references, and should describe a research problem or challenge.
Accepted papers will be presented during the conference. Authors
of accepted papers are expected to register to ICLP and present
their work.
Any additional questions can be directed towards the Research
Challenges Track Chairs
Research Challenges Track Chairs
=====================
Gerhard Friedrich, Universität Klagenfurt, Austria
Fabrizio Riguzzi, Università di Ferrara, Italy