International Summer School Marktoberdorf (Germany)


Calculational System Design

from July 28 to August 9, 1998

An Advanced Study Institute of the NATO Science Committee
and the Institut für Informatik, Technische Universität München, Germany.

Directors: M. Broy, D. Gries, C. A. R. Hoare
Secretary: R. Steinbrüggen

The "Marktoberdorf Summer School" is a two weeks' course for young computer scientists and mathematicians working in the field of formal systems development. The course aims at the dissemination of advanced scientific knowledge and the promotion of international contacts among scientists.

Computer science has made considerable progress in making complex software and hardware systems more reliable. Recent encouraging trends are a strong integration of formal techniques with practical industrial development methods and more advanced support tools such as modeling, verification, and model-checking support systems. This active area of research has a relatively short term horizon with respect to transferring technology to industrial applications. The summer school is focusing on techniques and the scientific basis for calculation-based development of software and hardware systems as a foundation for advanced methods and tools for software and system engineering. This includes topics of specification, description, methodology, refinement, verification, and implementation.

The 1998 Summer School at Marktoberdorf, a small town 100 km southwest of Munich, will deliver a comprehensive spectrum of lectures on the major topics in the area. Limited funds from the NATO Science Committee and from other sources will be available.


Manfred Broy:	      Towards a Logical Basis for Systems Engineering

Patrick Cousot: Abstract Interpretation
Edsger W. Dijkstra: Proofs and Calculations
C. A. R. Hoare: Unifying Theories of Programming
Leslie Lamport: Concurrency
Jayadev Misra: A discipline of Multiprogramming
John C. Mitchell: Formal Methods and Computer Security
Bernhard Möller: Algebraic Structures for Program Calculation
Joseph Sifakis: Modeling Timed and Hybrid Systems
Douglas R. Smith: Mechanizing the Development of Software
Fabio Somenzi: Binary Decision Diagrams
Pamela Zave: Formal Methods for Specification and Verification of Telecommunications Services

Time Table

Here is the current version of the time table containing the lectures and all other events.

Deadline for Application: March 6, 1998.

Every person who is admitted to attend the Summer School as participant has to pay DM 1.120,- for the living expenses and DM 860,- for the participation fee. An invoice to the respective amount will be sent to all participants together with a letter of acceptance. Payment of the invoice is due in advance and must be remitted to our bank account by June 30, 1998 at the very latest.

Limited funds will be available. If a support for travel expenses is granted, the amount will be reimbursed to the participant during the Summer School at Marktoberdorf by a DM-cheque.

Applications without a Letter of Recommendation cannot be taken into consideration.

Use electronic application forms for attendance and grant.
Feel free to contact us via e-mail.

Postal address:
         	   M. Broy
         	   - Summer School -
         	   Institut für Informatik
         	   Technische Universität München
         	   80290 München