Thread View: comp.theory
1 messages
1 total messages
Started by Jaak Vilo
Mon, 25 Jan 1993 10:41
(latex) Constraint Programming NATO summerschool announcement
Author: Jaak Vilo
Date: Mon, 25 Jan 1993 10:41
Date: Mon, 25 Jan 1993 10:41
196 lines
7191 bytes
7191 bytes
\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}
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads