TPLP Special Issue: Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming
epontell <[email protected]> Wed, 26 Oct 2016 07:52:54 -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. --===============0434229948== Content-type: multipart/alternative; boundary="B_3560313175_1704931154" > 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_3560313175_1704931154 Content-type: text/plain; charset="UTF-8" Content-transfer-encoding: 7bit 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 201 6 (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 [email protected]. 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, [email protected], New Mexico State University, USA Ferdinando Fioretto, [email protected], New Mexico State University, USA --B_3560313175_1704931154 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'><a href=3D"http://www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/">http://www.cs.nm= su.edu/~ffiorett/cfp/TPLP2017/</a><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'>Since its inception, logic programming has b= een recognized as an ideal paradigm for addressing the needs of parallel com= puting. An extensive literature has been developed exploring issues like aut= omated parallelization of logic programs, the use of logic programs to descr= ibe parallel and distributed computations, and logic programming models to c= apture concurrency and facilitate the development of provably correct concur= rent applications.<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font= -size:11.0pt'>After over 30 years of research in these domains, the state of= the art has reached a stage where technologies are highly complex and sophi= sticated, 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 compu= ting; the widespread use of cloud computing), the appearance of new domains = and potential applications (e.g., big data), and the developments in novel l= ogic programming languages and paradigms are creating new research opportuni= ties and fueling new ideas and developments.<o:p></o:p></span></p><p class=3DM= soNormal><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 special issue is = to provide a multi-fold perspective of research at the junction between para= llel and distributed computation and (constraint) logic programming:<o:p></o= :p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>1. Provide w= ell-thought assessments of the state of the art (e.g., in the form of well o= rganized surveys, personal perspectives)<o:p></o:p></span></p><p class=3DMsoNo= rmal><span style=3D'font-size:11.0pt'>2. Describe cutting-edge coverage of new= developments (e.g., novel execution models, innovative systems and implemen= tations)<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0= pt'>3. Describe new research directions, offering clear motivations, new per= spectives and solid foundations for other researchers to build upon<o:p></o:= p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>4. Novel appl= ications (e.g., in big data, cyber-physical systems) that critically 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'>SUBMISSION DEA= DLINES:<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0p= t'>* Optional Notes of Interest: December 1st 201 6 (to facilitate planning)= <o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>* Ti= tle and Abstract: January 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=3DMsoNormal><span style=3D'font-size:11.0pt'><o:p> </o:p></spa= n></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>SUBMISSION INSTRUCTI= ONS:<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>= Please submit notes of interest and title/abstract to <a href=3D"mailto:eponte= [email protected]">[email protected]</a>.<o:p></o:p></span></p><p class=3DMsoN= ormal><span style=3D'font-size:11.0pt'><o:p> </o:p></span></p><p class=3DMs= oNormal><span style=3D'font-size:11.0pt'>Submissions of manuscripts must be ma= de in the TPLP format <o:p></o:p></span></p><p class=3DMsoNormal><span st= yle=3D'font-size:11.0pt'><o:p> </o:p></span></p><p class=3DMsoNormal><span = style=3D'font-size:11.0pt'> <a href=3D"http://journals.cambridge.org/image= s/fileUpload/images/tlp_ifc_MAY2014.pdf">http://journals.cambridge.org/image= s/fileUpload/images/tlp_ifc_MAY2014.pdf</a><o:p></o:p></span></p><p class=3DMs= oNormal><span style=3D'font-size:11.0pt'> <o:p></o:p></span></p><p = class=3DMsoNormal><span style=3D'font-size:11.0pt'>and handled through the TPLP = Submission site (please select the appropriate option under the Special Issu= e category):<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:= 11.0pt'> <a href=3D"https://mc.manuscriptcentral.com/tplp">https://mc.ma= nuscriptcentral.com/tplp</a><o:p></o:p></span></p><p class=3DMsoNormal><span s= tyle=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=3DMsoNor= mal><span style=3D'font-size:11.0pt'>Enrico Pontelli, <a href=3D"mailto:epontell= @cs.nmsu.edu">[email protected]</a>, New Mexico State University, USA<o:p= ></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Ferdinan= do Fioretto, <a href=3D"mailto:[email protected]">[email protected]</a>,= New Mexico State University, USA<o:p></o:p></span></p></div></body></html> --B_3560313175_1704931154-- --===============0434229948== 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 --===============0434229948==--