TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming
epontell <[email protected]> Tue, 30 Aug 2016 07:59:39 -0600
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <[email protected]> |
> 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. --===============1244352510== Content-type: multipart/alternative; boundary="B_3555388779_743344000" > 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_3555388779_743344000 Content-type: text/plain; charset="UTF-8" Content-transfer-encoding: quoted-printable 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 --B_3555388779_743344000 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'>Special Issue of Theory and Practice of Logic Programming<o:p></o:p></spa= n></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Past and Present (an= d Future) of Parallel and Distributed Computation in (Constraint) Logic Prog= ramming<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0p= t'>http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/<o:p></o:p></span></p><p cl= ass=3DMsoNormal><span style=3D'font-size:11.0pt'><o:p> </o:p></span></p><p = class=3DMsoNormal><span style=3D'font-size:11.0pt'>Since its inception, logic pr= ogramming 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 pr= ograms to describe parallel and distributed computations, and logic programm= ing models to capture concurrency and facilitate the development of provably= correct concurrent applications.<o:p></o:p></span></p><p class=3DMsoNormal><s= pan style=3D'font-size:11.0pt'>After over 30 years of research in these domain= s, the state of the art has reached a stage where technologies are highly co= mplex 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=C2=A0 devices, like Arduino and Ra= spberry Pi; the development of affordable multi-core platforms and reconfigu= rable computing; the widespread use of cloud computing), the appearance of n= ew domains and potential applications (e.g., big data), and the developments= in novel logic programming languages and paradigms are creating new researc= h 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> </o:p></span><= /p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>The goal of this specia= l issue is to provide a multi-fold perspective of research at the junction b= etween parallel and distributed computation and (constraint) logic programmi= ng:<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>1= . Provide well-thought assessments of the state of the art (e.g., in the for= m of well organized surveys, personal perspectives)<o:p></o:p></span></p><p = class=3DMsoNormal><span style=3D'font-size:11.0pt'>2. Describe cutting-edge cove= rage of new developments (e.g., novel execution models, innovative systems a= nd implementations)<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'fon= t-size:11.0pt'>3. Describe new research directions, offering clear motivatio= ns, new perspectives and solid foundations for other researchers to build up= on<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>4.= Novel applications (e.g., in big data, cyber-physical systems) that critica= lly rely on the use on the integration of parallelism and logic programming<= o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'><o:p>= </o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>SUB= MISSION 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: January 30, 2017<o:p></o:p></span></p><p class=3DM= soNormal><span style=3D'font-size:11.0pt'>* Full Paper: March 31, 2017<o:p></o= :p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'><o:p> <= /o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>SUBMISSION= INSTRUCTIONS:<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-siz= e:11.0pt'>Please submit notes of interest and title/abstract to epontell@cs.= nmsu.edu.<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.= 0pt'><o:p> </o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:1= 1.0pt'>Submissions of manuscripts 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> </o= :p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>=C2=A0 http://jo= urnals.cambridge.org/images/fileUpload/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><span style=3D'font-size:11.0pt'>and handled thro= ugh the TPLP Submission site (please select the appropriate option under the= Special Issue category):<o:p></o:p></span></p><p class=3DMsoNormal><span styl= e=3D'font-size:11.0pt'>=C2=A0 https://mc.manuscriptcentral.com/tplp<o:p></o:p></sp= an></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'><o:p> </o:p></= span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>GUEST EDITOR:<o:p= ></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Enrico P= ontelli, [email protected], New Mexico State University, USA<o:p></o:p></= span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Ferdinando Fioret= to, [email protected], New Mexico State University, USA<o:p></o:p></span>= </p></div></body></html> --B_3555388779_743344000-- --===============1244352510== 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 --===============1244352510==--