Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: list
Date: Thu, 23 Nov 95 23:39:12 +0100
From: Stephan Kepser <kepser@cis.uni-muenchen.de>
Message-Id: <9511232239.AA15624@thecube.cis.uni-muenchen.de>
To: info-hol@cs.uidaho.edu
Subject: CfParticipation  Unif'96


    UNIF'96        Call for participation       UNIF'96


         Tenth INTERNATIONAL WORKSHOP ON UNIFICATION 


         Thursday, June 6 - Saturday, June 8, 1996
                Herrsching (Munich) Germany


This workshop is the tenth in a series of international meetings, the
last three having been in Boston (USA, 1993) and Val d'Ajol (France,
1994), and Sitges (Spain, 1995).  As its predecessors, UNIF'96 is
meant to be an opportunity to meet old and new colleagues, to present
recent work, and to discuss new ideas and trends related to
unification and all its extensions that nowadays have replaced
standard unification in many applications, like dis-, E- or
higher-order unification or other more general symbolic constraint
solving techniques.  It is also a good opportunity for researchers
working in related areas to get an overview of the current state of
the art in the field. 

UNIF'96 will be organized by Klaus U. Schulz and Stephan Kepser, and
partially supported by CIS, University of Munich. We intend to have
sessions with short talks (15 or 30 minutes), followed by discussions,
panel discussions on actual topics, and system demonstrations.  The
following is a (non-exclusive) list of possible topics: 

* Foundations  
* Typed Unification     
* Special Unification algorithms 
* Narrowing    
* Combination problems  
* Higher-Order Unification       
* Disunification                 
* Type reconstruction            
* Constraint solving             
* Applications                   
* Implementations               
* General E-unification and Calculi 


Herrsching is a nice village at the ``Ammersee'', a lake 25 km
south-west of Munich. It can easily be reached by S-Bahn from Munich
Airport or from the main railway station. The address of the workshop
place is

Bildungsstaette des Bayerischen Bauernverbands Herrsching
Rieder Strasse 70
D-82211 Herrsching
Germany

Participants are expected to arrive for dinner on Wednesday,
June 5. The total cost will be 440 DM (German Marks) for single rooms,
covering full board.  There will be no additional registration fees.

Because of the size of the facilities, places at the workshop will be
limited to about 45 people, which means that we cannot guarantee
participation to everybody.  The final list of talks and participants
will be selected by Claude Kirchner and Klaus U. Schulz.

If you intend to participate in the workshop, please apply to 
  schulz@cis.uni-muenchen.de, indicating: (i) full name and address,
(ii) whether you intend to give a talk, and (iii) preference for
single or double room (in the latter case, joint applications for both
people are recommended).  Please apply soon, but in any case
before March 27, 1996 (early applications will have a higher
priority).  Abstracts of the talks will be due by May 15, 1996.

If you have any questions, please send an e-mail to 
  schulz@cis.uni-muenchen.de 

WWW: http://www.cis.uni-muenchen.de/hot/unif96.html

-------------------- LaTeX Version --------------------------------------
\documentstyle[12pt]{article}
\pagestyle{empty}
\setlength{\oddsidemargin}{2.55mm}
\setlength{\evensidemargin}{2.55mm}
\setlength{\textwidth}{165mm}
\setlength{\topmargin}{5.55mm}
\setlength{\headheight}{0cm}
\setlength{\footheight}{3cm}
\setlength{\headsep}{0cm}
\setlength{\textheight}{230mm}
\begin{document}

\begin{center}
{\Large\bf UNIF'96}
{\bf \ \ Call for participation\ \ }
{\Large\bf UNIF'96}
\medskip

{\bf Tenth INTERNATIONAL WORKSHOP ON UNIFICATION }
\medskip

Thursday, June 6 - Saturday, June 8, 1996\\ Herrsching (Munich) Germany
\end{center}
 
 
This workshop is the tenth in a series of international meetings, the
last three having been in Boston (USA, 1993) and Val d'Ajol (France,
1994), and Sitges (Spain, 1995).  As its predecessors, UNIF'96 is
meant to be an opportunity to meet old and new colleagues, to present
recent work, and to discuss new ideas and trends related to
unification and all its extensions that nowadays have replaced
standard unification in many applications, like dis-, E- or
higher-order unification or other more general symbolic constraint
solving techniques.  It is also a good opportunity for researchers
working in related areas to get an overview of the current state of
the art in the field.  \medskip


UNIF'96 will be organized by Klaus U. Schulz and Stephan Kepser, and
partially supported by CIS, University of Munich. We intend to have
sessions with short talks (15 or 30 minutes), followed by discussions,
panel discussions on actual topics, and system demonstrations.  The
following is a (non-exclusive) list of possible topics: \smallskip

{\em\begin{tabular}{lll}
$\bullet$ Foundations                           &
$\bullet$ Typed Unification                     &
$\bullet$ Special Unification algorithms        \\     
%
$\bullet$ Narrowing                             &      
$\bullet$ Combination problems                  &
$\bullet$ Higher-Order Unification              \\           
%
$\bullet$ Disunification                        &
$\bullet$ Type reconstruction                   &
$\bullet$ Constraint solving                    \\                 
%
$\bullet$ Applications                          &
$\bullet$ Implementations                       &      
$\bullet$ General E-unification and Calculi     \\  
\end{tabular}}

Herrsching is a nice village at the ``Ammersee'', a lake 25 km
south-west of Munich. It can easily be reached by S-Bahn from Munich
Airport or from the main railway station. The address of the workshop
place is
\begin{center}
Bildungsst\"atte des Bayerischen Bauernverbands Herrsching\\
Rieder Stra{\ss}e 70\\
D-82211 Herrsching\\
Germany
\end{center}
Participants are expected to arrive for dinner
on Wednesday, June~5. The total cost
will be 440 DM (German Marks) for single rooms, covering full
board.  There will be no additional registration fees.

Because of the size of the facilities, places at the workshop will be
limited to about 45 people, which means that we cannot guarantee
participation to everybody.  The final list of talks and participants
will be selected by Claude Kirchner and Klaus U. Schulz.

If you intend to participate in the workshop, please apply to {\tt
  schulz@cis.uni-muenchen.de}, indicating: (i) full name and address,
(ii) whether you intend to give a talk, and (iii) preference for
single or double room (in the latter case, joint applications for both
people are recommended).  Please {\bf apply soon}, but in any case
{\bf before March 27, 1996} (early applications will have a higher
priority).  Abstracts of the talks will be due by {\bf May 15, 1996}.

If you have any questions, please send an e-mail to {\tt
  schulz@cis.uni-muenchen.de}. 

WWW: {\tt http://www.cis.uni-muenchen.de/hot/unif96.html}
\end{document}