[Prev][Next][Index][Thread]
11th ADT Workshop and 8th General Compass Meeting (ASCII & Latex)
[Since it is possibly relevant, I am distributing this conference
announcement to types. -- Philip Wadler, moderator, Types Forum.]
11th ADT Workshop and 8th General Compass Meeting
September 19 1995 -- September 23 1995
Call for Participation
Workshop on Specification of Abstract Data Types and ESPRIT Compass Meeting
---------------------------------------------------------------------------
The two joint events will take place at Holmenkollen in Oslo. The
workshop starts just after lunch-time Tuesday September 19, and lasts till
Saturday evening September 23. Before the workshop a meeting of the IFIP
WG 14.3 (Foundations of Systems Specifications) will be held at the same
place starting just after lunch-time Monday September 18. The workshop
will provide an opportunity to meet colleagues, to present recent and
ongoing work and to discuss new ideas and future trends.
The workshop is organized by Olaf Owe and Ole-Johan Dahl from the
University of Oslo, and Magne Haveraaen from the University of Bergen.
The topics of the workshop include, but are not limited to:
- algebraic specifications;
- other approaches to formal specification;
- specification languages and methods;
- term rewriting and proof systems;
- specification development systems (concepts, tools, etc.).
It is planned to have a small number of invited talks.
The proceedings, consisting of a selection of the presented talks through
the usual referee process, will be published after the workshop, probably
in the Lecture Notes series of the Springer-Verlag (see e.g. the
Recent Trends in Data Type Specifications series, n. 332, 534, 655, 785,
...).
Please note:
as there is a limited number of slots for talks, REGISTER NOW!
We will accept speakers essentially in the order of arrival date of their
registrations (a corrective mechanism is organized in order to guarantee
visibility to every site). So if you plan to have a talk please let us
know as soon as possible (communication via e-mail or WWW is suggested).
Location
--------
The workshop will be held at the Soria Moria hotel at Holmenkollen in
Oslo. Even though the site is barely 12 km from downtown and 14 km from
the airport, the area has a hilly flavour, surrounded by quiet woods, an
excellent terrain for walking. The hotel itself is modern with excellent
conference facilities, including swimming pool and sauna.
Accommodation
-------------
According to the tradition, the workshop is planned on a residential base,
so participants are required to stay at the Soria Moria hotel.
Normal arrival is expected Tuesday September 19 after lunch, and departure
on Sunday September 24 after breakfast, with the possibility of extending
the stay in both directions. Participants to the IFIP WG 14.3 meeting are
expected to arrive Monday September 18 after lunch.
We have reserved a number of rooms, both single and double, and expect to
be able to accommodate everybody registering BEFORE JUNE 15. We will try
to accommodate people registering by July 31, depending on room
availability.
Deadline for registration is the 15th of June '95
Please note:
the single rooms will be assigned essentially following a FIFO principle;
thus if you want a single room, book it now.
Prices
We have an agreement with the hotel for a special price for full board
during the workshop. For a single room this amounts to 880 NOK per day,
and to 620 NOK per day per person in a double room.
For the whole workshop the prices in Norwegian Crowns amount to:
! WADT/COMPASS (Tue-Sun) ! WG14.3/WADT/COMPASS (Mon-Sun)
-----------------+-------------------------+------------------------------
single room ! 4400 NOK (ca. 530 ECU) ! 5280 NOK (ca. 640 EQU)
double room, p.p.! 3100 NOK (ca. 375 EQU) ! 3720 NOK (ca. 450 ECU)
-----------------+-------------------------+------------------------------
Note that the prices in ECU are obtained at the current rate (which could
be different next September). There is a small chance that the boarding
prices may be influenced by changes in the Norwegian taxation system. Such
changes, if any, will be decided before Christmas.
Registration fee
----------------
As usual a reasonable fee will be required at the registration desk, to
cover expenses like proceedings publication, social events and so on. The
precise amount has still to be established, depending on the real costs
and the funds that can be raised to cover them.
Travel Information
------------------
The Soria Moria hotel is easily reachable by bus and taxi from downtown
Oslo or directly from the Fornebu Airport in Oslo. The dates for the event
have been chosen so that participants can make use of reduced airfares
(PEX, APEX).
Other information
-----------------
More organizational details will follow, and registered participants will
be kept informed. Updated information will also be available on the
World-Wide Web (WWW) at URL:
http://www.ifi.uio.no/~adt95/
AS THERE IS A LIMITED NUMBER OF PLACES AVAILABLE FOR THE WORKSHOP,
REGISTER EARLY!
We will accept participants in the order of date of arrival of the
enclosed registration form
Please return the registration form (by e-mail or surface mail) to
the following address.
ADT'95 Organization
Institutt for informatikk e-mail: adt95@ifi.uio.no
Postboks 1080 Blindern phone: +47 22 85 24 10
0316 OSLO fax: +47 22 85 24 01
Norway WWW: http://www.ifi.uio.no/~adt95/
------------------------------------------------------------------------
11th ADT Workshop and 8th General Compass Meeting
Registration form
One form for each participant, please!
Family Name ........................................................
Christian Name ........................................................
Institution ........................................................
Mailing address ........................................................
........................................................
........................................................
........................................................
........................................................
E-mail ........................................................
Fax ........................................................
Telephone ........................................................
I will attend to the workshop ... yes ... no
I intend to give a talk ... yes ... no
If yes, provisional title ..............................................
........................................................
........................................................
I prefer ... single room ... double room
I would like to share the room with ................................
Special meal requirements (please specify): ............................
I will arrive ..........................
I will depart ..........................
I am a member of IFIP WG 14.3 ... yes ... no
Name of accompanying non-participants ..................................
for which I need ...... additional single rooms and
...... additional double rooms
Signature .............................................................
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%LATEX%%%%%%%%%%%%%%%%%%%%%%%%%
\documentstyle{article}
\topmargin - 21mm
\oddsidemargin -11mm
\evensidemargin -11mm
\textheight 256mm
\textwidth 180mm
\renewcommand{\arraystretch}{1.5}
\catcode`\<=\active\global\chardef~126
%\newcommand{\printtilde}{\verb+~+}
\pagestyle{empty}
\title{{\LARGE\bf 11th ADT Workshop and 8th General Compass Meeting}}
\author{{\Large\bf September 19 1995 -- September 23 1995}}
\date{{\large\bf Call for Participation}}
\begin{document}
\maketitle
\thispagestyle{empty}
\subsection*{Workshop on specification of Abstract Data Types and ESPRIT
Compass Meeting}
The two joint events will take place at Holmenkollen in Oslo. The
workshop starts just after lunch-time Tuesday September 19, and lasts till
Saturday evening September 23. Before the workshop a meeting of the IFIP
WG 14.3 (Foundations of Systems Specifications) will be held at the same
place starting just after lunch-time Monday September 18.
\\
The workshop will provide an opportunity to meet colleagues, to present
recent and ongoing work and to discuss new ideas and future trends.
The workshop is organized by Olaf Owe and Ole-Johan Dahl from the
University of Oslo, and Magne Haveraaen from the University of Bergen.
The topics of the workshop include, but are not limited to:
\begin{itemize}
\item algebraic specifications;
\item other approaches to formal specification;
\item specification languages and methods;
\item term rewriting and proof systems;
\item specification development systems (concepts, tools, etc.).
\end{itemize}
It is planned to have a small number of invited talks.
The proceedings, consisting of a selection of the presented talks through
the usual referee process, will be published after the workshop, probably
in the Lecture Notes series of the Springer-Verlag (see e.g.\ the
Recent Trends in Data Type Specifications series, n. 332, 534, 655, 785,
\ldots).
\medskip
\noindent{\bf Please note:}
as there is a limited number of slots for talks, {\large\em register now!}
We will accept speakers essentially in the order of arrival date of their
registrations (a corrective mechanism is organized in order to guarantee
visibility to every site). So if you plan to have a talk please let us
know as soon as possible (communication via e-mail or WWW is suggested).
\subsection*{Location}
The workshop will be held at the Soria Moria hotel at Holmenkollen in
Oslo. Even though the site is barely 12 km from downtown and 14 km from
the airport, the area has a hilly flavour, surrounded by quiet woods, an
excellent terrain for walking. The hotel itself is modern with excellent
conference facilities, including swimming pool and sauna.
\subsection*{Accommodation}
According to the tradition, the workshop is planned on a residential base,
so participants are required to stay at the Soria Moria hotel.
Normal arrival is expected Tuesday September 19 after lunch, and departure
on Sunday September 24 after breakfast, with the possibility of extending
the stay in both directions. Participants to the IFIP WG 14.3 meeting are
expected to arrive Monday September 18 after lunch.
We have reserved a number of rooms, both single and double, and expect to
be able to accommodate everybody registering {\bf before June 15}. We
will try to accommodate people registering by July 31, depending on room
availability.
\begin{center}
\large\bf
\fbox{Deadline for registration is the 15th of June '95}
\end{center}
\medskip
\noindent{\bf Please note:}
the single rooms will be assigned essentially following a {\tt FIFO}
principle; thus if you want a single room, {\em book it now}.
\subsubsection*{Prices}
We have an agreement with the hotel for a special price for full board
during the workshop. For a single room this amounts to 880 NOK per day,
and to 620 NOK per day per person in a double room.
\noindent
For the whole workshop the prices in Norwegian Crowns amount to:
\smallskip
\begin{center}
\begin{tabular}{|l|c|c|}\hline
& Just WADT/COMPASS (Tue-Sun)
& IFIP WG 14.3 \& WADT/COMPASS (Mon-Sun)
\\ \hline
single room & 4400 NOK ($\approx$ 530 ECU) & 5280 NOK ($\approx$ 640 EQU) \\ \hline
double room, p.p. & 3100 NOK ($\approx$ 375 EQU) & 3720 NOK ($\approx$ 450 ECU) \\ \hline
\end{tabular}
\end{center}
\smallskip
Note that the prices in ECU are obtained at the current rate (which could
be different next September). There is a small chance that the boarding
prices may be influenced by changes in the Norwegian taxation system. Such
changes, if any, will be decided before Christmas.
\medskip
\subsection*{Registration fee}
As usual a reasonable fee will be required at the registration desk, to
cover expenses like proceedings publication, social events and so on. The
precise amount has still to be established, depending on the real costs
and the funds that can be raised to cover them.
\subsection*{Travel Information}
The Soria Moria hotel is easily reachable by bus and taxi from downtown
Oslo or directly from the Fornebu Airport in Oslo. The dates for the event
have been chosen so that participants can make use of reduced airfares
(PEX, APEX).
\subsection*{Other information}
More organizational details will follow, and registered participants will
be kept informed. Updated information will also be available on the World-Wide
Web (WWW) at URL:
\begin{center}
http://www.ifi.uio.no/~adt95/
\end{center}
\vspace{0.8cm}
\noindent{\Large
As there is a limited number of places available for the workshop,
register early! \ \ \ \ \ \
\noindent
We will accept participants in the order of date of arrival of the enclosed
registration form
\bigskip
\begin{center}
REGISTER NOW!
\end{center}
}
\vspace{0.8cm}
\noindent
Please return the registration form (by e-mail or surface mail) to the
following address.
\begin{center}
\begin{tabular}{lcll}
ADT'95 Organization &\makebox[3cm]{}& \\
Institutt for informatikk &&e-mail: &adt95@ifi.uio.no \\
Postboks 1080 Blindern &&phone: &+47 22 85 24 10 \\
0316 OSLO &&fax: &+47 22 85 24 01 \\
Norway &&WWW: &http://www.ifi.uio.no/~adt95/
\end{tabular}
\end{center}
\begin{center}
\pagebreak
{\Large\bf 11th ADT Workshop and 8th General Compass Meeting}
\smallskip
{\Large\bf Registration form}
{\bf One form for each participant, please!}
\end{center}
\addtolength{\baselineskip}{0.3cm}
\bigskip
\noindent
\makebox[3cm][l]{Family Name} \ \dotfill\ \\
\makebox[3cm][l]{Christian Name} \ \dotfill\ \\
\makebox[3cm][l]{Institution} \ \dotfill\ \\
\makebox[3cm][l]{Mailing address} \ \dotfill\ \\
\makebox[3cm]{} \ \dotfill\ \\
\makebox[3cm]{} \ \dotfill\ \\
\makebox[3cm]{} \ \dotfill\ \\
E-mail \dotfill\qquad
Fax \dotfill\qquad
Telephone \dotfill\\
\bigskip
\noindent
\begin{tabular}{lll}
I will attend to the workshop & $\Box$ yes & $\Box$ no\\
I intend to give a talk & $\Box$ yes & $\Box$ no\\
\end{tabular}
\hspace{1cm}If yes, provisional title \dotfill\\
\makebox[3cm]{}\dotfill\\
\bigskip
\noindent
I prefer\hspace{2cm} $\Box$ single room\hspace{2cm}$\Box$ double
room\\
\hspace{1cm}I would like to share the room with\ \dotfill\\
\bigskip
\noindent
Special meal requirements (please specify): \dotfill\\
\bigskip
\noindent
I will arrive \dotfill\\
I will depart \dotfill\\
I am a member of IFIP WG 14.3 \ \ \ $\Box$ yes \ \ $\Box$ no\\
\bigskip
\noindent
\begin{tabular}{@{}lll}\multicolumn{3}{@{}l@{}}{\hspace*{\textwidth}}\\[0em]
Name of accompanying non-participants &\multicolumn{2}{l@{}}{\dotfill} \\
\multicolumn{1}{r}{for which I need} &\ldots\ldots\ldots& additional single rooms and \\
&\ldots\ldots\ldots& additional double rooms
\end{tabular}
\vfill
\hspace{5cm}Signature \dotfill
\end{document}