-------- Forwarded Message --------
Apologies for
cross-posting
** CALL FOR PAPERS **
The 35th
International Conference on Logic Programming (ICLP 2019)
Applications
Track
September 21-25, 2019
Las Cruces, New Mexico
(USA)
-------------------------------------------------------------------------
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, 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.
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.
Expected
contributions
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.
We welcome LP
applications in a wide range of areas, including but not
limited to:
-
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
-
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 this track,
selection process of the highest quality papers will apply the
following criteria:
-
Significance of the
real-world problem being addressed
-
Importance and
novelty of using logic programming technologies to solve
this problem
-
Evaluation and
applicability of the system in real-world
-
Reusability of
datasets, case studies and benchmarks
Important
Dates
-
Abstract
registration: April 27, 2019
-
Paper submission:
May 4, 2019
-
Notification: June
19, 2019
-
TPLP revision
submission: July 3, 2019
-
TPLP final
notifications: July 17, 2019
-
Camera-ready copy:
July 31, 2017
-
Conference:
September 21-25, 2019
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 OASIcs proceedings. This should allow authors
to submit a long version elsewhere.
-
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.
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.
Any additional
questions can be directed towards the Application Track
Chairs:
Andrea Formisano,
Università di Perugia
Fangkai Yang, NVIDIA
Corporation
Applications
Track Program Committee
-
Chitta Baral
(Arizona State University, USA)
-
Alex Brik (Google
Inc, USA)
-
Francesco Calimeri
(University of Calabria, Italy)
-
Xiaoping Chen
(University of Science and Technology of China)
-
Federico Chesani
(University of Bologna, Italy)
-
Martín Diéguez
(ENIB, France)
-
Gerhard Friedrich
(Alpen-Adria Universitaet Klagenfurt, Austria)
-
Gopal Gupta
(University of Texas at Dallas, USA)
-
Jianmin Ji
(University of Science and Technology of China, China)
-
Gabriele
Kern-Isberner (Technische Universitaet Dortmund, Germany)
-
Zeynep Kiziltan
(University of Bologna, Italy)
-
Viviana Mascardi
(University of Genova, Italy)
-
Yunsong Meng (Houzz
Inc., USA)
-
Francesco Ricca
(University of Calabria, Italy)
-
Mohan Sridharan
(University of Birmingham, UK)
-
David Warren (SUNY
Stony Brook, USA)
-
Shiqi Zhang (SUNY
Binghamton, USA)
-
Neng-Fa Zhou (CUNY
Brooklyn College and Graduate Center, USA)