The IPA Herfstdagen 2003 were dedicated to Compositional Programming Methods, one of four application areas chosen as a focus for IPA research in the period 2002-2006. The program presented an overview of research in the area of Compositional Programming Methods in and around IPA. It was composed by Mehmet Aksit (UT), Jan Bergstra (UvA), Marko van Eekelen (KUN), Ruurd Kuiper (TU/e), and Doatse Swierstra (UU).
(Description quoted from the application for extension of the accreditation by the Royal Dutch Academy of Sciences, 2001)
In the area of software engineering IPA aims at combining strenght in theory and in practice. The leading theme for both sides is compositionality: obtaining larger systems from smaller ones by means of well-understood composition rules.
This theme combines design, engineering, validation and verification issues. Working in reverse order: only compositional techniques allow the verification of large systems, and especially vital aspects of safety critical systems. IPA will proceed to aim for a leading position in the area of system validation and verification. All known techniques are being pursued, as combinations of techniques are often fruitful.
In software engineering (and more specifically software architecture) the role of software components is becoming a key issue; unfortunately a formal definition of what a component is or should be is not yet available. Obviously components have to be composed. Composing systems from components is still handicapped by the complex nature of existing component based software production environments. Both in terms of fundamental research and in terms of significant pilot applications progress will be pursued. Component models will be studied in the context of object oriented and functional languages and programming methods. Here is room for a wide variety of themes, e.g. separate compilation, component interface theory, security aspects of components, component based mobile software, component models for new programming paradigms and type systems for component based systems.
Compositional methods in design are unavoidable as designs are growing in complexity year by year. Compositional methods will be pursued both for the case of non-executable top level specifications and for the case of executable specifications.
11.30 - 12.30 Arrival and registration
12.30 - 13.30 Lunch
13.30 - 14.30 Mehmet Aksit (UT): The 7 C's for creating living software Presentation
14.30 - 15.00 Coffee and tea
15.00 - 15.45 Inge Bethke (UvA): Introduction to Program Algebra Abstract Presentation
15.45 - 16.30 Bob Diertens (UvA): Design of a toolset for Program Algebra Abstract
16.30 - 17.15 Ruurd Kuiper and Kees Huizing (TU/e): A proof system with class invariants Abstract Paper Presentation
17.15 - 18.00 Frank de Boer (CWI): Compositional proof methods for Java Abstract Paper Presentation
18.00 - ... Dinner
09.00 - 10.30 Mehmet Aksit (UT): Advanced software composition, obstacles and the composition filter approach Presentation
10.30 - 11.00 Coffee and tea
11.00 - 12.30 Mehmet Aksit (UT): Advanced software composition, obstacles and the composition filter approach (continued)
12.30 - 13.30 Lunch
13.30 - 19.00 Social event
19.00 - ... Dinner
09.00 - 09.45 Rinus Plasmeijer (KUN): An architecture for runtime composition of dynamically typed functional components Presentation
09.45 - 10.30 Arjen van Weelden (KUN): Composition of compiled code with a functional shell Abstract Paper Presentation
10.30 - 11.00 Coffee and tea
11.00 - 11.45 Johan Jeuring (UU): Generic programming and XML tools Abstract Paper Presentation
11.45 - 12.30 Frank Atanassow (UU): A Haskell XML data binding Abstract Presentation
12.30 - 13.30 Lunch
13.30 - 14.15 Frank Atanassow (UU): Using type isomorphisms to simplify XML programming Abstract Paper Presentation
14.15 - 15.00 Rinus Plasmeijer (KUN): Generic graphical user interfaces Abstract Paper Presentation
15.00 - 15.30 Coffee and tea
15.30 - 16.15 Duong Vu (UvA): Metric denotational semantics for BPPA Abstract
16.15 - 17.00 Alban Ponse (UvA): Execution architectures for Program Algebra Abstract Presentation
17.00 - 18.00 Drinks
18.00 - ... Dinner
09.30 - 10.30 Shmuel Katz (The Technion, Haifa): Aspect validation, connecting aspects and formal methods Abstract Presentation
10.30 - 11.00 Coffee and tea
11.00 - 11.45 Ruurd Kuiper and Kees Huizing (TU/e): Design patterns and proofs Abstract Paper
11.45 - 12.30 Maurice Glandrup (UT): Extending patterns with a crosscut specification Abstract Presentation
12.30 - 13.30 Lunch
13.30 - 14.15 Hans Jonkers (Philips Research): ISpec, a compositional approach to interface specification Paper 1 Paper 2 Presentation
14.15 - 15.00 Louis van Gool (TU/e): Formalisation of ISpec Abstract
15.00 - 15.30 Coffee and tea
15.30 - 16.15 Remco van Engelen (ASML): Industry as laboratory, researching of Ideals Abstract
16.15 - 17.00 Michel Chaudron (TU/e): Predictable assembly of extra-functional properties of component-based systems
17.00 - 17.45 Arie van Deursen (CWI): Aspect mining and refactoring Abstract
18.00 - ... Dinner
08.30 - 09.45 Arthur Baars and Doaitse Swierstra (UU): Attribute Grammars, can they be first class citizens?Abstract Presentation
09.45 - 10.30 Ralf Lämmel (CWI): Components for language-parametric program restructuring Abstract
10.30 - 11.00 Coffee and tea
11.00 - 11.45 Farhad Arbab (CWI): Reo, a coordination model for component composition Abstract Paper Presentation
11.45 - 12.30 Jan Rutten (CWI): Component connectors and circuits, a formal introduction Abstract Paper
12.30 - 13.30 Lunch and departure
| IPA Ph.D. students (shared room only!) | free | ||
| Speakers | free | ||
| IPA members |
| ||
| Associated members |
|
||
| Other participants |
|
Please note that Ph.D. students who are not in IPA will be charged as Associated members if they belong to a research school that is associated with IPA, and as an other participant otherwise.
To make maximal use of the available capacity, we process applications on the following basis: Registrations are treated "first come, first serve". All Ph.D. students (IPA and non-IPA) have to share a room. Others may also be asked to share if we run out of rooms.
Please remit the amount due, to our bank account with the ABN/AMRO. Account number: 60.27.60.690, in the name of A.M.H.G. Oversteegen e/o V.A.J. Borghuis, Den Dolech 2, 5600 AM Eindhoven. Please mention participation "IPA Herfstdagen 2003"
Coming from the north or south on the A50, at junction Beekbergen, follow direction Amersfoort/Amsterdam, you are on the A1, after 2 minutes take exit Apeldoorn Zuid (nr 20) (McDonalds, Esso).
Coming from the east or west on the A1, take exit Apeldoorn Zuid (nr 20) (McDonalds, Esso)
At the end of exit Apeldoorn Zuid, take a left and go left at the first traffic light near the Mercedes garage (coming from the west this is the second traffic light). On the first roundabout turn left, drive under the fly-over and take the first road to the right (Amerikaweg). At the end of this road you cross the Arnhemseweg and take the first road on your left (Engeland). The hotel is at the end of this road on the right side. To get to the parking space, you need to drive around the hotel.
You can also consult the planner on the hotel webpage Directions to Hotel De Zwaan, Beekbergen for solutions fitting your individual travel needs.