CFP: Special Issue of TPLP - Parallel and Distributed Logic Programming [EXTENDED DEADLINE]
epontell <[email protected]> Wed, 01 Feb 2017 07:46:11 -0700
| 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. --===============1100030521== Content-type: multipart/alternative; boundary="B_3568779972_238080580" > 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_3568779972_238080580 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/ 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. 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 SUBMISSION DEADLINES: * Title and Abstract: February 15, 2017 [Extended] * Full Paper: March 31, 2017 SUBMISSION INSTRUCTIONS: Please submit Titles and Abstracts to [email protected]. Submissions of manuscripts must be made in the TPLP format=20 =20 =C2=A0 ftp://ftp.cambridge.org/pub/texarchive/journals/latex/tlp-cls =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 =20 GUEST EDITOR: Enrico Pontelli, [email protected], New Mexico State University, USA Ferdinando Fioretto, [email protected], New Mexico State University, USA =20 =20 =20 =20 =20 =20 --B_3568779972_238080580 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;} p {mso-style-priority:99; margin:0in; margin-bottom:.0001pt; font-size:12.0pt; font-family:"Times New Roman";} 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'><o:p></o:p></span></= p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Past and Present (and Fu= ture) of Parallel and Distributed Computation in (Constraint) Logic Programm= ing<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'>http:= //www.cs.nmsu.edu/~ffiorett/cfp/TPLP2017/<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=3DMsoNorma= l><span style=3D'font-size:11.0pt'>Since its inception, logic programming has = been recognized as an ideal paradigm for addressing the needs of parallel co= mputing. An extensive literature has been developed exploring issues like au= tomated parallelization of logic programs, the use of logic programs to desc= ribe parallel and distributed computations, and logic programming models to = capture concurrency and facilitate the development of provably correct concu= rrent applications.<o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'fon= t-size:11.0pt'><o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-si= ze:11.0pt'>After over 30 years of research in these domains, the state of th= e art has reached a stage where technologies are highly complex and sophisti= cated, and applications are plentiful. Yet, the continuous development of no= vel architectures (e.g., the onset of GPU-based computing; the widespread us= e of simple inter-connected=C2=A0 devices, like Arduino and Raspberry Pi; the de= velopment of affordable multi-core platforms and reconfigurable computing; t= he widespread use of cloud computing), the appearance of new domains and pot= ential applications (e.g., big data), and the developments in novel logic pr= ogramming languages and paradigms are creating new research opportunities an= d fueling new ideas and developments.<o:p></o:p></span></p><p class=3DMsoNorma= l><span style=3D'font-size:11.0pt'><o:p></o:p></span></p><p class=3DMsoNormal><s= pan 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 parallel and dist= ributed computation and (constraint) 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'>1. Provide well-thought asses= sments of the state of the art (e.g., in the form 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 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 n= ew research directions, offering clear motivations, new perspectives and sol= id foundations for other researchers to build upon<o:p></o:p></span></p><p c= lass=3DMsoNormal><span style=3D'font-size:11.0pt'>4. Novel applications (e.g., i= n big data, cyber-physical systems) that critically rely on the use on the i= ntegration of parallelism and logic programming<o:p></o:p></span></p><p clas= s=3DMsoNormal><span style=3D'font-size:11.0pt'><o:p></o:p></span></p><p class=3DMs= oNormal><span style=3D'font-size:11.0pt'>SUBMISSION DEADLINES:<o:p></o:p></spa= n></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'>* Title and Abstract: Fe= bruary 15, 2017 [Extended]<o:p></o:p></span></p><p class=3DMsoNormal><span sty= le=3D'font-size:11.0pt'>* Full Paper: March 31, 2017<o:p></o:p></span></p><p c= lass=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-size:11.0pt'><o:p></o:p></s= pan></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Please submit Titl= es and Abstracts to [email protected].<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=3DMsoNorma= l><span style=3D'font-size:11.0pt'>Submissions of manuscripts must be made in = the TPLP format <o:p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-s= ize:11.0pt'><o:p> </o:p></span></p><p class=3DMsoNormal><span style=3D'font= -size:11.0pt'>=C2=A0 <a href=3D"ftp://ftp.cambridge.org/pub/texarchive/journals/la= tex/tlp-cls">ftp://ftp.cambridge.org/pub/texarchive/journals/latex/tlp-cls</= 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'>= and handled through the TPLP Submission site (please select the appropriate = option under the Special Issue category):<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=3DMsoNorma= l><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>&n= bsp;</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'>GUE= ST EDITOR:<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= '>Enrico Pontelli, [email protected], New Mexico State University, USA<o:= p></o:p></span></p><p class=3DMsoNormal><span style=3D'font-size:11.0pt'>Ferdina= ndo Fioretto, [email protected], New Mexico State University, USA<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'><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'><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'><o:p>&nb= sp;</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_3568779972_238080580-- --===============1100030521== 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 --===============1100030521==--