<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Apologies for cross-posting</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
** CALL FOR PAPERS **</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 15px; line-height: normal; font-family: Helvetica;" class="">
<b class="">The 35th International Conference on Logic Programming (ICLP 2019)</b></div>
<div style="margin: 0px; font-stretch: normal; font-size: 14px; line-height: normal; font-family: Helvetica;" class="">
<b class="">Applications Track</b></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
September 21-25, 2019</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Las Cruces, New Mexico (USA)</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<a href="https://www.cs.nmsu.edu/ALP/iclp2019/" class="">https://www.cs.nmsu.edu/ALP/iclp2019/</a></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
-------------------------------------------------------------------------</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<b class="">Objectives</b></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
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, etc. Motivated
by such a wide range of applications, this year ICLP will have a special track dedicated to Applications of LP, to bring together LP researchers and practitioners from both academia and industry communities to share the recent advancement, challenge and insight
for LP applications.</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
The goal of the Application Track is two-folded. On the one side, it aims at providing a fresh impulse for the LP community to recast its interests 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 expectations of the development of theory and tools from LP community.</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<b class="">Expected contributions</b></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
The Applications Track at ICLP 2019 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, and discussing lessons learned. </div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
We welcome LP applications in a wide range of areas, including but not limited to: </div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<ul class="">
<li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
industrial applications</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
commonsense reasoning, knowledge representation</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
declarative problem solving</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
education</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
bioinformatics, computational biology</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
life sciences, genetics, medicine, pharmacology</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
cognitive robotics, social robotics, human-robot interactions</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
intelligent transportation, logistics</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
computer vision, sensing, internet of things</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
data analysis, machine learning</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
creative computing</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
digital forensics, cybersecurity, blockchain </li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
economics, game theory, social choice</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
software engineering, intelligent user interfaces</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
multi-agent systems, argumentation, epistemic reasoning</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
constraint programming, SAT, SMT </li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
natural language understanding, story telling, question answering</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
explanation generation, diagnosis</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
spatial/temporal/probabilistic reasoning</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
planning and scheduling</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
databases, ontologies, knowledge bases, Semantic Web</li></ul>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<b class=""></b><br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<b class="">Evaluation Criteria</b></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
In this track, selection process of the highest quality papers will apply the following criteria:</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<ul class="">
<li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Significance of the real-world problem being addressed</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Importance and novelty of using logic programming technologies to solve this problem</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Evaluation and applicability of the system in real-world</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Reusability of datasets, case studies and benchmarks</li></ul>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<b class="">Important Dates</b></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<ul class="">
<li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Abstract registration: April 27, 2019</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Paper submission: May 4, 2019</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Notification: June 19, 2019</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
TPLP revision submission: July 3, 2019</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
TPLP final notifications: July 17, 2019</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Camera-ready copy: July 31, 2017</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Conference: September 21-25, 2019 </li></ul>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<b class="">Submission Details</b></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
All submissions must be written in English. </div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<ul class="MailOutline">
<li class="">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. </li></ul>
</div>
<blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class="">
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
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 OASIcs proceedings. This should allow authors to submit a long version elsewhere.</div>
</blockquote>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<ul class="MailOutline">
<li class="">Short papers (7 pages in OASIcs format, 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.</li></ul>
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
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.</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Any additional questions can be directed towards the Application Track Chairs:</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Andrea Formisano, Università di Perugia</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<a href="mailto:andrea.formisano@unipg.it" class="">andrea.formisano@unipg.it</a></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Fangkai Yang, NVIDIA Corporation</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<a href="mailto:wolfgang.yang@gmail.com" class="">wolfgang.yang@gmail.com</a></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
<b class="">Applications Track Program Committee</b></div>
<div style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica; min-height: 14px;" class="">
<br class="">
</div>
<ul class="">
<li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Chitta Baral (Arizona State University, USA)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Alex Brik (Google Inc, USA)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Francesco Calimeri (University of Calabria, Italy)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Xiaoping Chen (University of Science and Technology of China)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Federico Chesani (University of Bologna, Italy)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Martín Diéguez (ENIB, France)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Gerhard Friedrich (Alpen-Adria Universitaet Klagenfurt, Austria)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Gopal Gupta (University of Texas at Dallas, USA)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Jianmin Ji (University of Science and Technology of China, China) </li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Gabriele Kern-Isberner (Technische Universitaet Dortmund, Germany)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Zeynep Kiziltan (University of Bologna, Italy)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Viviana Mascardi (University of Genova, Italy)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Yunsong Meng (Houzz Inc., USA)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Francesco Ricca (University of Calabria, Italy)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Mohan Sridharan (University of Birmingham, UK)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
David Warren (SUNY Stony Brook, USA)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Shiqi Zhang (SUNY Binghamton, USA)</li><li style="margin: 0px; font-stretch: normal; font-size: 12px; line-height: normal; font-family: Helvetica;" class="">
Neng-Fa Zhou (CUNY Brooklyn College and Graduate Center, USA)</li></ul>
</body>
</html>