========================================================================= CALL FOR PAPERS ========================================================================= The 37th International Conference on Logic Programming (ICLP 2021) Applications Track https://iclp2021.dcc.fc.up.pt/ Fully virtual event organized by the Department of Computer Science of the University of Porto. ========================================================================= Objectives ********** 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. 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 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 from the development of theory and tools from the LP community. Expected Contributions ********************** The Applications Track at ICLP 2021 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. We welcome LP applications in a wide range of areas, including but not limited to: ** stream reasoning ** composite event recognition ** industrial applications ** commonsense reasoning, knowledge representation ** declarative problem solving ** education ** bioinformatics, computational biology ** life sciences, genetics, medicine, pharmacology ** cognitive robotics, social robotics, human-robot interactions ** intelligent transportation, logistics, maritime situational awareness ** computer vision, sensing, internet of things ** data analysis, machine learning ** creative computing ** digital forensics, cybersecurity, blockchain ** economics, game theory, social choice ** software engineering, intelligent user interfaces ** multi-agent systems, argumentation, epistemic reasoning ** constraint programming, SAT, SMT ** natural language understanding, story telling, question answering ** explanation generation, diagnosis ** spatial/temporal/probabilistic reasoning ** planning and scheduling ** databases, ontologies, knowledge bases, Semantic Web Evaluation Criteria ******************* 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. ** Importance and novelty of using LP technologies to solve this problem. ** Evaluation and applicability of the system in the real world. ** Clear evidence of the potential benefits of applying and improving LP tools and techniques. ** Reproducibility of the empirical analysis. Concerning reproducibility, whenever possible, datasets, case studies, knowledge repositories and benchmarks must be made public. If this is not possible (e.g, because it would reveal trade secrets of industrial partners), the paper should clearly describe which assets cannot be made reusable and why. Important Dates *************** ** Abstract registration (regular papers): May 3, 2021 ** Paper submission (regular paper): May 10, 2021 ** Notification to authors (regular paper): June 27, 2021 ** Paper Submission (short papers): July 4, 2021 ** Revision submission (TPLP papers): July 14, 2021 ** Final notifications (all paper kinds): July 30, 2021 ** Camera-ready copy due (all paper kinds): August 10, 2021 ** Conference: September 20--27, 2021 Submission Details ****************** All submissions must be written in English. ** 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. ** Short papers (7 pages in EPTCS format (http://info.eptcs.org/), 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. 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. All submissions will be done via EasyChair. The submission Web page for ICLP2021 is https://easychair.org/conferences/?conf=iclp2021 Applications Track Program Committee ************************************ Alessandra Mileo, Dublin City University, INSIGHT Centre for Data Analytics, Ireland Angelos Charalambidis, University of Athens, Greece Daniele Theseider Dupré, University of Piemonte Orientale, Italy David Warren, SUNY Stony Brook, USA Fangkai Yang, NVIDIA, USA Federico Chesani, University of Bologna, Italy Ferdinando Fioretto, Syracuse University, USA Francesco Calimeri, University of Calabria, Italy François Bry, Ludwig Maximilian University of Munich, Germany Gerhard Friedrich, Alpen-Adria-Universitaet Klagenfurt, Austria Jacob Feldman, OpenRules, Inc. Jianmin Ji, University of Science and Technology of China Kewen Wang, Griffith University Australia Marco Maratea, University of Genova, Italy Matti Järvisalo, University of HelsinkiA, Finland Mohan Sridharan, University of Birmingham, UK Mutsunori Banbara, Nagoya University, Japan Nikos Katzouris, NCSR Demokritos Paolo Torroni, University of Bologna, Italy Yunsong Meng, General Motors, USA Zeynep Kiziltan, University of Bologna, Italy Zhizheng Zhang, Southeast University, China ========================================================================= Any additional questions can be directed towards the Application Track Chairs: Alex Brik, Google Inc., USA Joost Vennekens, KU Leuven, Belgium iclp2021applications@easychair.org =========================================================================