<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>[Apologies for cross-posting]<br>
<br>
<i>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.</i><br>
<br>
==========================================<br>
<b>Call for papers - Applications Track</b><b><br>
</b><b>ICLP 2020 - The 36th International Conference on Logic
Programming</b><b><br>
</b>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>
</p>
<p>Logic programming (LP) has been widely adopted as a powerful
declarative programming paradigm to build a variety of
applications from research projects to industrial products,
including bioinformatics, natural language understanding,
robotics, maritime situational awareness, etc. Motivated by such a
wide range of applications, ICLP will have a special track
dedicated to Applications of LP, to bring together LP researchers
and practitioners from both academia and industry, to share the
recent advancements, challenges and insight for LP applications.<br>
The goal of the Application Track is two-fold. On the one side, it
aims at providing a fresh impulse for the LP community to recast
its interests<br>
towards solving practical problems and applications. On the other
side, its goal is to attract representatives from the wider
academia and industrial communities to discuss their challenges
related to using LP in practical problems, applications and
industrial products, and their<br>
expectations from the development of theory and tools from the LP
community.<br>
<br>
Expected contributions:<br>
==============<br>
The Applications Track at ICLP 2020 invites submissions of papers
on emerging and deployed applications of LP, describing all
aspects of the development, deployment, and evaluation of LP
systems to solve real-world problems, including interesting case
studies and benchmarks,<br>
and discussing lessons learned. We welcome LP applications in a
wide 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 the presentation, for the Applications track the
criteria will include: ⁃ Significance of the real-world problem
being addressed.<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 tools and techniques.<br>
⁃ Reproducibility of empirical analysis; reusability of datasets,
case studies, knowledge repositories and benchmarks.<br>
</p>
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 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. The
accepted regular papers will be published in TPLP, along with the
selected ICLP-TPLP papers. The program committee may recommend some
regular papers to be published as technical communications (TCs),
along with the selected ICLP-TC papers. The authors of the TCs can
also elect to convert their submissions into extended abstracts (2
or 3 pages) for inclusion in the proceedings. This should allow
authors to submit a 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>),
including references) can describe published research. The accepted
short papers that describe original and previously unpublished work
will be published as TCs, along with the selected ICLP-TC papers.
The accepted short papers that describe published research will be
made available at the conference webpage, with the permission of the
authors.<br>
<br>
All accepted regular papers and technical communications will be
presented during 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.<br>
<br>
Any additional questions can be directed towards the Applications
Track 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>
</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>