[net.lang] Call for papers on data types

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.