Today software undergoes a fast technological progress where not only the complexity of software systems is considerably increasing but also the computing infrastructure is dramatically changing. The internet serves as platform for globally distributed applications; objects we work with are more and more equipped with processors and embedded software; in the Grid approach computing power is shared among many distributed processors; physical devices are mobile, data can migrate, and applications come and go in a dynamically changing ad-hoc way. Thus computation becomes global in the sense that it is distributed over the net and highly dynamic, with the network often changing dynamically.

These developments lead to enormous engineering challenges for

1. constructing global computing systems with predictable and desirable behaviour and
2. ensuring reliability, safety, security, and availability of global computing systems.

Current engineering techniques such as object-orientation, modelling languages such as UML, and actual programming languages such as Java and CASE tools can only partly cope with these problems. These approaches support only partly the construction of global computing systems and have to be extended with new appropriate concepts for software architecture, coordination, distribution and mobility. Moreover, these pragmatic approaches lack scientific foundations for analysing and validating global computing systems. On the other hand, formal techniques such as process calculi, type systems and logics for specifying, analysing and validating global computing systems are only partially available and mostly not well connected with systematic development methods.

The aim of this seminar is to study foundational theories, calculi and techniques for global computing systems and to bring them together with methods for systematically developing global computing systems. The topics of the seminar include:

1. calculi, models, and semantic theories of concurrent, distributed, mobile global computing systems,
2. types and logics for security, safety, resource-control and availability of global computing systems,
3. systematic development techniques, modelling and programming languages for global computing.