Please note that the meeting below is intended primarily for ProCoS Working Group (and project) sites and affiliates. However, if anyone else on the procos-list mailing list would like to attend and/or make a relevant presentation, please contact me first with brief details. Thank you.

IMPORTANT DATE: 15 May 1995 - deadline for submission of presentations (see submission details and address below)
ProCoS

CALL FOR PRESENTATIONS AND PARTICIPATION
Last ProCoS Workshop and 3rd ProCoS Working Group Meeting

21-23 August 1995

Hotel Marina
Vedbæk Strandvej 391
DK - 2950 Vedbæk
Denmark


The workshop will focus on the following topic of

LINKING THEORIES

There are many theories which can assist in the reliable design of real-time embedded computer systems. Each theory has its own concepts, and notations; many provide methods of reasoning and calculation, and some are even supported by tools. And there are many schools of research, which hope or even claim that a single theory will be adequate to solve all the problems of reliable specifications, design and development in this application area.

However, many realistic designs of real-time embedded computer systems will critically depend on the combination of several theories. The ProCoS project is therefore devoted to exploring how different theories and notations, at varying levels of abstraction, should be used at differing stages in the development. This raises the additional risk of introducing errors when crossing the interfaces between the theories. Fortunately, this problem can be solved once-for-all by theoretical research, which can provide methods for making a reliable transition between one level of design and another, as well as reasoning safely within a single level. Theory can also permit reliable co-design, where parts of a complex system are implemented in differing technologies, for example hardware and software, or declarative and procedural programming languages.

This suggests linking theories as an important topic for future theoretical research. Researchers may wish to balance their commitment to propose, progress, or promote a single theory; rather they will be careful to establish links with neighbouring theories, at higher or lower levels of abstraction, or with alternative theories, that might be used in different parts of the same system. It is always the combination of technologies that causes the most serious engineering problems; and perhaps they will inspire the most interesting and useful theoretical research.

PRESENTATIONS

We call for technical presentations covering ongoing research within the topic of Linking Theories.

Acceptance of presentations will be based on submitted draft material or extended abstracts which will be refereed by the ProCoS site leaders.

NB! Authors are asked to bring copied material for hand-outs at the meeting.

VENUE

Vedbaek is a small residential area arisen around an old fishing village, which was built on a much older stone-age village, half way between Copenhagen and (Hamlet's) Elsinore, i.e. around 20 km north of Copenhagen.

The "Coast" train (Kystbanetoget) going north, destination Nivaa or Helsingoer (= Elsinore), leaves Copenhagen Central Station from platforms 3 and/or 4 every 20 minutes and stops at Vedbaek Station. From here you can either take a taxi (700 m) or walk to the hotel.

Hotel Marina is situated across the road from the marina and a small beach. It is a modern hotel with lots of facilities. Our football national team stay here before their home-ground matches - one of the reasons for this is among other things the excellent kitchen. Sweden can be seen just across the Sound.

Price: approx. 1,175 DKK per day (everything included).

We hope to see many participants for this last ProCoS meeting - and that August will be sunny and warm.

IMPORTANT DATES

15 May 1995 - deadline for submission of presentations*
12 June 1995 - notification of acceptance
24 July 1995 - deadline for registration
21-23 August 1995 - meeting

We expect participants to arrive on Sunday 20 August in the evening.

The ProCoS-WG meeting starts on Monday 21 August in the morning, and ends after lunch on Wednesday 23 August.

* Please send these to:
Disa la Cour
Department of Computer Science
Building 344
Technical University of Denmark
DK - 2800 Lyngby
Denmark

Original text by Hans Rischel and Disa la Cour, DTU. Formatted for WWW by Jonathan Bowen.

Note: There will be an internal ProCoS site leader meeting in the afternoon of Sunday 20 August.