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

From: epontell <epontell_at_cs.nmsu.edu>
Date: Wed, 30 Nov 2016 08:08:54 -0700

[Apologies for multiple copies of this message]

 

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 literature=
 has been developed exploring issues like automated parallelization of logic=
 programs, the use of logic programs to describe parallel and distributed co=
mputations, and logic programming models to capture concurrency and facilita=
te 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 archit=
ectures (e.g., the onset of GPU-based computing; the widespread use of simpl=
e inter-connected  devices, like Arduino and Raspberry Pi; the development =
of affordable multi-core platforms and reconfigurable computing; the widespr=
ead use of cloud computing), the appearance of new domains and potential app=
lications (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 re=
search at the junction between parallel and distributed computation and (con=
straint) 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 on the integration of parallelism and logic programmi=
ng

 

SUBMISSION DEADLINES:

* Optional Notes of Interest: December 1st 2017 (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.p=
df

 

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

 

 






_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry


Received on Thu Dec 01 2016 - 09:28:41 CET

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:09 CEST