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

epontell <[email protected]> Wed, 30 Nov 2016 08:08:54 -0700
Newsgroups	gmane.comp.lang.lambda-prolog
Message-ID	<95D42582-0878-4B7F-91D5-841DC9B90CC7__44764.6529217765$1480615823$gmane$org@cs.nmsu.edu>
> This message is in MIME format. Since your mail reader does not understand
this format, some or all of this message may not be legible.

--===============1994783202==
Content-type: multipart/alternative;
	boundary="B_3563338136_708957412"

> This message is in MIME format. Since your mail reader does not understand
this format, some or all of this message may not be legible.

--B_3563338136_708957412
Content-type: text/plain;
	charset="UTF-8"
Content-transfer-encoding: quoted-printable

[Apologies for multiple copies of this message]

=20

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/

=20

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=C2=A0 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.

=20

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

=20

SUBMISSION DEADLINES:

* Optional Notes of Interest: December 1st 2017 (to facilitate planning)

* Title and Abstract: January 30, 2017

* Full Paper: March 31, 2017

=20

SUBMISSION INSTRUCTIONS:

Please submit notes of interest and title/abstract to [email protected].

=20

Submissions of manuscripts must be made in the TPLP format=20

=20

=C2=A0 http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.p=
df

=C2=A0=20

and handled through the TPLP Submission site (please select the appropriate=
 option under the Special Issue category):

=C2=A0 https://mc.manuscriptcentral.com/tplp

=20

GUEST EDITOR:

Enrico Pontelli, [email protected], New Mexico State University, USA

Ferdinando Fioretto, [email protected], New Mexico State University, USA

=20

=20


--B_3563338136_708957412
Content-type: text/html;
	charset="UTF-8"
Content-transfer-encoding: quoted-printable

<html xmlns:o=3D"urn:schemas-microsoft-com:office:office" xmlns:w=3D"urn:schema=
s-microsoft-com:office:word" xmlns:m=3D"http://schemas.microsoft.com/office/20=
04/12/omml" xmlns=3D"http://www.w3.org/TR/REC-html40"><head><meta name=3DTitle c=
ontent=3D""><meta name=3DKeywords content=3D""><meta http-equiv=3DContent-Type conte=
nt=3D"text/html; charset=3Dutf-8"><meta name=3DGenerator content=3D"Microsoft Word 1=
5 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
	{font-family:"Cambria Math";
	panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
	{font-family:Calibri;
	panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
	{margin:0in;
	margin-bottom:.0001pt;
	font-size:12.0pt;
	font-family:Calibri;}
a:link, span.MsoHyperlink
	{mso-style-priority:99;
	color:#0563C1;
	text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
	{mso-style-priority:99;
	color:#954F72;
	text-decoration:underline;}
span.EmailStyle17
	{mso-style-type:personal-compose;
	font-family:Calibri;
	color:windowtext;}
span.msoIns
	{mso-style-type:export-only;
	mso-style-name:"";
	text-decoration:underline;
	color:teal;}
.MsoChpDefault
	{mso-style-type:export-only;
	font-family:Calibri;}
@page WordSection1
	{size:8.5in 11.0in;
	margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
	{page:WordSection1;}
--></style></head><body bgcolor=3Dwhite lang=3DEN-US link=3D"#0563C1" vlink=3D"#954=
F72"><div class=3DWordSection1><p class=3DMsoNormal><span style=3D'font-size:11.0p=
t'>[Apologies for multiple copies of this message]<o:p></o:p></span></p><p c=
lass=3DMsoNormal><span style=3D'font-size:11.0pt'><o:p>&nbsp;</o:p></span></p><p=
 class=3DMsoNormal><span style=3D'font-size:11.0pt'>Special Issue of Theory and =
Practice of Logic Programming<o:p></o:p></span></p><p class=3DMsoNormal><span =
style=3D'font-size:11.0pt'>Past and Present (and Future) of Parallel and Distr=
ibuted Computation in (Constraint) Logic Programming<o:p></o:p></span></p><p=
 class=3DMsoNormal><span style=3D'font-size:11.0pt'>http://www.cs.nmsu.edu/~ffio=
rett/cfp/TPLP2017/<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font=
-size:11.0pt'><o:p>&nbsp;</o:p></span></p><p class=3DMsoNormal><span style=3D'fo=
nt-size:11.0pt'>Since its inception, logic programming has been recognized a=
s an ideal paradigm for addressing the needs of parallel computing. An exten=
sive literature has been developed exploring issues like automated paralleli=
zation of logic programs, the use of logic programs to describe parallel and=
 distributed computations, and logic programming models to capture concurren=
cy and facilitate the development of provably correct concurrent application=
s.<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Af=
ter over 30 years of research in these domains, the state of the art has rea=
ched a stage where technologies are highly complex and sophisticated, and ap=
plications are plentiful. Yet, the continuous development of novel architect=
ures (e.g., the onset of GPU-based computing; the widespread use of simple i=
nter-connected=C2=A0 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 applic=
ations (e.g., big data), and the developments in novel logic programming lan=
guages and paradigms are creating new research opportunities and fueling new=
 ideas and developments.<o:p></o:p></span></p><p class=3DMsoNormal><span style=
=3D'font-size:11.0pt'><o:p>&nbsp;</o:p></span></p><p class=3DMsoNormal><span sty=
le=3D'font-size:11.0pt'>The goal of this special issue is to provide a multi-f=
old perspective of research at the junction between parallel and distributed=
 computation and (constraint) logic programming:<o:p></o:p></span></p><p cla=
ss=3DMsoNormal><span style=3D'font-size:11.0pt'>1. Provide well-thought assessme=
nts of the state of the art (e.g., in the form of well organized surveys, pe=
rsonal perspectives)<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'fo=
nt-size:11.0pt'>2. Describe cutting-edge coverage of new developments (e.g.,=
 novel execution models, innovative systems and implementations)<o:p></o:p><=
/span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>3. Describe new =
research directions, offering clear motivations, new perspectives and solid =
foundations for other researchers to build upon<o:p></o:p></span></p><p clas=
s=3DMsoNormal><span style=3D'font-size:11.0pt'>4. Novel applications (e.g., in b=
ig data, cyber-physical systems) that critically rely on the use on the inte=
gration of parallelism and logic programming<o:p></o:p></span></p><p class=3DM=
soNormal><span style=3D'font-size:11.0pt'><o:p>&nbsp;</o:p></span></p><p class=
=3DMsoNormal><span style=3D'font-size:11.0pt'>SUBMISSION DEADLINES:<o:p></o:p></=
span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>* Optional Notes =
of Interest: December 1st 2017 (to facilitate planning)<o:p></o:p></span></p=
><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>* Title and Abstract: Jan=
uary 30, 2017<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size=
:11.0pt'>* Full Paper: March 31, 2017<o:p></o:p></span></p><p class=3DMsoNorma=
l><span style=3D'font-size:11.0pt'><o:p>&nbsp;</o:p></span></p><p class=3DMsoNor=
mal><span style=3D'font-size:11.0pt'>SUBMISSION INSTRUCTIONS:<o:p></o:p></span=
></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Please submit notes o=
f interest and title/abstract to [email protected].<o:p></o:p></span></p>=
<p class=3DMsoNormal><span style=3D'font-size:11.0pt'><o:p>&nbsp;</o:p></span></=
p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Submissions of manuscrip=
ts must be made in the TPLP format <o:p></o:p></span></p><p class=3DMsoNormal>=
<span style=3D'font-size:11.0pt'><o:p>&nbsp;</o:p></span></p><p class=3DMsoNorma=
l><span style=3D'font-size:11.0pt'>=C2=A0 http://journals.cambridge.org/images/fil=
eUpload/images/tlp_ifc_MAY2014.pdf<o:p></o:p></span></p><p class=3DMsoNormal><=
span style=3D'font-size:11.0pt'>=C2=A0 <o:p></o:p></span></p><p class=3DMsoNormal><s=
pan style=3D'font-size:11.0pt'>and handled through the TPLP Submission site (p=
lease select the appropriate option under the Special Issue category):<o:p><=
/o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>=C2=A0 https:/=
/mc.manuscriptcentral.com/tplp<o:p></o:p></span></p><p class=3DMsoNormal><span=
 style=3D'font-size:11.0pt'><o:p>&nbsp;</o:p></span></p><p class=3DMsoNormal><sp=
an style=3D'font-size:11.0pt'>GUEST EDITOR:<o:p></o:p></span></p><p class=3DMsoN=
ormal><span style=3D'font-size:11.0pt'>Enrico Pontelli, [email protected], =
New Mexico State University, USA<o:p></o:p></span></p><p class=3DMsoNormal><sp=
an style=3D'font-size:11.0pt'>Ferdinando Fioretto, [email protected], New M=
exico State University, USA<o:p></o:p></span></p><p class=3DMsoNormal><span st=
yle=3D'font-size:11.0pt'><o:p>&nbsp;</o:p></span></p><p class=3DMsoNormal><span =
style=3D'font-size:11.0pt'><o:p>&nbsp;</o:p></span></p></div></body></html>

--B_3563338136_708957412--



--===============1994783202==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--===============1994783202==--