palsberg@daimi.aau.dk (Jens Palsberg J|rgensen) (03/21/91)
%
% This message is a LaTeX poster for a workshop on
% "Types, Inheritance, and Assignments" which will be
% held in conjunction with the ECOOP'91 conference in
% Geneva, Switzerland this summer.
%
% We hope that you will consider participating, and that
% you will display the poster.
%
% Thank you,
%
% Jens Palsberg & Michael I. Schwartzbach
%
\documentstyle[12pt,a4]{article}
\def\bigbox#1
{\framebox{\framebox{\framebox[\columnwidth]{
{\begin{minipage}{14.5cm}
{#1}
\end{minipage}
}}}}}
\begin{document}
\parindent 0mm
\pagestyle{empty}
\bigbox{
\section*{Call for Participation: ECOOP'91 Workshop}
ECOOP'91 will be the fifth annual European Conference on
Object-Oriented Programming.
At the second day of the conference, the following workshop will take place.
Please note that separate registrations to the conference and the
workshop are required.
\section*{Types, Inheritance, and Assignments}
{\bf Date:} Tuesday, July 16, 1991, 9.00--17.00.\\
\mbox{}\\
{\bf Place:} Geneva, Switzerland.\\
\mbox{}\\
{\bf Organizers:} Jens Palsberg, Michael Schwartzbach.\\
\mbox{}\\
{\bf Who should attend:} Researchers interested in object-oriented
type systems.\\
\mbox{}\\
{\bf Topic:}
The type theory of object-oriented programming is advancing rapidly.
Types are required to ensure reliability and efficiency of software,
and the presence of inheritance and assignments in object-oriented
languages makes typing a challenging problem.
This has led to a profusion of approaches, each giving important
but often incompatible contributions to the theory.
The workshop will seek to relate these approaches,
clarify state-of-the-art, and point to major unsolved problems.
We will focus on the following five questions:
What are appropriate models of classes, types, subclassing, and subtyping?
How can updates be typed without loss of type information?
To what extent are type systems for functional languages adequate?
Should classes and types be different?
How can type inference be accomplished?\\
\mbox{}\\
{\bf How to apply:}
Participants must register
with the workshop organizers before June~3 1991, and they are at the
same time invited to submit a position paper.
The paper should address some of the above questions and
must be limited to two pages.
Registrations should, if possible, include the author's electronic mail
address; if a position paper is submitted, then
\LaTeX\ by electronic mail is preferred.
If necessary, selection of participants will be made on basis
of the position papers; notification will be given by June 14.
Accepted position papers will be distributed to all participants
on July 1.\\
\mbox{}\\
{\bf Address of organizers:}
\begin{center}
\begin{tabular}{c@{\hspace*{2cm}}c}
Department of Computer Science &
Telephone: +45 8612 7188\\
Aarhus University &
Telefax: +45 8613 5725\\
Ny Munkegade &
Internet: mis@daimi.aau.dk\\
DK-8000 Aarhus C &\\
Denmark &
\end{tabular}
\end{center}
}
\end{document}
--
Jens Palsberg
Computer Science Department, Aarhus University,
Ny Munkegade, DK-8000 Aarhus C, Denmark
palsberg@daimi.aau.dk