dbm@rabbit.UUCP (09/22/83)
International Symposium on the Semantics of Data Types
Preliminary Announcement and Call for Papers
An international symposium organized by the Institut National de Recherche
en Informatique et en Automatique (INRIA) will be held June 27-29, 1984
at Sophia-Antipolis, near Antibes, France.
Suggested Topics
The symposium will cover formal theories of types and their applications.
Appropriate topics include (but are not restricted to):
Formal models for types, related to domain theory, algebra, or logic
Type inference systems and type checking algorithms
Abstraction, including abstract data types
Polymorphism and parameterization
Applications to programming languages, specification languages, and other
formalisms
Format of the Symposium
There will be three invited papers and around 20 contributed papers (with
presentation times of one hour and 40 minutes, respectively).
Submission of Papers
Authors should send five copies of a detailed abstract of 10-15 double spaced
typewritten pages (or equivalent) by December 1, 1983 to
Th. Bricheteau, Symposium Secretariat
INRIA
Domaine de Voluceau \(en Rocquencourt
B. P. 105 \(en 78153 LE CHESNEY Cedex
France
The front page of the abstract should include the title and the author(s) full
name, official address, and telephone and telex numbers.
Chairman of the Symposium
Gilles Kahn, INRIA, Sophia-Antipolis, France
Program Committee
D MacQueen Bell Labs G Plotkin Edinburgh (Co-chairmen)
G Berry Ecole des Mines R Constable Cornell
M Coppo Turin H Ehrig Berlin
J Goguen SRI J R Hindley Swansea
B Lampson Xerox PARC A Meyer MIT
J Reynolds Syracuse D Scott CMU
Official Languages
The official languages of the symposium will be French and English.