CFP JICSLP'96 Post-Conference Workshop

[Herbert Kuchen]

                         JICSLP'96 Post-Conference Workshop 

           What Can Logic Programmers Learn From Functional Programmers?

                                September 5--6, 1996

                                    Bonn, Germany

          (see also web page: http://www-i2.informatik.rwth-aachen.de/~herbert/JICSLP96WS.html)

Functional programming (FP) and logic programming (LP) share a declarative style of programming, yet the two
communities remain largely separate. However, in the past few years, a few programming features and techniques
from FP have found their way into LP. 

One area of influence is language design. The Hindley-Milner approach to typing, prevalent in FP, is the basis for
many proposals to include types into LP. Ditto for higher-order features, which are the lifeblood of FP and now
found in an a number of LP languages. Recently, we can find papers on the integration of monads and list
comprehensions from FP into LP. Finally, many researchers have considered hybrid languages that integrate the
features of FP and LP synergistically. 

Another area of influence is implementation techniques. Lazy evaluation has made its way from FP to LP, as have
numerous program analysis and transformation techniques. 

Of course the opposite question is also sensible. What is the influence of logic programming to functional
programming? Here one can mention techniques to simulate logic variables (e.g. by lambda-abstractions) and to
implement search. 

Topics:

The workshop is open to all topics concerned with the use of functional programming techniques in logic
programming. A non-exhaustive list is the following: 

       Language features, such as higher-order functions, monads, type classes, list comprehensions, and
       integrated functional-logic languages. 
       Execution principles, including lazy evaluation. 
       Influences of FP implementation techniques on LP, ranging from full designs down to portions of an
       implementation. 
       The modification of FP program analysis and transformation to cover aspects of LP. 
       A comparison of the semantic underpinnings of FP and LP. 
       Appication areas, environments for program development, and any other relation of interest. 

System demonstrations are also welcome. 

Submissions:

Authors interested in presenting their work are invited to submit extended abstracts by June 14, 1996 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 July 1,
1996. The final version is due by July 22, 1994 and may contain 4 to 12 pages. The proceedings will appear as
technical report. 

Organizers:

Herbert Kuchen (RWTH Aachen, Germany)
Juan Jos'e Moreno Navarro (Universidad Polit'ecnica Madrid, Spain)
Philip Wadler (University of Glasgow, UK)

Contact: 

Juan Jos'e Moreno Navarro
Facultad de Inform'atica, Universidad
Polit'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

***************************** CFP in LaTeX format ******************************************************
\documentstyle{article}
\textwidth15.2cm
\textheight24cm
\marginparwidth0pt
\marginparsep0pt
\evensidemargin0.9cm
\oddsidemargin0.9cm
\topmargin-1.5cm
\pagestyle{empty}

\begin{document}

\title{{\large {\em Call for Papers}} \\
       {\large JICSLP'96 Post-Conference Workshop} \\
       {\Large {\bf What Can Logic Programmers Learn\\
                     From Functional Programmers?}}\\
       {\large September 5--6, 1996\hspace{3cm} Bonn, Germany}}
\author{}
\date{}
\maketitle
\thispagestyle{empty}
\vspace{-1.2cm}

Functional programming (FP) and logic programming (LP) share a
declarative style of programming, yet the two communities remain
largely separate.  However, in the past few years, a few programming
features and techniques from FP have found their way
into LP.

One area of influence is language design. The
Hindley-Milner approach to typing, prevalent in FP, is the basis for
many proposals to include types into LP.  Ditto for higher-order 
features,
which are the lifeblood of FP and now found in an a number of LP
languages.  Recently, we can find papers on the integration of monads
and list comprehensions from FP into LP.  Finally, many researchers
have considered hybrid languages that integrate the features of
FP and LP synergistically.

Another area of influence is implementation techniques.
Lazy evaluation has made its way from FP to LP, as have
numerous program analysis and transformation techniques.

Of course the opposite question is also sensible.
What is the influence of logic programming to functional programming?
Here one can mention techniques to simulate logic variables
(e.g. by lambda-abstractions) and to implement search.
\medskip

\noindent {\bf Topics:}
The workshop is open to all topics concerned with the use of
functional programming techniques in logic programming.
A non-exhaustive list is the following:
\begin{itemize}\vspace{-2pt}\addtolength{\itemsep}{-3pt}
\item Language features, such as higher-order functions, monads, type
classes, list comprehensions, and integrated functional-logic languages.
\item Execution principles, including lazy evaluation.
\item Influences of FP implementation techniques on LP,
ranging from full designs down to portions of an implementation.
\item The modification of FP program analysis
and transformation to cover aspects of LP.
\item A comparison of the semantic underpinnings of FP and LP.
\item Appication areas, environments for program development,
and any other relation of interest.
\end{itemize}
System demonstrations are also welcome.
%, if the JICSLP
%organization will provide adequate hardware.
\medskip

\noindent {\bf Submissions:}
Authors interested in presenting their work are invited to submit
extended abstracts {\bf by June 14, 1996} 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 July 1, 1996.
The final version is due by July 22, 1994 and may contain 4 to 12 pages.
The proceedings will appear as technical report.

\vspace{-0.1cm}


\begin{tabbing}
~\={\bf Organizers:}~~~~ \= Herbert Kuchen (RWTH Aachen, Germany) \\
\>                         \> Juan Jos\a'e Moreno Navarro
                              (Universidad Polit\a'ecnica Madrid, 
Spain)\\
\>                         \> Philip Wadler (University of Glasgow, 
UK)\\
\\
\> {\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}