<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<font size="+1" face="Courier New, Courier, monospace">[Apologies
for cross-posting]<br>
<br>
*IMPORTANT NOTE: We are continuously monitoring the COVID-19
situation <br>
from local authorities and the World Health Organization. ICLP
2020 is <br>
half a year away, and we are confident that COVID-19 emergency
will pass<br>
over and the conference will be held in September, as planned.
And, if <br>
necessary, alternative solutions, such as postponement, remote <br>
presentations, etc will be looked into and identified.*<br>
<br>
<br>
*** CALL FOR PAPERS - APPLICATIONS TRACK ***<br>
ICLP 2020<br>
The 36th International Conference on Logic Programming<br>
September 18 - September 24, 2020<br>
University of Calabria, Rende, Italy<br>
<a class="moz-txt-link-freetext" href="https://iclp2020.unical.it">https://iclp2020.unical.it</a><br>
<br>
Logic programming (LP) has been widely adopted as a powerful
declarative <br>
programming paradigm to build a variety of applications from
research <br>
projects to industrial products, including bioinformatics, natural
<br>
language understanding, robotics, maritime situational awareness,
etc. <br>
Motivated by such a wide range of applications, ICLP will have a
special <br>
track dedicated to Applications of LP, to bring together LP
researchers <br>
and practitioners from both academia and industry, to share the
recent <br>
advancements, challenges and insight for LP applications.<br>
<br>
The goal of the Application Track is two-fold. On the one side, it
aims <br>
at providing a fresh impulse for the LP community to recast its
interests<br>
towards solving practical problems and applications. On the other
side, <br>
its goal is to attract representatives from the wider academia and
<br>
industrial communities to discuss their challenges related to
using LP <br>
in practical problems, applications and industrial products, and
their<br>
expectations from the development of theory and tools from the LP
<br>
community.<br>
<br>
Expected contributions:<br>
=======================<br>
The Applications Track at ICLP 2020 invites submissions of papers
on <br>
emerging and deployed applications of LP, describing all aspects
of <br>
the development, deployment, and evaluation of LP systems to solve
<br>
real-world problems, including interesting case studies and
benchmarks,<br>
and discussing lessons learned. We welcome LP applications in a
wide <br>
range of areas, including but not limited to:<br>
<br>
⁃ stream reasoning<br>
⁃ composite event recognition<br>
⁃ industrial applications<br>
⁃ commonsense reasoning, knowledge representation<br>
⁃ declarative problem solving<br>
⁃ education<br>
⁃ bioinformatics, computational biology<br>
⁃ life sciences, genetics, medicine, pharmacology<br>
⁃ cognitive robotics, social robotics, human-robot interactions<br>
⁃ intelligent transportation, logistics, maritime situational
awareness<br>
⁃ computer vision, sensing, internet of things<br>
⁃ data analysis, machine learning<br>
⁃ creative computing<br>
⁃ digital forensics, cybersecurity, blockchain<br>
⁃ economics, game theory, social choice<br>
⁃ software engineering, intelligent user interfaces<br>
⁃ multi-agent systems, argumentation, epistemic reasoning<br>
⁃ constraint programming, SAT, SMT<br>
⁃ natural language understanding, story telling, question
answering<br>
⁃ explanation generation, diagnosis<br>
⁃ spatial/temporal/probabilistic reasoning<br>
⁃ planning and scheduling<br>
⁃ databases, ontologies, knowledge bases, Semantic Web<br>
<br>
Evaluation Criteria:<br>
====================<br>
In addition to the usual evaluation criteria concerning the
quality of <br>
the presentation, for the Applications track the criteria will
include: <br>
⁃ Significance of the real-world problem being addressed.<br>
⁃ Importance and novelty of using LP technologies to solve this
problem.<br>
⁃ Evaluation and applicability of the system in the real world.<br>
⁃ Clear evidence of the potential benefits of applying and
improving LP <br>
tools and techniques.<br>
⁃ Reproducibility of empirical analysis; reusability of datasets,
case <br>
studies, knowledge repositories and benchmarks.<br>
<br>
Important Dates:<br>
================<br>
Abstract registration (regular papers): May 8, 2020<br>
Paper submission (regular paper): May 15, 2020 <br>
Notification to authors (regular paper): June 19, 2020<br>
Paper Submission (short papers): June 30, 2020<br>
Revision submission (TPLP papers): July 6, 2020<br>
Final notifications (TPLP papers): July 17, 2020<br>
Camera-ready copy due: July 27, 2020<br>
Main Conference starts: September 19, 2020<br>
<br>
Submission Details:<br>
===================<br>
All submissions must be written in English.<br>
• Regular papers (14 pages in TPLP format, including references)
must <br>
describe original, previously unpublished research, and must
not <br>
simultaneously be submitted for publication elsewhere. These <br>
restrictions do not apply to previously accepted workshop
papers with<br>
a limited audience and/or without archival proceedings. The
accepted <br>
regular papers will be published in TPLP, along with the
selected <br>
ICLP-TPLP papers. The program committee may recommend some
regular <br>
papers to be published as technical communications (TCs), along
with<br>
the selected ICLP-TC papers. The authors of the TCs can also
elect to<br>
convert their submissions into extended abstracts (2 or 3
pages) for <br>
inclusion in the proceedings. This should allow authors to
submit a <br>
long version elsewhere.<br>
• Short papers (7 pages in EPTCS format (<a class="moz-txt-link-freetext" href="http://info.eptcs.org/">http://info.eptcs.org/</a>),
<br>
including references) can describe published research. The
accepted <br>
short papers that describe original and previously unpublished
work <br>
will be published as TCs, along with the selected ICLP-TC
papers<br>
The accepted short papers that describe published research will
be <br>
made available at the conference webpage, with the permission
of the <br>
authors.<br>
All accepted regular papers and technical communications will be <br>
presented during the conference. Authors of accepted papers will,
by <br>
default, be automatically included in the list of ALP members, who
will <br>
receive quarterly updates from the Logic Programming Newsletter at
no cost.<br>
<br>
Any additional questions can be directed towards the Applications
Track <br>
Co-Chairs:<br>
• Alexander Artikis, University of Piraeus & NCSR Demokritos<br>
• Angelika Kimmig, Cardiff University, UK<br>
<br>
Applications Track Program Committee (tentative)<br>
================================================<br>
• Nicos Angelopoulos (University of Essex, UK)<br>
• Chitta Baral (Arizona State University, USA)<br>
• Alex Brik (Google Inc, USA)<br>
• François Bry (LMU München, Germany)<br>
• Francesco Calimeri (University of Calabria, Italy)<br>
• Angelos Charalambides (NCSR Demokritos, Greece)<br>
• Martín Diéguez (ENIB, France)<br>
• Martin Gebser (University of Potsdam, Germany)<br>
• Gopal Gupta (University of Texas at Dallas, USA)<br>
• Jianmin Ji (University of Science and Technology of China,
China)<br>
• Nikos Katzouris (NCSR Demokritos, Greece)<br>
• Zeynep Kiziltan (University of Bologna, Italy)<br>
• Yunsong Meng (Houzz Inc., USA)<br>
• Fariba Sadri (Imperial College London, UK)<br>
• Mohan Sridharan (University of Birmingham, UK)<br>
• Konstantin Schekotihin (Alpen-Adria Universitaet Klagenfurt,
Austria)<br>
• Tom Schrijvers (Catholic University of Leuven, Belgium)<br>
• Paul Tarau (University of North Texas, Denton, USA)<br>
• David Warren (SUNY Stony Brook, USA)<br>
• Jan Wielemaker (VU University of Amsterdam, The Netherlands)<br>
• Shiqi Zhang (SUNY Binghamton, USA)<br>
• Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center, USA)<br>
<br>
</font><br>
</body>
</html>
<br>
<div><span style="background-color:white;color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px"><br>--</span></div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white"><b>Dona il 5x1000</b> all'Università degli Studi di Sassari</span><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white">codice fiscale: 00196350904</span></div>