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.