Newsgroups: comp.parallel From: Enrico Subject: CFP: Workshop on Parallelism and Implementation of (Constraint) Logic Organization: Laboratory for Logic, DBs, and Adv. Programming Date: 21 Jul 1997 12:25:52 GMT Message-ID: <5qvkgg$r3m@server1.ctc.com> Call For Papers --------------- Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages (in conjunction with ILPS'97, Port Jefferson, USA) October 12--17, 1997 -------------------- One of the main areas of research in logic programming is the design and implementation of sequential and parallel (constraint) logic programming systems. This research goes broadly from the design and specification of novel implementation technology to its actual evaluation in real life situations. In the continuation of the series of workshops on Implementations of Logic Programming Systems}, previously held in Budapest (1993), Ithaca (1994), Portland (1995), and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages will provide a forum for ongoing research on the design and implementation of sequential and parallel logic programming systems. The workshop will include the 1997 Compulog-NET Implementation and Parallelism Area Meeting. Papers from both academia and industry are invited. Preference will be given to the analysis and description of implemented systems (or currently under implementation) and their associated techniques, problems found in their development or design, and steps taken towards the solution of these problems. Topics include, but are not limited to: o standard and non--standard sequential implementation schemes (e.g., generalization/modification of WAM, translation to C, etc.); o implementation of parallel logic programming systems; o balance between compile--time effort and run--time machinery; o techniques for the implementation of different declarative programming paradigms based on, or extending, logic programming (e.g., constraint logic programming, concurrent constraint languages, equational--logic languages); o performance evaluation of sequential and parallel logic programming systems, both through benchmarking and using real world applications; o other implementation--related issues, such as memory management, register allocation, use of global optimizations, etc. The workshop will be held in conjunction with the 1997 International Logic Programming Symposium, which will take place in Port Jefferson, Long Island, NY, from October 12 to October 17 1997. Paper Submissions ----------------- Authors willing to present their work are invited to submit an extended abstract, or preferably a full paper, to the workshop organizers by August 1, 1997. Authors will be notified of the acceptance or rejection of their papers by September 1, 1997. Papers must not exceed 15 pages (approximately 5000 words). The title page should include the name, address, telephone number, and electronic mailing address for each author, as well as a list of keywords. A contact author should also be provided. Electronic submission of the LaTeX document and related postscript figures is strongly encouraged. The electronic submissions should be in LaTeX or PostScript format. LaTeX style files are available via WWW at http://www.cs.nmsu.edu/lldap/ilps97 We encourage the use of these formats. At least one of the authors for each accepted paper is expected to attend the meeting and present the work. The collection of accepted papers will be made available at the workshop and published as a Technical Report. The papers will also be available electronically after the workshop at the aforementioned WWW addresses. Important dates --------------- Deadline for submission: August 1, 1997 Notification of acceptance: September 1, 1997 The exact dates and length of the meeting depend largely on the number of papers received and the number of people expected to attend it. Thus, we encourage anyone interested in attending the workshop to submit a note by electronic mail to the workshop organizers before July, 1, 1997, at the address vsc@ncc.up.pt Organizing Committee -------------------- Ines de Castro Dutra ines@cos.ufrj.br COPPE/Systems Engineering and Computer Science Federal Univ. of Rio de Janeiro Enrico Pontelli epontell@cs.nmsu.edu Gopal Gupta gupta@cs.nmsu.edu LLDAP, New Mexico State University Vitor Santos Costa vsc@ncc.up.pt Fernando Silva fds@ncc.up.pt LIACC, Universidade do Porto Information and Requests ------------------------ E-mail address: vsc@ncc.up.pt WWW addresses: http://www.cs.nmsu.edu/lldap/ilps97 Surface mail Vitor Santos Costa Workshop on Implementation Technology and Parallelism LIACC --- Universidade do Porto Rua do Campo Alegre, 823 4150 Porto Portugal Fax: +351-2-6003654 ILPS'97: http://www.ida.liu.se/~ilps97 Compulog-NET: http://www.clip.dia.fi.upm.es/Projects/COMPULOG/area/area.html ___________________________ LaTeX CFP __________________________ \documentstyle[11pt]{article} \pagestyle{empty} \thispagestyle{empty} \setlength{\parindent}{0mm} \setlength{\parskip}{1mm} \evensidemargin=0cm \oddsidemargin=-0.8cm \topmargin=-1.0cm \headsep=0cm \textheight=27cm \textwidth=17.8cm %\columnwidth=\textwidth \renewcommand{\thepage}{} \begin{document} \newcommand{\wksemail}{vsc@ncc.up.pt} \newcommand{\httpNM}{\mbox{http://www.cs.nmsu.edu/lldap/ilps97}} \newcommand{\httpILPS}{\mbox{http://www.ida.liu.se/\~{}ilps97}} \begin{center} {\large Call For Papers \\ {\bf %Post-ILPS'97 Workshop on {\bf Parallelism and Implementation Technology for (Constraint) Logic Programming Languages}} \\ \vspace*{0.2cm} (in conjunction with ILPS'97, Port Jefferson, USA)} \\ October 12--17, 1997 \vspace{0.3cm} \end{center} One of the main areas of research in logic programming is the design and implementation of sequential and parallel (constraint) logic programming systems. This research goes broadly from the design and specification of novel implementation technology to its actual evaluation in real life situations. In the continuation of the series of workshops on {\em Implementations of Logic Programming Systems}, previously held in Budapest (1993), Ithaca (1994), Portland (1995), and Bonn (1996), the ILPS'97 workshop Parallelism and Implementation Technology for (Constraint) Logic Programming Languages will provide a forum for ongoing research on the design and implementation of sequential and parallel logic programming systems. The workshop will include the 1997 Compulog-NET Implementation and Parallelism Area Meeting. Papers from both academia and industry are invited. Preference will be given to the analysis and description of implemented systems (or currently under implementation) and their associated techniques, problems found in their development or design, and steps taken towards the solution of these problems. \noindent Topics include, but are not limited to: \begin{itemize} \item standard and non--standard sequential implementation schemes (e.g., generalization/modification of WAM, translation to C, etc.); \item implementation of parallel logic programming systems; \item balance between compile--time effort and run--time machinery; \item techniques for the implementation of different declarative programming paradigms based on, or extending, logic programming (e.g., constraint logic programming, concurrent constraint languages, equational--logic languages); \item performance evaluation of sequential and parallel logic programming systems, both through benchmarking and using real world applications; \item other implementation--related issues, such as memory management, register allocation, use of global optimizations, etc. \end{itemize} \noindent The workshop will be held in conjunction with the 1997 International Logic Programming Symposium, which will take place in Port Jefferson, Long Island, NY, from October 12 to October 17 1997. \medskip \begin{center} {\bf Paper Submissions} \end{center} \noindent Authors willing to present their work are invited to submit an extended abstract, or preferably a full paper, to the workshop organizers by {\bf August 1, 1997}. Authors will be notified of the acceptance or rejection of their papers by {\bf September 1, 1997}. Papers must not exceed 15 pages (approximately 5000 words). The title page should include the name, address, telephone number, and electronic mailing address for each author, as well as a list of keywords. A contact author should also be provided. Electronic submission of the LaTeX document and related postscript figures is {\em strongly\/} encouraged. The electronic submissions should be in \LaTeX\ or PostScript format. \LaTeX\ style files are available via WWW at \\ \centerline{\tt \httpNM} \noindent We encourage the use of these formats. At least one of the authors for each accepted paper is expected to attend the meeting and present the work. The collection of accepted papers will be made available at the workshop and published as a Technical Report. The papers will also be available electronically after the workshop at the aforementioned WWW addresses. \pagebreak \begin{center} {\bf Important dates} \end{center} \begin{center} \begin{tabular}{ll} Deadline for submission: & August 1, 1997 \\ Notification of acceptance: & September 1, 1997 \\ \end{tabular} \end{center} The exact dates and length of the meeting depend largely on the number of papers received and the number of people expected to attend it. Thus, we encourage anyone interested in attending the workshop to submit a note by electronic mail to the workshop organizers before {\bf July, 1, 1997}, at the address {\tt \wksemail}. \medskip \medskip \begin{center} {\bf Organizing Committee} \end{center} \begin{center} \begin{tabular}{ll} In\^es de Castro Dutra & {\tt ines@cos.ufrj.br}\\ & COPPE/Systems Engineering and Computer Science\\ & Federal Univ. of Rio de Janeiro\\ Enrico Pontelli & {\tt epontell@cs.nmsu.edu}\\ Gopal Gupta & {\tt gupta@cs.nmsu.edu}\\ & LLDAP, New Mexico State University \\ V\'{\i}tor Santos Costa & {\tt vsc@ncc.up.pt} \\ Fernando Silva & {\tt fds@ncc.up.pt} \\ & LIACC, Universidade do Porto \end{tabular} \end{center} \begin{center} {\bf Information and Requests} \end{center} \begin{tabular}{ll} {\bf E-mail address:} & {\tt \wksemail} \\[0.5em] {\bf WWW addresses:} & {\tt \httpNM} \\[0.5em] {\bf Surface mail:} & V\'{\i}tor Santos Costa \\ & Workshop on Implementation Technology and Parallelism \\ & LIACC --- Universidade do Porto \\ & Rua do Campo Alegre, 823\\ & 4150 Porto \\ & Portugal\\ {\bf Fax:} & +351-2-6003654 \\[0.5em] {\bf ILPS'97:} & {\tt \httpILPS} \end{tabular} \end{document} -- Articles to parallel@ctc.com (Administrative: bigrigg@ctc.com) Archive: http://www.hensa.ac.uk/parallel/internet/usenet/comp.parallel