From: vilo@cs.Helsinki.FI (Jaak Vilo)
Newsgroups: comp.theory,comp.lang.prolog,comp.lang.functional,nordunet.dcom.baltics,sfnet.tiede.tietotekniikka.tohtorix
Subject: (latex) Constraint Programming NATO summerschool announcement
Date: 25 Jan 1993 12:41:44 +0200
Organization: University of Helsinki, Department of Computer Science
Distribution: inet
NNTP-Posting-Host: hydra.helsinki.fi



\documentstyle{report}

\textwidth 6in
\oddsidemargin 0.05in
\textheight 9in
\headsep -0.5in
\pagestyle{empty}


\begin{document}
\begin{center}
%\begin{picture}(54,20)(54,-6)
%\thicklines
%\unitlength 3pt
%\put (14,0){\line(0,14){14}}
%\end{picture}

                       {\Large    FIRST ANNOUNCEMENT}     \\  
\vspace{.25in}

               {\bf NATO Advanced Study Institute} \\

                  {\bf CONSTRAINT PROGRAMMING} \\

                     {\bf August 13-24, 1993} \\
                     {\bf  P\"{a}rnu, Estonia} \\
\end{center}

 \subsubsection{ Objectives}

  The Advanced Study Institute (ASI) aims to bring 
together leading researchers and practitioners from 
industry and academy involved in constraint programming.

  The ASI seeks to provide a forum to address and discuss 
the state of the art as well as the future trends. The 
institute is biased towards comparison different existing 
schools and treatments in constraint programming, to 
establish a network of researchers and to encourage the 
build up of new ideas and theories.


\subsubsection{  Scope}

  Topics of the ASI include:
\begin{itemize}
  \item	theoretical aspects of constraint programming;
  \item	specification of constraints;
  \item	constraints and mathematical logic;
  \item	constraints and interval arithmetic;
  \item	constraint programming and object-oriented programming paradigm;
  \item	constraint-based reasoning;
  \item	consistency and satisfaction of constraints;
  \item	constraint propagation;
  \item	parallel and distributed computing with constraints;
  \item	constraint-based interfaces, languages and systems;
  \item	applications of constraint programming.

\end{itemize}

\subsubsection{  Invited lecturers}

  In the ASI approximately 15 invited lecturers will 
participate, among them:

\begin{tabbing}
xxxxxxxx\= Declarative implementation techniques\kill
 \>H. Ait-Kaci (DEC Research Lab, France), \\
 \> 	A. Borning (Washington University, USA), \\
 \> 	R. Dechter (University of California, USA), \\
 \> 	S. Haridi (SICS, Sweden), \\
 \>B. Mayoh ({\AA}rhus University, Denmark), \\
 \> 	G. Mints (Stanford University, USA), \\
 \> 	E. Tyugu (Royal Institute of Technology, Sweden), \\
 \> 	etc. \\
\end{tabbing}

  Participants (students) will also have the opportunity 
to present their own work with the help of posters as well 
as oral presentations and discussions.

\pagebreak

\subsubsection{  Proceedings}

  The results of the ASI are intended to be published in 
a book from the NATO ASI series by Springer Verlag.


\subsubsection{  Venue}

  The institute will be held in P\"{a}rnu, which is easily reached from
Tallinn, the capital of Estonia, on August 13-24, 1993.

  P\"{a}rnu is a delightful summer resort on the shore of the 
Gulf of Riga.  P\"{a}rnu's 60 kilometres of tree-lined streets were 
once considered the most complete botanical garden of the 
Russian Empire. P\"{a}rnu is also famous for its international 
jazz festivals being held every year.

  For the participants of the ASI, dormitory rooms will 
be available in a campus. All the attenders are expected 
to stay for the full duration of the institute.

The ASI will be followed by the Fifth International Symposium on
Programming Languages Implementation and Logic Programming (PLILP'93),
to be held on August 25-27, 1993. More precise information on the
symposium can be achieved by e-mail {\em plilp@ioc.ee}.

\subsubsection{  Applications}

  Participation is by invitations only. Persons wishing 
to apply for attending the institute are invited to send:

\begin{itemize}
  \item	full address including e-mail or fax if possible,
  \item	curriculum vitae,
  \item	list of publications and copies of major publications if possible,
  \item	motivation how you would contribute to the ASI,
  \item	arguments why a scolarship may be justified.
\end{itemize}

  Applications should be sent by e-mail or regular mail 
to one of the addresses below.

  The deadline for applications is April 1, 1993. Earlier 
applications are most welcome. Notification will be given 
by May 15, 1993.

  Only a limited number of participants (maximum 80) will 
be accepted. Participants come mostly from the NATO 
Alliance countries. A certain percentage of non-NATO 
nationals can attend as well as participants from Central 
and Eastern European countries.


\subsubsection{  Fees}

  To cover living expenses  an 
attendance fee will be charged. It is anticipated that the 
fee will be 3250 EEK (250 USD) for participants from the 
NATO Alliance and Central/East European countries, and 6500 EEK (500 USD) for participants 
from other countries.

  The registration fee for industrial participants is 12.000 EEK (925 USD).
  There is no registration fee for academic participants.

  Every participant covers his/her own travel expenses. 
Any health and accident insurance is also an individual responsibility.

  A limited number of scholarships  are available for 
subsidising those ASI students who are unable to obtain 
support from other sources.


\subsubsection{  Organizing Committee}

\begin{tabbing}
xxxxxxxx\= Declarative implementation techniques\kill
\>  B. Mayoh ({\AA}rhus University, Denmark), director \\
  \>E. Tyugu (Royal Institute of Technology, Sweden) \\
 \> J. Penjam (Institute of Cybernetics, Estonia) \\
\end{tabbing}

\subsubsection{  Correspondence addresses}

\begin{tabbing}
xxxxxxxx\= Maurice Bruynooghexxxxxxxxxsxxxxxx\= Leuven, Belgium (co-chairman)\kill
\>  Jaan Penjam                      \>        Brian Mayoh \\
\>  Institute of Cybernetics         \>        Comp.Sci.Dept.{\AA}rhus University \\
\>  21 Akadeemia tee                 \>       Ny Munkegade Bldg. 540 \\
\>  EE0026 Tallinn                   \>     DK-8000 {\AA}rhus \\
\>  Estonia                          \>            Denmark \\
 \\ \\
\>  E-mail:{\em natoasi@ioc.ee}      \>      E-mail: {\em brian@daimi.aau.dk} \\
\>  Tel.: +7014-2 52 57 28              \>      Tel.:  +45 86 12 71 88 \\
\>  Fax: +7014-2 52 79 01               \>      Fax:  +45 86 13 57 25 \\
\end{tabbing}

  {\bf NB!}  The country code of Estonia will change in the 
nearest future (probably in March, 1993). The new code 
will be +372-2.


\subsubsection{  Sponsors}

  The ASI is organized by the Institute of Cybernetics 
(Tallinn, Estonia) in collaboration with the {\AA}rhus 
University (Denmark).

  The institute is sponsored by NATO as a NATO Advanced 
Study Institute.

\end{document}