palsberg@daimi.aau.dk (Jens Palsberg J|rgensen) (05/30/91)
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. Types, Inheritance, and Assignments Date: Tuesday, July 16, 1991, 9.00--17.30. Place: Geneva, Switzerland. Organizers: Jens Palsberg, Michael Schwartzbach. Who should attend: Researchers interested in object-oriented type systems. 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? 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. Note: A selection of position papers will be submitted for publication in ACM OOPS Messenger. Address of organizers: 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 -- Jens Palsberg Computer Science Department, Aarhus University, Ny Munkegade, DK-8000 Aarhus C, Denmark phone: +45 8612 7188, fax: +45 8613 5725