taylor@hplabsc.UUCP (03/20/87)
[sorry for the short notice - some mail problems (as always, alas) -- Dave]
The 1987 U. T. Year of Programming
with the generous support of the
U.S. Office of Naval Research
announces
THE INSTITUTE OF ENCAPSULATION, MODULARIZATION, AND REUSABILITY
Scientific Director: David Gries
Austin, Texas 1 April - 10 April 1987
The Institute of Encapsulation, Modularization, and Reusability is intended
to advance the state of the art in the structuring of programs and their
specifications. For the first twenty years of programming, the basic
structuring mechanism was the procedure. More recently, newer ideas of
programming methodology have given rise to other structuring mechanisms;
typically called classes, modules, or packages, these mechanisms deal more
comprehensively with data, operations on data, and data representation. The
major aims of these newer structuring methods are to provide more effective
control over the understanding, construction, and modification of programs,
and to allow for more reusability of `off-the-shelf' program parts. The
Institute will explore these mechanisms and the reasons behind their
development. In particular, the Institute will
0. Provide a broad historical perspective on the problems of structuring
programs, and outline early developments (such as Simula);
1. Describe current solutions, including those in Modula 2, Ada, and such
object-oriented languages as Smalltalk, and introduce notions of
data representations' correctness;
2. Discuss various theories of `type' and `inheritance' and their
influence on programming language design;
3. Review research currently underway in encapsulation and modularization,
including the modularization of specifications and proofs as well as of
programs.
The Institute is made up of three parts; applications are invited for either
or both of the first two.
0. Wednesday-Saturday 1-4 April. Tutorial.
A historical perspective, discussing early ideas on modules or classes and
their proofs of correctness; modular programming in Modula 2 and Ada;
encapsulation in object-oriented languages; and a tutorial on a theory of
types, data abstraction, and polymorphism.
Instructors: L. Cardelli (DEC), D. Gries (Cornell), R. Gutknecht (E.T.H.,
Zurich), C.A.R.Hoare (Oxford and Texas), A. Snyder (Hewlett Packard).
1. Monday-Wednesday 6-8 April. Research Seminar.
The seminar will include talks on VDM's notion of data type and data
refinement, modules in ML, the specification language LARCH, and
other concepts of encapsulation and data refinement. Some of the material
will be more theoretically oriented than that presented in Part 0, but all
the research presented aims to make practical programming more
effective.
Speakers include L.Cardelli, D. Gries, J. Guttag (M.I.T.), C.A.R.Hoare,
He JiFeng (Oxford), C. Jones (Manchester), J. Mitchell (AT&T), A. Snyder.
2. Thursday-Friday 9-10 April. Workshop.
The aim of the workshop is to discuss the structure of the discipline and
the most promising directions for application and for future research.
Attendance is by invitation only.
Prerequisites
ReSent-Date: 19 Mar 1987 02:29:07 EST
ReSent-From: Arpanet-BBoards-Request@MC.LCS.MIT.EDU
The typical applicant should have a degree in a technical discipline, such
as mathematics or computing science, and at least two years of experience
in programming.
Application Forms
An application form is available, listing fees and expenses for the
institute. Requests for application forms (specifically labelled "EMR Inst",
please) should be sent to the address given below.
Admission
Places in the Institute's tutorial and research seminar are necessarily
limited in number. Should the applicants outnumber the places, they will
be admitted on the basis of their qualifications as described in their
answers to a questionnaire which is included in the application form. The
purposes of the questionnaire are to enable the Year of Programming staff to
select those applicants who will derive the greatest benefits from the
Institute and who will be the most likely to disseminate the benefits further,
and to enable the speakers to adapt their presentations to their audience.
Selection and Notification
The selection process will begin on 6 March, and the YoP Office will
consider, in the order of their arrival, all applications that it has
received by that date. Applicants will be notified as soon as they have
been accepted either for immediate admission or for the waiting list.
Applications received after 6 March will be considered to the extent
that places remain open. The selection process will continue until all
places have been filled, and a waiting list will be maintained for all
qualified applicants who are not admitted immediately.
The Year of Programming
The Institute on Encapsulation, Modularization, and Reusability is the
second in a series of Programming Institutes comprising the 1987 U. T. Year
of Programming, which is underwritten principally by the U.S. Office of
Naval Research, with supplementary funding from the University of Texas,
Lockheed Missiles and Space Company, and other sponsors. Other Institutes
now being organized include:
Concurrent Programming (23 February -- 6 March)
C.A.R. Hoare (Texas and Oxford)
Foundations of Functional Programming (1-12 June)
G. Huet (INRIA)
Formal Specification and Verification of Hardware (29 June -- 3 July)
M.J.C. Gordon (Cambridge)
Declarative Programming (26 August -- 2 September)
D.A. Turner (Kent)
Specification and Design (14-25 September)
J.R. Abrial (Paris)
Formal Development of Programs and Proofs (autumn)
E.W. Dijkstra (Texas)
FURTHER INFORMATION
To receive mailings of announcements of individual Programming Institutes
and application forms for courses, seminars, and lecture series, please
contact the Year of Programming Office at one of the following addresses:
U. T. Year of Programming INTERNET: cs.ham@R20.UTEXAS.EDU
Department of Computer Sciences INTERNET: ham@SALLY.UTEXAS.EDU
Taylor Hall 2.124
The University of Texas at Austin telephone: 512-471-9526
Austin, Texas 78712-1188