TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming

[Ferdinando Fioretto]

Special Issue of Theory and Practice of Logic Programming
Past and Present (and Future) of Parallel and Distributed Computation in
(Constraint) Logic Programming
http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/

Since its inception, logic programming has been recognized as an ideal
paradigm for addressing the needs of parallel computing. An extensive
literature has been developed exploring issues like automated
parallelization of logic programs, the use of logic programs to describe
parallel and distributed computations, and logic programming models to
capture concurrency and facilitate 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,
and applications are plentiful. Yet, the continuous development of novel
architectures (e.g., the onset of GPU-based computing; the widespread use
of simple inter-connected  devices, like Arduino and Raspberry Pi; the
development of affordable multi-core platforms and reconfigurable
computing; the widespread use of cloud computing), the appearance of new
domains and potential applications (e.g., big data), and the developments
in novel logic programming languages and paradigms are creating new
research opportunities and fueling new ideas and developments.

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

SUBMISSION DEADLINES:
* Optional Notes of Interest: December 1st 201
​6​
(to facilitate planning)
* Title and Abstract: January 30, 2017
* Full Paper: March 31, 2017

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

  http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf

and handled through the TPLP Submission site (please select the appropriate
option under the Special Issue category):
  https://mc.manuscriptcentral.com/tplp

GUEST EDITOR:
Enrico Pontelli, epontell at cs.nmsu.edu, New Mexico State University, USA
Ferdinando Fioretto, ffiorett at cs.nmsu.edu, New Mexico State University, USA
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20161026/f4090c8e/attachment.html>