CfP: [extended submission deadline] TPLP Special Issue: Past and Present (a=
nd Future) of Parallel and Distributed Computation in (Constraint) Logic Pr=
ogramming
[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
http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/
---------------------------------------------------------------------------=
---
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=
ing
SUBMISSION DEADLINES:
* Full Paper: May 15, 2017 [Extended]
SUBMISSION INSTRUCTIONS:
Please submit notes of interest and title/abstract to epontell_at_cs.nmsu.edu.
Submissions of manuscripts must be made in the TPLP format =
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra=
mming/information/instructions-contributors
and handled through the TPLP Submission site (please select the appropriate=
option under the Special Issue category):
https://mc.manuscriptcentral.com/tplp
GUEST EDITORS:
Enrico Pontelli, epontell_at_cs.nmsu.edu, New Mexico State University, USA
Ferdinando Fioretto, fioretto_at_umich.edu, University of Michigan, USA
_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Di Apr 04 2017 - 11:36:35 CEST