CFP: Special Issue of TPLP - Parallel and Distributed Logic Programming [EXTENDED DEADLINE]

From: epontell <epontell_at_cs.nmsu.edu>
Date: Wed, 01 Feb 2017 07:46:11 -0700

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:

* Title and Abstract: February 15, 2017 [Extended]

* Full Paper: March 31, 2017

SUBMISSION INSTRUCTIONS:

Please submit Titles and Abstracts to epontell_at_cs.nmsu.edu.

Submissions of manuscripts must be made in the TPLP format

 

  ftp://ftp.cambridge.org/pub/texarchive/journals/latex/tlp-cls

 

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 Do Feb 02 2017 - 11:55:14 CET

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:12 CET