Logic List Mailing Archive

CfP special issue of TPLP on "Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming", Deadline: 31 Mar 2017

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:

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

* Full Paper: March 31, 2017

SUBMISSION INSTRUCTIONS:

Please submit Titles and Abstracts to epontell@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@cs.nmsu.edu, New Mexico State University, USA

Ferdinando Fioretto, ffiorett@cs.nmsu.edu, New Mexico State University, USA
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam