From michael@mpi-sb.mpg.de Tue Feb 8 23:27:09 EST 1994 Article: 9603 of comp.lang.prolog Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:9603 comp.lang.functional:4170 comp.lang.ml:357 comp.lang.misc:15205 comp.ai:20589 Newsgroups: comp.lang.prolog,comp.lang.functional,comp.lang.ml,comp.lang.misc,comp.ai Path: honeydew.srv.cs.cmu.edu!mpi-sb.mpg.de!michael From: michael@mpi-sb.mpg.de (Michael Hanus) Subject: CfP: Workshop "Integration of Declarative Paradigms" Message-ID: Originator: jgmorris@VACHE.VENARI.CS.CMU.EDU Sender: news@cs.cmu.edu (Usenet News System) Nntp-Posting-Host: mpii02000.ag2.mpi-sb.mpg.de Reply-To: michael@mpi-sb.mpg.de (Michael Hanus) Organization: Max-Planck-Institut fuer Informatik Date: Tue, 8 Feb 1994 14:14:11 GMT Approved: comp-lang-ml@cs.cmu.edu Lines: 177 Call for Papers ICLP'94 Post-Conference Workshop on INTEGRATION OF DECLARATIVE PARADIGMS June 17-18 1994 Santa Margherita Ligure, Italy The integration of declarative paradigms and, in particular, the integration of functional and logic programming, was an active area of research some years ago. New models and languages were proposed and it was shown that the new paradigm is feasible. Recently, interest for this kind of languages has been spurred anew, especially for what concerns efficient implementation. Currently, there is active research in: * Design of new programming languages accounting for a mature and up-to-date understanding of previously studied features meant to improve the expressive power of declarative languages (lazy evaluation, higher-order objects, types, object orientation, etc...). * Development of efficient implementations. The proposals combine existing techniques from logic programming (e.g., WAM, mode analysis, abstract interpretation) and functional programming (e.g., graph reduction, strictness analysis, optimization of deterministic computations) as well as new techniques (e.g., combination of normalization and narrowing, residuation and coroutining, parallelization). * Integration with other paradigms, like the inclusion of constraints, real-time programming, visual programming, etc. The aim of this workshop is to bring together researchers from different communities as well as to give the logic programming community an idea of recent advances in the area. Hence, the workshop may contribute to close the gap between the different communities and create a good opportunity for exciting discussions. The workshop is open to all topics concerned with the integration of declarative paradigms. A non-exhaustive list is the following: language features, semantics, execution principles, implementation issues, abstract interpretation of integrated languages, environments for integrated languages. We encourage communications in new implementation techniques and novel integrations of declarative paradigms. System demonstrations are also welcome in the case the ICLP organization will provide adequate hardware. SUBMISSIONS: Authors interested in presenting their work are invited to submit extended abstracts by March 28, 1994 to the contact address below. Manuscripts should not exceed 5 pages. Electronic submissions in Tex/LaTex/DVI/Postcript format are strongly encouraged. They will be notified of acceptance/rejection by May 1, 1994. The final version is due to May 15, 1994. We plan to produce a technical report containing the extended abstracts of all accepted presentations. Organizers: Hassan Ait-Kaci (Simon Fraser University, Canada) Michael Hanus (MPI Saarbruecken, Germany) Juan Jose Moreno Navarro (Universidad Politecnica Madrid, Spain) Contact: Juan Jose Moreno Navarro Facultad de Informatica Universidad Politecnica de Madrid Campus de Montegancedo s/n Boadilla del Monte 28660 Madrid, Spain Phone: +34 1 336 74 58 / Fax: +34 1 336 74 12 e-mail: jjmoreno@fi.upm.es %%%%%%%%%%%%%%%%%%%%%%% LaTeX Version %%%%%%%%%%%%%%%%%%%%%%%% \documentstyle{article} \textwidth15.2cm \textheight24cm \marginparwidth0pt \marginparsep0pt \evensidemargin0.9cm \oddsidemargin0.9cm \topmargin-2.5cm \pagestyle{empty} \begin{document} \title{{\large {\em Call for Papers}} \\ {\large {\bf ICLP'94 Post-Conference Workshop on}} \\ %~~\\ {\Large {\bf INTEGRATION OF DECLARATIVE PARADIGMS}} \\ %~~\\ {\normalsize June 17-18 ~~~1994} \\ {\normalsize Santa Margherita Ligure, Italy}} \author{} \date{} \maketitle \thispagestyle{empty} \vspace{-1.5cm} The integration of declarative paradigms and, in particular, the integration of functional and logic programming, was an active area of research some years ago. New models and languages were proposed and it was shown that the new paradigm is feasible. Recently, interest for this kind of languages has been spurred anew, especially for what concerns efficient implementation. Currently, there is active research in: \begin{itemize} \item Design of new programming languages accounting for a mature and up-to-date understanding of previously studied features meant to improve the expressive power of declarative languages (lazy evaluation, higher-order objects, types, object orientation, etc...). \item Development of efficient implementations. The proposals combine existing techniques from logic programming (e.g., WAM, mode analysis, abstract interpretation) and functional programming (e.g., graph reduction, strictness analysis, optimization of deterministic computations) as well as new techniques (e.g., combination of normalization and narrowing, residuation and coroutining, parallelization). \item Integration with other paradigms, like the inclusion of constraints, real-time programming, visual programming, etc. \end{itemize} The aim of this workshop is to bring together researchers from different communities as well as to give the logic programming community an idea of recent advances in the area. Hence, the workshop may contribute to close the gap between the different communities and create a good opportunity for exciting discussions. The workshop is open to all topics concerned with the integration of declarative paradigms. A non-exhaustive list is the following: language features, semantics, execution principles, implementation issues, abstract interpretation of integrated languages, environments for integrated languages. We encourage communications in new implementation techniques and novel integrations of declarative paradigms. System demonstrations are also welcome in the case the ICLP organization will provide adequate hardware. \bigskip \noindent {\bf Submissions:} Authors interested in presenting their work are invited to submit extended abstracts {\bf by March 28, 1994} to the contact address below. Manuscripts should not exceed 5 pages. Electronic submissions in Tex/LaTex/DVI/Postcript format are strongly encouraged. They will be notified of acceptance/rejection by May 1, 1994. The final version is due to May 15, 1994. We plan to produce a technical report containing the extended abstracts of all accepted presentations. \begin{tabbing} ~~~\={\bf Organizers:}~~~~\= Hassan A\"{\i}t-Kaci (Simon Fraser University, Canada) \\ \> \> Michael Hanus (MPI Saarbr\"ucken, Germany) \\ \> \> Juan Jos\a'e Moreno Navarro (Universidad Polit\a'ecnica Madrid, Spain)\\ \\ \> {\bf Contact:} \> Juan Jos\a'e Moreno Navarro \\ \> \> Facultad de Inform\a'atica \\ \> \> Universidad Polit\a'ecnica de Madrid \\ \> \> Campus de Montegancedo s/n\\ \> \> Boadilla del Monte 28660 Madrid, Spain \\ \> \> Phone: +34 1 336 74 58 / Fax: +34 1 336 74 12\\ \> \> e-mail: jjmoreno@fi.upm.es \end{tabbing} \end{document} -- Michael Hanus MPI Informatik eMail: michael@mpi-sb.mpg.de Im Stadtwald Phone: +49 681 302 5436 D-66123 Saarbruecken Fax: +49 681 302 5401 Germany