TPLP Special Issue on Parallel and Distributed Logic Programming - Final Deadline

From: Enrico Pontelli <>
Date: Mon, 3 Apr 2017 23:37:34 -0600

CfP: [extended submission deadline] TPLP Special Issue: Past and Present (a=
nd Future) of Parallel and Distributed Computation in (Constraint) Logic Pr=

[Apologies if you received multiple copies]
Due to multiple requests we further extend the submission deadline.
Please kindly forward to those who may be interested.

Special Issue of Theory and Practice of Logic Programming
Past and Present (and Future) of Parallel and Distributed Computation in (C=
onstraint) Logic Programming

Since its inception, logic programming has been recognized as an ideal para=
digm for addressing the needs of parallel computing. An extensive literatur=
e has been developed exploring issues like automated parallelization of log=
ic programs, the use of logic programs to describe parallel and distributed=
 computations, and logic programming models to capture concurrency and faci=
litate the development of provably correct concurrent applications.

After over 30 years of research in these domains, the state of the art has =
reached a stage where technologies are highly complex and sophisticated, an=
d applications are plentiful. Yet, the continuous development of novel arch=
itectures (e.g., the onset of GPU-based computing; the widespread use of si=
mple interconnected devices, like Arduino and Raspberry Pi; the developmen=
t of affordable multi-core platforms and reconfigurable computing; the wide=
spread use of cloud computing), the appearance of new domains and potential=
 applications (e.g., big data), and the developments in novel logic program=
ming languages and paradigms are creating new research opportunities and fu=
eling new ideas and developments.

The goal of this special issue is to provide a multi-fold perspective of re=
search at the junction between parallel and distributed computation and (co=
nstraint) logic programming:
1. Provide well-thought assessments of the state of the art (e.g., in the f=
orm of well-organized surveys, personal perspectives)
2. Describe cutting-edge coverage of new developments (e.g., novel executio=
n models, innovative systems, and implementations)
3. Describe new research directions, offering clear motivations, new perspe=
ctives and solid foundations for other researchers to build upon
4. Novel applications (e.g., in big data, cyber-physical systems) that crit=
ically rely on the use of the integration of parallelism and logic programm=


* Full Paper: May 15, 2017 [Extended]


Please submit notes of interest and title/abstract to

Submissions of manuscripts must be made in the TPLP format =

and handled through the TPLP Submission site (please select the appropriate=
 option under the Special Issue category):


Enrico Pontelli,, New Mexico State University, USA
Ferdinando Fioretto,, University of Michigan, USA
curry mailing list
Received on Di Apr 04 2017 - 11:36:35 CEST

This archive was generated by hypermail 2.3.0 : So Dez 03 2023 - 07:15:15 CET