Ciao-users August 2016

ciao-users@cliplab.org

2 participants
2 discussions

TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming
by epontell 30 Aug '16

30 Aug '16

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 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(a)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(a)cs.nmsu.edu, New Mexico State University, USA Ferdinando Fioretto, ffiorett(a)cs.nmsu.edu, New Mexico State University, USA

1 0

Prolog programmer position
by Paulo Moura 04 Aug '16

04 Aug '16

Hi, Kyndi Inc. is considering hiring a Prolog programmer. For details see: http://kyndi.com/documents/Prolog-programmer-20160801.pdf Please feel free to forward this announcement to other potentially interested parties and apologies in advance for multiple copies. Cheers, Paulo ----------------------------------------------------------------- Paulo Moura Logtalk developer Email: <mailto:pmoura(a)logtalk.org> Web: <http://logtalk.org/> -----------------------------------------------------------------

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

Ciao-users August 2016