The Coq mailing list

[Laura Pandolfo <lpandolfo AT uniss.it>]

[Apologies for cross-posting]

*IMPORTANT NOTE: We are continuously monitoring the COVID-19 situation
from local authorities and the World Health Organization. ICLP 2020 is
half a year away, and we are confident that COVID-19 emergency will pass
 over and the conference will be held in September, as planned. And, if
necessary, alternative solutions, such as postponement, remote
presentations, etc will be looked into and identified.*


        *** 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

--

Dona il  5x1000 all'Università degli Studi di Sassari

codice fiscale: 00196350904