oscar@cui.unige.ch (Oscar Nierstrasz) (03/25/91)
------------------------------------------------------------------------------ ECOOP '91 -- Call for Participation The Fifth European Conference on Object-Oriented Programming July 15-19, 1991, Geneva, Switzerland ECOOP '91 will be the fifth annual European Conference on Object-Oriented Programming. Previous conferences have been held in Paris, Oslo, Nottingham and Ottawa (in cooperation with ACM's OOPSLA conference). The conference is intended to be a forum for the presentation and discussion of research contributions in the area of object-oriented programming and related areas. Tutorials and workshops on selected topics will take place during the first two days of the conference. All presentations will be in English. ------------------------------------------------------------------------------ ECOOP '91 Tutorial and Workshop Program ------------------------------------------------------------------------------ Monday, July 15, 1991 8.00 - 18.00 Registration 9.00 - 17.30 - Tutorial T1: Principles of Object-Oriented Database Systems - Tutorial T2: Introduction to C++ - Workshop W1: Object-Based Concurrent Computing (Part I) - Workshop W2: Dynamic Modelling of Organizations - Workshop W3: Object-Oriented Formal Methods - Workshop W4: Exception Handling and Object-oriented Programming ------------------------------------------------------------------------------ Tuesday, July 16, 1991 8.00 - 18.00 Registration 9.00 - 12.30 - Tutorial T3: Object-Oriented Design in ET++ - Tutorial T4: Object-Oriented Project Management 14.00 - 17.30 - Tutorial T5: Object-Oriented Database Query Languages - Tutorial T6: The Self Programming Language 9.00 - 17.30 - Tutorial T7: Object-Oriented Analysis, Design and Implementation - Workshop W1: Object-Based Concurrent Computing (Part II) - Workshop W5: Types, Inheritance, and Assignments - Workshop W6: Object Management Architecture and Models -- The OMG Standards Process - Workshop W7: PhD Research in Object-Oriented Systems 18.00-19.00 General Assembly of CHOOSE (Swiss Group on OO Systems and Environments) ------------------------------------------------------------------------------ ECOOP '91 Conference Program ------------------------------------------------------------------------------ Wednesday, July 17, 1991 8.00 - 10.00: Registration 10.00 - 10.10: Opening remarks, Dennis Tsichritzis, Conference Chair Welcome to Geneva, Prof. Luc Weber, Rector, University of Geneva 10.10 - 11.10: Session: Language Design 1 (Chair: Boris Magnusson) - Alan Snyder (Hewlett-Packard Laboratories): Modeling the C++ Object Model, An Application of an Abstract Object Model - Urs H\"olzle, Craig Chambers, David Ungar (Stanford University): Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches 11.10 - 11.30: Break 11.30 - 12.30: Session: Specification 1 (Chair: Joseph Goguen) - Angelo Morzenti, Pierluigi San Pietro (Politecnico di Milano): An Object-Oriented Logic Language for Modular System Specification - Alan Wills (University of Manchester): Capsules and Types in Fresco 12.30 - 14.00: Lunch 14.00 - 15.00: Session: Databases 1 (Chair: Markku Sakkinen) - Gilles Barbedette (GIP Alta\"ir): Schema Modifications in the LISPO\_2 Persistent Object-Oriented Language - Christine Delcourt (GIP Alta\"ir), Roberto Zicari (Politecnico di Milano): The Design of an Integrity Consistency Checker (ICC) for an Object-Oriented Database System 15.00 - 15.30: Break 15.30 - 17.00: Session: Concurrency (Chair: Oscar Nierstrasz) - Christian Neusius (Universit\"at des Saarlandes): Synchronizing Actions - Kohei Honda, Mario Tokoro (Keio University): Objects and Calculi - S. Crespi Reghizzi, S. Genolini (Politecnico di Milano): Definition of Reusable Concurrent Software Components 18.00 - 20.00: Reception at Palais Eynard ------------------------------------------------------------------------------ Thursday, July 18, 1991 9.00 - 9.50: Invited Speaker (to be announced) - Hermann Hauser (Active Book Company Ltd): The Pen is Mightier than the Mouse 9.50 - 10.10: Break 10.10 - 11.10: Session: Specification 2 (Chair: Pierre America) - Elspeth Cusack (British Telecom): Inheritance in Object-Oriented Z - Antonio J. Alencar, Joseph A. Goguen (University of Oxford): OOZE: An Object-Oriented Z Environment 11.10 - 11.30: Break 11.30 - 12.30: Session: Databases 2 (Chair: Stan Zdonik) - Jay Almarode (Servio Corporation): Issues in the Design and Implementation of a Schema Designer for an OODBMS - Claudia Bauzer Medeiros (GIP Alta\"ir), Patrick Pfeffer (University of Colorado): Object Integrity Using Rules 12.30 - 14.00: Lunch 14.00 - 15.00: Session: Reflection (Chair: Mario Tokoro) - Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa (University of Tokyo): Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming - Ramana Rao (Xerox Palo Alto Research Center): Implementational Reflection in Silica 15.00 - 15.30: Break 15.30 - 17.00: Panel: Beyond Objects (Chair: Dennis Tsichritzis) Panelists: Brad Cox (Stepstone) Richard Soley (Object Management Group) Luc Steels (Free University of Brussels) Mario Tokoro, (Keio University and Sony Computer Science Laboratory Inc.) 19.15 - 19.30: Boarding, pier at Jardin Anglais 19.30 - 23.00: Banquet on Lake Geneva ------------------------------------------------------------------------------ Friday, July 19, 1991 9.00 - 9.50: Invited Speaker (to be announced) 9.50 - 10.10: Break 10.10 - 11.10: Session: Language Design 2 (Chair: Jean B\'ezivin) - Serge Lacourte (Bull-IMAG): Exceptions in Guide, an Object-Oriented Language for Distributed Applications - Francis Wolinski, Jean-Fran\,cois Perrot (Universit\'e Paris VI and CNRS): Representation of Complex Objects: Multiple Facets with Part-Whole Hierarchies 11.10 - 11.30: Break 11.30 - 12.30: Session: Types (Chair: Ole Lehrmann Madsen) - W.B. Mugridge, J.G. Hosking, J. Hamer (University of Auckland): Multi-Methods in a Statically-Typed Programming Language - Jens Palsberg, Michael I. Schwartzbach (Aarhus University): What is Type-Safe Code Reuse? 12.30 - 14.00: Lunch 14.00 - 15.30: Session: Software Development (Chair: Barbara Pernici) - Ernst Lippe, Gert Florijn (Software Engineering Research Centre): Implementation Techniques for Integral Version Management - Dennis de Champeaux (Hewlett-Packard): Object-Oriented Analysis and Top-Down Software Development - Paul L. Bergstein, Karl J. Lieberherr (Northeastern University): Incremental Class Dictionary Learning and Optimization 15.30 - 16.00: Closing ------------------------------------------------------------------------------ Tutorials Tutorial notes will be provided at the tutorial sessions. Coffee will be provided during breaks for tutorial attendees. ------------------------------------------------------------------------------ Tutorial T1: Principles of Object-Oriented Database Systems Lecturer: Klaus Dittrich (University of Z\"urich) Objectives: To get acquainted with the notions and principles of a new, advanced type of database management system that currently is both heavily researched as well as already entering the marketplace; to learn about its potential benefits for application development, especially in areas that lack reasonable database support today. Content: Object-oriented database systems promise to make it easier (and also more efficient!) for applications to represent their miniworld semantics as comprehensively as possible in a database, even in cases where rather complex information structures have to be dealt with as e.g. in the areas of CAD/CAM, software engineering or knowledge representation. Furthermore, they may contribute to bridging the ``semantic gap'' between conventional database and programming languages and thus help to improve application development at large. This tutorial gives an in-depth introduction to object-oriented database systems. Rather than dealing with the idiosyncrasies of any particular system, basic principles and concepts are explained, along with discussions of their merits and potential problems. Differences and similarities to both object-oriented programming languages as well as conventional database systems are pointed out, and examples of existing prototypes and systems are given. Who should attend: Analysts, designers, technical managers, and researchers who want to get an introduction into how the object-oriented paradigm carries over to database management. Required previous knowledge: Some basic knowledge of database management system concepts will be helpful. Klaus R. Dittrich is a full professor at the University of Z\"urich, Switzerland where he heads the database technology research group. Prior affiliations include Forschungszentrum Informatik (FZI) at the University of Karlsruhe, Germany, and IBM Almaden Research Center, San Jose, USA. His current areas of interest comprise object-oriented and active database systems, DBMS architecture, and application of advanced database technology. Klaus Dittrich is a coauthor of the Object-Oriented Database System Manifesto. Level: Introductory Time: Monday 9:00-17:30 Code: T1 ------------------------------------------------------------------------------ Tutorial T2: Introduction to C++ Lecturer: Stanley Lippman (AT&T Bell Laboratories) Objectives: To survey the main features of C++, illustrating both effective and ineffective uses. C++ is considered from three perspectives: briefly, as a ``better'' C; as a language supporting abstract data types through its class mechanism; and, finally, as a language supporting object-oriented programming through inheritance and dynamic binding. Content: A Tour of C++ introduces the notions of abstract data type, subtyping, inheritance, and dynamic binding, as well as more advanced notions such as multiple inheritance, shared virtual base classes, and generic types. As a better C, C++ supports strong type checking, function overloading, inline functions, and template functions. The tutorial shows how C++ supports abstract data types, public interfaces, and automatic class initialization and de-initialization. It discusses subtyping versus inheritance and the use of composition. A detailed example illustrating dynamic binding, multiple inheritance and the use of virtual base classes both with template and non-template hierarchies is given. Who should attend: Application and system programmers who either have begun to work in C++ or are considering using it. Required previous knowledge: Some knowledge of C is assumed. Knowledge of object-oriented programming or data abstraction is not required. Stanley Lippman is a member of technical staff of the C++ Software Systems Department of AT&T Bell Laboratories. He has been a member of the AT&T C++ Translator development team for a number of years, and is currently working on Release 3.0. He writes a column for the C++ Journal. His book, A C++ Primer, published by Addison-Wesley, is considered by many to be the standard introductory book on C++. Level: Introductory Time: Monday 9:00-17:30 Code: T2 ------------------------------------------------------------------------------ Tutorial T3: Object-Oriented Design in ET++ Lecturers: Erich Gamma, Andr\'e Weinand (UBILAB) Objectives: To give an overview of advanced object-oriented design techniques based on concrete examples from the development of the ET++ class library. By the end of this tutorial, the participants will have an understanding of advanced object-oriented design and implementation techniques, which can be used as an important addition to existing design methods. Content: This tutorial is based on experience gained during the design of the ET++ class library. ET++ is a homogeneous class library integrating user interface building blocks, basic data structures with high level application framework components. ET++ eases the building of highly interactive applications with consistent user interfaces following the direct manipulation principle. ET++ is implemented in C++ and runs under UNIX(TM) and either SunWindows(TM) or the X11 window system. The tutorial starts with an overview of the ET++ class library and its architecture. We illustrate interesting design issues of an object-oriented class library based on case studies from ET++. We present examples of the evolutionary refinement of a class hierarchy with the goal to improve its maturity and reusability. Finally, we will abstract from the ET++ design experience and present some organizational structures for classes which can be applied during the architectural design of object-oriented software in general. Who should attend: Software engineers who are interested in the design of object-oriented software and class libraries. Required previous knowledge: Knowledge of C++, concepts of object-oriented programming. Erich Gamma and Andr\'e Weinand are research scientists at UBILAB (Union Bank of Switzerland Informatics research laboratory). They are the authors of the ET++ class library and are currently working on object-oriented toolkits, applications frameworks, and development tools. Both have an extensive background in teaching object-oriented seminars. Level: Intermediate Time: Tuesday 9:00-12:30 Code: T3 ------------------------------------------------------------------------------ Tutorial T4: Object-Oriented Project Management Lecturer: Kenny Rubin (ParcPlace Systems) Objectives: Understand how to effectively manage projects using object-oriented technologies. Understand the similarities and differences between managing a traditional software project and an object-oriented project. Become better prepared to select appropriate applications for applying object-oriented technology. Understand and assess the risks and benefits associated with an object-oriented project. Content: The context for object-oriented project management is set by first discussing key project development processes such as: iterative/incremental development, planning for reuse, rapid prototyping, and maintaining proximity of the problem space and the solution space. Based on these processes, project management impacts are discussed with particular attention paid to the activities of project structuring, project teams, project methodologies and tools, and project cost and effort estimation. The topics of training, project planning, tracking and control are presented as well as the topic of selecting appropriate applications for object-oriented technology. Issues that impact organizations during the introduction of object-oriented technology are identified and discussed. Who should attend: Project managers or individuals with a special desire to know about project management from an object-oriented perspective. Required previous knowledge: Cursory familiarity with the object model and limited familiarity with the elements of object-oriented software engineering. Having worked on at least one modest size software engineering project. Kenneth S. Rubin is the Manager of Professional Services at ParcPlace Systems where he manages product, methodology and management consulting related to object-oriented technology. He is a primary curriculum developer of ParcPlace training courses, serving as lead instructor for many courses taught over the past three years. He has written on object-oriented technology, artificial intelligence and human-computer interaction. Level: Introductory Time: Tuesday 9:00-12:30 Code: T4 ------------------------------------------------------------------------------ Tutorial T5: Object-Oriented Database Query Languages Lecturer: Marc Scholl (ETH Z\"urich) Objectives: To get acquainted with the background of emerging database technology. Particularly, to understand the concepts of data model and query language; to distinguish between persistent (object-oriented) programming systems and (object-oriented) database systems. Content: An object-oriented database system implements an object-oriented data model. So, the natural questions are: What is a data model? How is an object-oriented model different from the relational model? Do database and OOPL concepts fit together, and if so, where are the problems, what are the benefits? What about the query language? Will it still be some kind of SQL? We show how the object-oriented paradigm can be integrated within common database query languages without corrupting their descriptive style. Also, we discuss the necessary enhancements of query processors to cope with the additional complexity. This will also exhibit the main difference between object-oriented query languages and (persistent) OOPLs: descriptive versus navigational access to data/objects. Who should attend: Anybody interested in data models, query languages, optimization, and object-orientation in databases. For participants of the companion tutorial by Klaus Dittrich (T1), this is an ideal continuation. Required previous knowledge: Familiarity with fundamental concepts of database systems and object-oriented programming languages is helpful, but the course is sufficiently self-contained; attendance of the companion tutorial is recommended, but not necessary. Dr. Marc Scholl is the leader of the object-oriented database systems research group at ETH Z\"urich. He has been a member of the DASDBS project, where a nested relational DBMS was implemented. The COCOON project at ETH investigates the design and implementation of an object-oriented database system, query optimization, schema evolution and integration, and the use of AI automatic classification techniques for integrity monitoring in databases. Level: Intermediate Time: Tuesday 14:00-17:30 Code: T5 ------------------------------------------------------------------------------ Tutorial T6: The Self Programming Language Lecturer: Urs H\"olzle (Stanford University) Objectives: To understand Self's object model and inheritance semantics, and the rationale behind them; to explore some typical situations where Self's flexibility allows simpler solutions than are available in more traditional languages like Smalltalk-80 and C++; to discuss techniques which allow an efficient implementation of Self. Content: Self is an object-oriented language for exploratory programming based on a small number of simple yet powerful ideas. We start the tutorial by presenting the design principles underlying Self. Using simple examples, we then demonstrate how easy it is to reuse Self code even in situations where more traditional languages like Smalltalk stand in the programmer's way. The second part of the tutorial covers programming on a larger scale, showing how Self programs can be organized in the absence of classes. We also show how inheritance can be used to model concepts such as global variables and scoping without introducing extra language mechanisms. Finally, we address some of the performance implications of the Self language model and discuss how very good performance can be achieved despite the seemingly costly ``everything is a message send'' model. Who should attend: Programmers, students and researchers who are interested in a fresh look at object-oriented language design and prototype-based systems; anybody who is wondering why it is often harder than expected to reuse code in his/her favorite programming language. Required previous knowledge: Familiarity with the principles of object-oriented programming. Previous experience with Smalltalk-80 is helpful but not necessary. Urs H\"olzle is a Research Associate at the Center for Integrated Systems at Stanford University. He joined the Self group two years ago and has implemented major parts of the Self system. His current research concentrates on new techniques for the optimization of dynamically-typed object-oriented languages. Level: Advanced Time: Tuesday 14:00-17:30 Code: T6 ------------------------------------------------------------------------------ Tutorial T7: Object-Oriented Analysis, Design and Implementation Lecturer: Mehmet Aksit (University of Twente) Objectives: To present a well-defined object-oriented methodology which has been tested in diverse industrial applications. Participants will get a clear understanding of object-oriented analysis, design and implementation techniques and will have worked out one complete real-world example, from analysis to implementation. Content: This tutorial is based on an object-oriented software engineering methodology which is being applied to a number of industrial applications, from administrative systems to process automation. It covers all the phases of software development, from analysis to implementation. This methodology is adaptable, and it emphasizes software modularity, reliability, reusability and extensibility at every stage of the software development process. The tutorial will introduce the fundamental problems in large software design. It will give an overview of the existing object-oriented technology, and its application to software design. Three sets of flow-charts will be introduced to guide the analysis, design and implementation phases. One real-world problem will be defined and worked out using these guidelines. Finally, conclusions and our experiences related to other applications will be given. Who should attend: Software engineers who need a complete and well-defined object-oriented methodology as a solution to their practical software development problems. Required previous knowledge: Introductory knowledge on object-oriented principles and software engineering. Mehmet Aksit is an associate professor at the University of Twente. He has been the user and developer of object-oriented systems for more than eight years. Currently, he heads the TRESE project. TRESE is a large-scale project which conducts activities mainly in three groups; development of object-oriented methodologies, designing and implementing methodology supporting tools and assisting pilot studies in industry. Level: Intermediate Time: Tuesday 9:00-17:30 Code: T7 ------------------------------------------------------------------------------ Workshops ------------------------------------------------------------------------------ Workshop W1: Object-Based Concurrent Computing Organizer: Mario Tokoro (Keio University and Sony Computer Science Laboratory Inc.) Who should attend: Researchers working on, or strongly interested in, the concepts, theories, and practices of object-based concurrent computing. Topic: The world we live in is concurrent, persistent, dynamic, distributed, and open-ended in its very nature. Besides, computation can be envisaged as simulation of a part of the real or an imaginary world. Thus, we should provide users with computational frameworks, or tools of abstraction, for concurrent, distributed, and open-ended worlds. This way of looking at computing, in contrast to the way in which we start with the sequential one and try to make it concurrent, may open new paradigms in object-oriented computing. The workshop is organized to provide a forum on concurrent, distributed, and open-ended computing. We put some emphasis on conceptual, theoretical, or formal aspects, as well as practical requirements and sound experiences, since we deem that such a viewpoint is indispensable at this stage to investigate some common agreed-upon theoretical bases for further development. The workshop will comprise lectures by invited speakers, workshop presentations, and panels. Presentations will be made by those whose papers are accepted, with which we plan to compile the workshop proceedings. Possible subjects for submissions include but are not limited to: Formal aspects: general semantic frameworks, formal specification/verification methodologies, type theories, compositionality issues in open distributed systems, etc. Models: persistent objects, composite objects, objects in an open distributed environment, transaction, etc. Language issues: design and implementation of concurrent and distributed languages, reflection, inheritance, constraint, real-time, optimization, programming environments, etc. Practices: distributed AI and distributed cooperative problem solving, object-based operating systems, databases, architectural issues, etc. Time: Monday and Tuesday 9:00-17:30 How to apply: Those who would like to present a paper and/or participate in the workshop should submit an extended abstract to the address below to arrive there by May 10, 1991. Notification of acceptance for presentation and participation will be given by June 10, 1991. Contact: Mario Tokoro, Department of Computer Science, Keio University, 3-14-1 Hiyoshi, Yokohama 223 JAPAN. Tel: +81-45-563-1926 Fax: +81-45-563-1926 E-mail: mario@keio.ac.jp ------------------------------------------------------------------------------ Workshop W2: Dynamic Modelling of Organizations Organizers: Pieter W.G. Bots, Remko C.J. Dur (Delft University of Technology) Who should attend: Researchers and practitioners in the field of object-oriented modeling and simulation, and/or the field of (office) information systems and logistics. Topic: Last year's Dynamic Modelling conference in Noordwijkerhout, the Netherlands, left us with a number of challenging problems to which the object-oriented paradigm may or may not be applied with success. Specific questions are: - How can we model the dynamic behavior of an organization? - How can we use this model in re-organizations and other problem solving processes in that organization? - What kind of (animated) visualization techniques (if any) are effective as communication aids? - How do we validate dynamic models, and how do we make sure that their output is interpreted and used correctly? If you find that you may have an answer to any of these questions, or that you can contribute to research in this area by sharing experiences with object-oriented techniques and tools, you are invited to submit a position paper. Since there will be opportunity to demonstrate software tools, descriptions of such tools and their application to (real life) cases are also welcome. Time: Monday 9:00-17:30 How to apply: All contributions should arrive no later than May 3rd, 1991. If your contribution can be fit into the workshop programme, you will be notified by May 24th. All who show their interest will receive a preliminary programme by June 1st. Contact: Dynamic Modelling of Organizations Workshop P.W.G. Bots and R.C.J. Dur, Department of Information Systems, Delft University of Technology, P.O. Box 356, NL-2600 AJ Delft, the Netherlands ------------------------------------------------------------------------------ Workshop W3: Object-Oriented Formal Methods Organizer: John Hogg (Bell-Northern Research) Who should attend: Researchers and practitioners interested in the application of formal methods to object-oriented systems. Topic: Formal methods have the potential of increasing confidence in the correctness of system behaviour, aiding in the design of clean structures for systems, and allowing the construction of truly encapsulated components having completely-defined interfaces. Traditional formal methods that are now becoming accepted in industry are not always appropriate for object-oriented systems. This workshop will examine how old techniques can be adapted to the object-oriented world, and what new techniques can be applied. Reports of practical experience are especially encouraged. Other potential topics include (but are not necessarily limited to) OO formal models; OO proof systems and formal verification; OO specification languages; aliasing and its impact on formal techniques; adaptation of non-OO formal methods to OO models; iterative specification; specifications and inheritance; and extensions of type systems to specify behaviour. Time: Monday 9:00-17:30 How to apply: Send a short position paper to one of the addresses below by June 1. E-mail submission in LaTeX, TeX or troff format is preferred. Fax submission should be preceded by a phone call or e-mail. Contact: John S. Hogg, Mail stop QE 012, Bell-Northern Research Ltd., P.O. Box 3511, Station C, Ottawa, Ontario, CANADA K1Y 4H7. Tel: +1 (613) 763-7197 Fax: +1 (613) 763-5647 E-mail: hogg@bnr.ca ------------------------------------------------------------------------------ Workshop W4: Exception Handling and Object-oriented Programming Organizers: Christophe Dony (Rank Xerox France & LITP) Jan A. Purchase, Russel L. Winder (University College London) Who should attend: Exception handling system designers, implementors and users, people for whom reliability is crucial. Topic: The workshop will deal with all the issues related to exception handling within object-oriented languages: which systems are needed, how to implement them, what extra difficulties does object-orientation introduce? It will be an opportunity to compare the recent systems integrated into object-oriented languages (C++, Common-Lisp(Clos), Eiffel, Smalltalk, etc), and to discuss some other recent proposals on the subject. The workshop will allow anyone with opinions on designing, implementing or using exception handling systems, and the relevant experience, to discuss their point of view. All the following topics are relevant and could be discussed after presentations or during panels. - Proposals of new systems. - Comparisons of existing systems. - Handling policies. - Relationship between exception handling, software quality, modularity and reusability. - Failures, object consistency. - Implementation issues. - Reflection, using object-oriented programming to improve exception handling. - Formal specifications. - User experiences. - Connections between exception handling systems and debugging. - Exception handling within concurrent object-oriented languages. Time: Monday 9:00-17:30 How to apply: People interested in participating are invited to submit an extended abstract explaining their contribution to the field and the relevance of their work to one or more of the proposed topics. Invited and accepted papers will be presented at the workshop. Three copies of the extended abstract should be sent before May 15, 1991 to: Christophe Dony, Rank Xerox France & LITP, Universite Paris VI, 4 place Jussieu, 75005 Paris (France). Tel: (33)-1-44.27.70.30. E-mail: chd@rxf.ibp.fr. For any question, contact Christophe Dony or one of the other organizers: Russel Winder, Department of Computer Science, University College London, Gower Street, London WC1E 6BT, UK. Tel: +44 (0)71 380 7293 E-mail: R.Winder@cs.ucl.ac.uk Jan Purchase, Department of Computer Science, University College London, Gower Street, London WC1E 6BT, UK. Tel: +44 (0)71 387 7050 ext 3601 E-mail: J.Purchase@cs.ucl.ac.uk ------------------------------------------------------------------------------ Workshop W5: Types, Inheritance, and Assignments Organizers: Jens Palsberg, Michael Schwartzbach (Aarhus University) 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? Time: Tuesday 9:00-17:30 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. Contact: Jens Palsberg, Michael Schwartzbach, Department of Computer Science, Aarhus University, Ny Munkegade, DK-8000 Aarhus C, Denmark. Tel: +45 8612 7188. Fax: +45 8613 5725. E-mail: mis@daimi.aau.dk ------------------------------------------------------------------------------ Workshop W6: Object Management Architecture and Models -- The OMG Standards Process Organizer: Dr. Richard Mark Soley (Vice President and Technical Director, Object Management Group, Inc.) Who should attend: Anyone interested in the standards process of the Object Management Group and the architectures and models being developed within the OMG. Topic: The Object Management Group (OMG) is an international software industry consortium planning standards in the area of application integration (distributed processing) across heterogeneous, networked, mixed-vendor platforms. OMG's members include about 120 companies including Philips, AT&T, Canon, Olivetti, Microsoft, Hewlett-Packard, Hitachi, ICL, Siemens Nixdorf, Unify, Unisys, Sun Microsystems and others. OMG's standards are based on commercially available software. In undertaking this standards task, the OMG has defined a reference Object Management Architecture as well as a single Object Model to unify the standard. Participants in the workshop will be asked to critically comment on that architecture and model, comparing to other existing models, in order to lead to useful discussion about OMG's direction and applicability to software applications. Participants will receive copies of current OMG architectural documentation as soon as they apply to the workshop coordinator. Time: Tuesday 9:00-17:30 How to apply: Communicate by e-mail, telephone or fax with Dr. Soley. There will be no charge to take part in the workshop, aside from ECOOP attendance. Contact: Dr. Richard Mark Soley, Object Management Group, Inc., 492 Old Connecticut Path, Framingham, MA 01701-4568, U.S.A. Tel: +1-508-820 4300 Fax: +1-508-820 4303 E-mail: soley@omg.org ------------------------------------------------------------------------------ Workshop W7: PhD Research in Object-Oriented Systems Organizers: Chris Laffra (SERC), Guus Ramackers (University of Leiden) Who should attend: Doctoral students from European universities with a research topic related to Object-Oriented Systems. Topic: This one-day workshop is intended to enhance the personal and professional development of PhD-level students who are working in the area of object-oriented systems. It will enable them to meet, to discuss their research, and to develop their working skills. It will also mark the creation of a European network for all OO research students. The workshop functions (annually) as an interactive platform for the network. Although this first workshop is aimed at European doctoral students, a number of positions at the workshop are available for non-Europeans. All attendees of the workshop are asked to send a one-page abstract of their dissertation research. These abstracts will be bundled and distributed, preferably before the workshop takes place. If the number of responses exceeds 30 - 35, then a selection based on geographic distribution and topic will be made. In order to involve the people who cannot come, we will distribute notes of the workshop. The workshop will have an interactive form, where the participants work in groups. The morning programme consists of two general discussions about (i) the process of obtaining a PhD in Europe and (ii) the process of writing `good' articles. For both sessions, a `senior facilitator' will be present. The afternoon programme consists of technical discussions in various sub-groups. These groups will produce lists of key-issues and questions in the different areas of OOS. This is followed by time for reflection, planning and feedback. Time: Tuesday 9:00-17:30 How to apply: Send a 1-page abstract stating your research topic (most preferably) via e-mail, before May 1, to: Chris Laffra, SERC, PO Box 424, 3500 AK Utrecht, The Netherlands. Tel: +31-30-322640 (work) +31-20-6418040 (home) E-mail: laffra@serc.nl ------------------------------------------------------------------------------ General Information Location: ECOOP 91 will be held at the University of Geneva, within short walking distance of hotels in the city centre. The conference, tutorials and workshops will be held at Uni II, rue G\'en\'eral Dufour 24. Weather: It is generally warm and sunny in Geneva in July. The rainy season is usually over by the middle of June. Getting to Geneva: Geneva is well-served both by its international airport and by train. One can get from the airport to the city by bus (#10), train, or taxi. As the conference is centrally located and it can be quite difficult to park in Geneva, it is not advisable to rent a car. Limited parking will be available during the conference for conference attendees. Ask for a parking card at the registration desk. Bus and tram tickets are good for one hour. Multi-ride cards are available from news stands (NB: cards must be stamped before boarding a public transit vehicle). Accommodation: Hotel bookings will be handled by the Office du Tourisme de Gen\`eve. A separate application form for hotel rooms must arrive no later than June 1. A limited number of inexpensive rooms (approx. 30 SF/night) in residence are available for full-time students only at the Cit\'e Universitaire on a first-come, first-served basis. Proof of student status must be provided. Meals and Events: The cafeteria at Uni II will be open for lunch during the conference. In addition, there is a wide variety of restaurants and cafes within walking distance of the conference, most of which offer a daily lunch special. Coffee will be provided during the breaks and a reception will be offered Wednesday evening. On Thursday evening a banquet will be held on the lake. Tickets for the banquet are available on a first-come, first-serve basis. BOFs: Rooms will be available during ECOOP for Birds-of-a-Feather sessions and other ad hoc meetings. For further information or additional registration forms please contact: Tel: +41 (22) 787.65.86 Fax: +41 (22) 735.39.05 E-mail: ecoop@cui.unige.ch ------------------------------------------------------------------------------ Sponsored by: The Centre Universitaire d'Informatique of the University of Geneva. Co-sponsoring Organizations: SI (Swiss Computer Society) GI (German Computer Society) OCG (Austrian Computer Society) AFCET (French Computer Society) Hewlett-Packard, SA IBM, Suisse Georg Heeg Smalltalk-80-Systems Organization: Conference Chair: Dennis Tsichritzis (Switzerland) Programme Chair: Pierre America (The Netherlands) Organizing Chair: Oscar Nierstrasz (Switzerland) North American Coordinator: Karl Lieberherr (USA) Tutorial Organization: CHOOSE (Swiss Group for OO Systems and Environments) Programme Committee: Pierre America Philips, The Netherlands Bruce Anderson U. Essex, United Kingdom Fran\,cois Bancilhon Alta\"ir, France Jean B\'ezivin U. de Nantes, France Luca Cardelli DEC SRC, USA Jo\"elle Coutaz LGI/IMAG, France Brad Cox Stepstone, USA Simon Gibbs U. Geneva, Switzerland Joseph Goguen Oxford U., England Theo H\"arder U. Kaiserslautern, Germany Chris Horn Trinity College, Ireland Gerti Kappel U. Vienna, Austria Ole Lehrmann Madsen Aarhus U., Denmark Boris Magnusson Lund U., Sweden Lu\'is Monteiro U. Nova de Lisboa, Portugal Barbara Pernici Politecnico di Milano, Italy Markku Sakkinen U. Jyv\"askyl\"a, Finland Dave Thomas Carleton U., Canada Mario Tokoro Keio U., Japan Stanley Zdonik Brown U., USA ------------------------------------------------------------------------------ Registration Form Mail to: Liliane No\"el Centre Universitaire d'Informatique 12 rue du Lac, CH-1207 Geneva, SWITZERLAND E-mail: ecoop@cui.unige.ch Fax: +41 (22) 735.39.05 Please use one form per person. Name:____________________________ First Name:___________________ Affiliation:____________________________________________________ Address:________________________________________________________ ________________________________________________________ ________________________________________________________ Phone (work/home):______________________________________________ Fax:____________________________________________________________ E-mail:_________________________________________________________ SI/GI/AFCET/OCG member #:_______________________________________ Full-time student: [ ] Student Accommodation Requested: [ ] (limited availability; full-time students only) [Please include a photocopy of a valid student card, or other proof of student status.] Prices are indicated in Swiss Francs. Early registration must be paid by June 1, 1991. Late registration must be paid by July 1, 1991. After July 1, registration will only be possible on-site. The reduced rates are available to members of SI, GI, AFCET, OCG and the University of Geneva. The student rate is available to full-time students only. ECOOP Conference Registration Early Late Regular 300 350 Reduced 240 280 Students 150 175 ____ Full-day Tutorials (T1/T2, T7) Early Late Regular 200 240 T1 [ ] or T2 [ ] ____ Reduced 160 200 T7 [ ] ____ Students 120 140 Half-day Tutorials (T3/T4, T5/T6) Early Late Regular 100 120 T3 [ ] or T4 [ ] ____ Reduced 80 100 T5 [ ] or T6 [ ] ____ Students 60 70 Note that the full-day tutorial T7 runs in parallel with the half-day tutorials. ECOOP reserves the right to cancel a tutorial. In the event of cancellation you will be given the option of attending another tutorial. Banquet, per person: 50 x ____ = ____ ``Vegetarian'' meal (fish) preferred: [ ] Grand total: ____ Payment: by cheque [ ]; by bank transfer [ ] Payment must be in Swiss Francs by cheque made out to "C.U.I." or by bank transfer to: The Union Bank of Switzerland (Geneva) No. 472.319.00 D University of Geneva Comptabilit\'e Uni II CUI account number 122 734 Please indicate the person for which payment is being made. For bank transfers you are requested to bring proof of payment with you to the conference. ------------------------------------------------------------------------------ Hotel Registration Form -- ECOOP 91 Please complete this form and send it back as soon as possible, but not later than June 1, 1991, to: Office du Tourisme de Gen\`eve Service Congr\`es-Logement Case postale 440 CH-1211 Gen\`eve 11 Switzerland Please use capital letters Name:___________________________________________________________ First Name:_____________________________________________________ Address:________________________________________________________ ________________________________________________________ ________________________________________________________ Date of Arrival:_______________________ Time:___________________ Date of Departure:_____________________ Time:___________________ Travel by: Plane [ ]; Car [ ]; Train [ ] Telephone:_________________ Telex:_____________________ Fax:_______________________ Special wishes:_________________________________________________ ________________________________________________________ Indicate the number of rooms and hotel category. Rates are indicated in Swiss francs. (Excepted where indicated, rooms are with bath.) Hotel category Single Room Double Room ***** 200-320 ___ 280-450 ___ **** 145-190 ___ 175-270 ___ *** 100-140 ___ 125-170 ___ ** 75-95 ___ 95-125 ___ ** (no bath) 55-70 ___ 75-95 ___ The Geneva Tourist Office will try to book the rooms in accordance with your wishes, but must reserve the right to make alternative arrangements if necessary (particularly regarding late requests). Date: _________________ Signature: ------------------------------------------------------------------------------