9.00-    Session on Logic and Models
10.30

           Michael R. Hansen:
               Finite Divergence
     
           Ben Moszkowski:
               Some Very Compositional Temporal Properties

           Burghard von Karger:
               Observation Spaces

         BREAK

11.00-   Session on Duration Calculus
12.30    
           Cheryl Dietz:
               DC Specifications of Shared Registers

           Michael Schenke:
               From Duration Calculus to SL-Time Specifications

           Jens-Ulrik Skakkebæk:
               Mechanising Duration Calculus with PVS

         LUNCH

14.00-   Session on Compilation
15.30
           Marcus Müller-Olm:
              Towards computation time uncertainty shifts

           He Jifeng:
              Hardware compilation overview

           Zheng Jianping:
              Synchronous circuit realisations of programs

         BREAK

16.00-     ProCoS Overview presentation by
17.30
           C.A.R. Hoare, A.P. Ravn, Ernst-Rüdiger Olderog, and
           Martin Fränzle

8.30       Welcome by A.P. Ravn and J. Bowen

8.45-    Session:  Applications of Formal Methods
10.15      
           Jonathan Bowen:
               Safety Critical Systems, Formal Methods, and Standards

           Mauro Pezzè:
               Formality and heterogeneity for the development of 
               concurrent and real-time systems.

           Peter Lucas:
               Program Transformations in FL

         BREAK

10.45-     Short presentations by Working Group members 
12.35      and special guests

         LUNCH

14.00-   Session:  Case Studies
15.30
           Thomas Lindner:
               Production Cell

           Hermann Tjabben:
               Provably Correct Communication Networks
                 
           Kirsten Mark Hansen:
               Formalizing Railway Interlocking Systems 

         BREAK

16.00-     E.V. Sørensen
16.45          Correctness and Dependability 

16.45-     Short presentations by Working Group members 
17.35      and special guests

         WORKSHOP DINNER

9.00-    Session: Verification: Tools and support.
11.00
           Paul Curzon:
                 The Verified Compiler of Vista Programs

           Sergio Yovine:
                 KRONOS: a tool for verifying time systems

           Mads Dam:
                 Model Checking Mobile Processes

           Ahmed Bouajjani:
                 Verification of Duration Properties of Real-Time Systems

         BREAK

11.30-   WG-Administrative matters
12.00

12.00-     Egon Börger:     
12.30            A mathematical specification of the APE100 architecture

         LUNCH

14.00-   Session: Models of concurrency
15.30
           Job Zwiers:
                 Partial Order Design of Distributed Systems

           Michael Butler:
                 A CSP Approach to Action Systems

           Kaise Sera:
                 Action Systems with Synchronous Communication

         BREAK

16.00-     Burghard von Karger:
16.30            A new powerdomain

16.45    OPEN
17.15 

1.  Presentations are 30 minutes, including discussion.

2.  Please relate your talk to the ProCoS diagram found in the overview
    paper.

3.  Written material supporting the talk (an abstract, a summary, a
    report or a paper) is very welcome.
    Please send or e-mail a dvi or a postscript file before 12 January,
    then we will take care of copying.

1.  Please aim at a short presentation of at most 10 minutes (at most
    3-4 slides).

2.  Perhaps it would be useful to have a short written summary of the
    presentation (1-2 pages) with 1-3 selected references that give an
    overview of activities.

3.  Consider keeping history and administrative details of your
    organization at a minimum.
    We believe that the audience is mainly interested in finding partners
    for future collaboration. Perhaps the following outline would be
    useful (we are using ID, DTH, Lyngby as an example):

    BACKGROUND
    The Department has about 30 research staff members, about 15
    permanent, engaged in

    -  VLSI design technology (ESPRIT EUROCHIP)
    -  Hardware/Software co-design (ESPRIT COBRA)
    -  Real-Time Systems design (ProCoS)

    PLANS
    We will intensify work on co-design based on concrete cases, trying
    to merge "Duration Calculus" specifications with "Synchronized
    Transitions" designs.
    We will try to understand the interface between programming and
    control theory (Hybrid Systems). Especially robustness.

    A PET PROBLEM
    (Out of a selection).

    A tracking control system alternates between two modes:

       1)  drifting, where the system drifts freely within some
           thresholds,

       2)  controlled, where some conventional control law is used to
           bring it on the right track.

    What are the requirements and how could this be implemented?

Assist. Professor Henrik R. ANDERSEN
Dept. of Computer Science
Technical University of Denmark
DK-2800 Lyngby.
Denmark
Phone: +45 45 93 33 32, ext. 3725
Fax: +45 42 88 45 30
E-mail: hra@id.dth.dk


Professor, Dr. Wolfgang BIBEL
Technische Hochschule Darmstadt
Alexanderstraße 10
D-64283 Darmstadt
Germany
Phone: +49 6151 16 2100
Fax: +49 6151 16 5326
E-mail: bibel@intellektik.informatik.th-darmstadt.de


Mr. Maarten BOASSON
Hollandse Signaalapparaten BV
P. O. Box 42
NL-7550 GD Hengelo
The Netherlands
Phone: +31 7448 2129
Fax. +31 7448 4018
E-mail: boasson@hgl.signaal.nl


Mr. Jürgen BOHN
FB 10-Informatik
University of Oldenburg
Postfach 2503
D-Oldenburg
Germany
Phone: +49 441 798 3122
Fax: +49 441 798 2155
E-mail: Juergen.Bohn@Informatik.Uni-Oldenburg.de


Mr. Ahmed BOUAJJANI
VERIMAG
Miniparc ZIRST
Rue Lavoisier
F-38330 Montbonnot St Martin
France
Phone: +33 76 90 96 40
Fax: +33 76 41 36 20
E-mail: Ahmed.Bouajjani@imag.fr


Mr. Jonathan BOWEN
Programming Research Group
Oxford University Computing Laboratory
Wolfson Building
Parks Road
GB-Oxford OX1 3QD
England
Phone: +44 865 283 512
Fax: +44 865 273 839
E-mail: bowen@comlab.ox.ac.uk


Professor Michael BUTLER
Department of Computer Science
Åbo Akademi University
Lemminkainenkatu 14
SF-20520 Turku
Finland
Phone: +358 21 654829
Fax: +358 21 654732
E-mail: mbutler@abo.fi


Professor, Dr. Egon BÖRGER
Department of Informatics
University of Pisa
Cso Italia 40  (Please: NEVER use surface or air mail with Italy)
I-56 125 Pisa
Italy
Phone: +39 50 510 230
Fax: +39 50 510 226 (most reliable means of communication)
E-mail: boerger@di.unipi.it


Mr. Paul CURZON
Computer Laboratory
University of Cambridge
New Museums Site
Pembroke Street
GB-Cambridge CB2 3QG
England
Phone: +44 223 334688
Fax: +44 223 334678
E-mail: pc@cl.cam.ac.uk


Professor Ole-Johan DAHL
Department of Informatics
Universitetet i Oslo
P.O. Box 1080, Blindern
N-0316 Oslo
Norway
Phone: +47 22 85 24 48
Fax: +47 22 85 24 01
E-mail: olejohan@ifi.uio.no


Professor Mads DAM
SICS
Uppsala University
Box 1263
S-164 28 Kista
Sweden
Phone: +46 8 752 1549
Fax: +46 8 751 7230
E-mail: mfd@sics.se



Ms. Cheryl DIETZ
FB 10-Informatik
University of Oldenburg
Postfach 2503
D-26111 Oldenburg
Germany
Phone: +49 441 798 2376
Fax: +49 441 798 2155
E-mail: Cheryl.Dietz@informatik.uni-oldenburg.de


Mr. Bruno DUTERTRE
Department of Computer Science
Royal Holloway
University of London
GB-Egham TW20 0EX
Surrey
England
Phone: +44 784 443426
Fax: +44 784 443432
E-mail: bruno@dcs.rhbnc.ac.uk



Mr. Martin FRAuml;NZLE
Institute of Computer Science II
Kiel University
Preußerstraße 1-9
D-24105 Kiel
Germany
Phone: +49 431 5604 22
Fax: +49 431 566143
E-mail: mf@informatik.uni-kiel.d400.de


Dr. Wolfgang GOERIGK
Institute of Computer Science
Kiel University
Preußerstraße 1-9
D-24105 Kiel
Germany
Phone: +49 431 5604 24
Fax: + 49 431 5661 43
E-mail: wg@informatik.uni-kiel.de


Professor, Dr. Gerhard GOOS
Forschungszentrum Informatik
Haid-und-Neu-Straße 10-14
D-76131 Karlsruhe
Germany
Phone: +49 721 662266
Fax: +49 721 66229669
E-mail: goos@ira.uka.de


Ph.D. student Kirsten Mark HANSEN
Dept. of Computer Science AND Danish State Railways (DSB)
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: +45 45 93 33 32, ext. 3754
Fax: + 45 42 88 45 30
E-mail: kmh@id.dth.dk


Assoc. Professor Michael R. HANSEN
Department of Computer Science
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: +45 45 93 33 32, ext. 3750
Fax: + 45 42 88 45 30
E-mail: mrh@id.dth.dk


Professor HE Jifeng
Programming Research Group
Oxford University Computing Laboratory
Wolfson Building
Parks Road
GB-Oxford OX1 3QD
England
Phone: +44 865 283 513
Fax: +44 865 273 839
E-mail: jifeng@comlab.oxford.ac.uk


Professor, Dr. Friedrich von HENKE
Department of Informatics
University of Ulm
James-Franck-Ring
D-89069 Ulm
Germany
Phone: +49 731 502 4121
Fax: +49 731 502 4119
E-mail: vhenke@informatik.uni-ulm.de


Professor C.A.R. HOARE
Programming Research Group
Oxford University Computing Laboratory
Wolfson Building
Parks Road
GB-Oxford OX1 3QD
England
Phone: +44 865 273841
Fax: +44 865 273839
E-mail: carh@comlab.oxford.ac.uk


Dr. Jozef HOOMAN
Dept. of Math. and Computing Science
Eindhoven University of Technology
P. O. Box 513
NL-5600 MB Eindhoven
The Netherlands
Phone: +31 40 474283
Fax: +31 40 463992
E-mail: wsinjh@win.tue.nl


Dr. Burghard von KARGER
Institute of Computer Science II
Kiel University
Preußerstraße 1-9
D-24105 Kiel 1
Germany
Phone: +49 431 5604 27
Fax: +49 431 566143
E-mail: bvk@informatik.uni-kiel.d400.de


Mr. Trevor KING
PRAXIS
20 Manvers Street
GB-Bath BA1 1PX
England
Phone: +44 225 444700
Fax: +44 225 465205
E-mail: trevor@praxis.co.uk

Mr. Stephan KLEUKER
FB 10-Informatik
University of Oldenburg
Postfach 2503
D-26111 Oldenburg
Germany
Phone: +49 441 798 3124
Fax: +49 441 798 2155
E-mail: Stephan.Kleuker@Informatik.Uni-Oldenburg.de


Professor, Dr. Hans LANGMAACK
Institute of Computer Science II
Kiel University
Preußerstraße 1-9
D-24105 Kiel
Germany
Phone: +49 431 5604 28
Fax: +49 431 566143
E-mail: hl@informatik.uni-kiel.d400.de


Mr. Peter Gorm LARSEN
IFAD
Forskerparken 10
DK-5230 Odense M.
Denmark
Phone: +45 65 93 23 00
Fax: +45 65 93 29 99
E-mail: peter@ifad.dk


Mr. Thomas LINDNER
Forschungszentrum Informatik
Haid-und-Neu-Straße 10-14
D-76131 Karlsruhe
Germany
Phone: +49 721 9654 616
Fax: +49 721 9654 609
E-mail: lindner@fzi.de


Professor Peter LUCAS
Software Technology
University of Technology, Graz
Münzgrabenstraße 11
A-8010 Graz
Austria
Phone: +43 316 84 17 56 12
Fax: +43 316 84 17 56 6
E-mail: lucas@ist.tu-graz.ac.at


Assoc. Professor Hans Henrik LØVENGREEN
Dept. of Computer Science
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: +45 45 93 33 32, ext. 3746
Fax: +45 42 88 45 30
E-mail: hhl@id.dth.dk


Professor Jan MADEY
Institute of Informatics
Warsaw University
Banacha 2
02-097 Warsaw
Poland
Phone: +48 2 658 3165
Fax: +48 2 658 3164
E-mail: madey@mimuw.edu.pl


Dr. Ben MOSZKOWSKI
Department of Computing Science
University of Newcastle
GB-Newcastle upon Tyne NE1 7RU
England
Phone: +44 91 477 6565 (home)
Fax: +44 91 222 8232 (department)
E-mail: Ben.Moszkowski@ncl.ac.uk



Mr. Markus MÜLLER-OLM
Institute of Computer Science II
Kiel University
Preußerstraße 1-9
D-24105 Kiel
Germany
Phone: +49 431 560422
Fax: +49 431 566143
E-mail: mmo@informatik.uni-kiel.d400.de


Ph.D. Jens NORDAHL
Dept. of Computer Science
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: +45 45 93 33 32, ext. 5731
Fax: +45 42 88 45 30
E-mail: jno@id.dth.dk


Mr. Nicolas NORTH
National Physical Laboratory
Queens Road
GB-TW11 0LW Teddington
Middlesex
England
Phone: +44 81 943 6494
Fax: +44 81 977 7091
E-mail: ndn@seg.npl.co.uk


Professor, Dr. Ernst-Rüdiger OLDEROG
FB 10-Informatik
University of Oldenburg
Postfach 2503
D-26111 Oldenburg
Germany
Phone: +49 441 798 2439
Fax: +49 441 798 2155
E-mail: olderog@informatik.uni-oldenburg.de


Professor Mauro PEZZE
Dipartimento di Elettronica e Informazione
Politecnico di Milano
Piazza L. Da Vinci 32
I-20133 Milano
Italy
Phone: +39 2 2399 3523
Fax: +39 2 2399 3411
E-mail: pezze@ipmel2.elet.polimi.it


Dr. Axel POIGNE
GMD
Schloß Birlinghoven - Inst. I 5
D-53757 St. Augustin
Germany
Phone: +49 2241 14 2440
Fax: +49 2241 14 2035
E-mail: poigne@gmd.de



Mr. Thomas RATH
Technische Hochschule Darmstadt
Alexanderstraße 10
D-64283 Darmstadt
Germany
Phone: +49 6151 16 5386
Fax: +49 6151 16 5326
E-mail: thomas@intellektik.informatik.th-darmstadt.de


Assoc. Professor Anders P. RAVN
Dept. of Computer Science
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: +45 45 93 33 32, ext. 3747
Fax: +45 42 88 45 30
E-mail: apr@id.dth.dk


Assoc. Professor Hans RISCHEL
Dept. of Computer Science
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: +45 45 93 33 32, ext. 3745
Fax: +45 42 88 45 30
E-mail: hsr@id.dth.dk


Mr. Thomas ROTTKE
RWTÜV Anlagentechnik GmbH
Im Teelbruch 122
D-45219 Essen
Germany
Phone: +49 201 825 5114
Fax: +49 201 825 5131
E-mail:


Mr. Stephan RÖSSIG
FB10-Informatik
University of Oldenburg
Postfach 2503
D-26111 Oldenburg
Germany
Phone: +49 441 798 2973
Fax: +49 441 798 2155
E-mail: Stephan.Roessig@Informatik.Uni-Oldenburg.de


Dr. Michael SCHENKE
FB 10-Informatik
University of Oldenburg
Postfach 2503
D-26111 Oldenburg
Germany
Phone: +49 441 798 3133
Fax: +49 441 798 2155
E-mail: Michael.Schenke@informatik.uni-oldenburg.de


Mr. Emil SEKERINSKI
Forschungszentrum Informatik
Haid-und-Neu-Straße 10-14
D-76131 Karlsruhe
Germany
Phone: +49 721 9654 613
Fax: +49 721 9654 609
E-mail: sekerinski@fzi.de


Professor Kaisa SERE
Åbo Akademi University
Department of Computer Science
Lemminkaisenkatu 14 A
SF-20520 Turku
Finland
Phone: +358 21 65 45 37
Fax: +358 21 65 47 32
E-mail: ksere@abo.fi


Assist. Professor Peter SESTOFT
Dept. of Computer Science
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: +45 45 93 33 32, ext. 3749
Fax: +45 42 88 45 30
E-mail: sestoft@id.dth.dk


Ph.D. student Jens Ulrik SKAKKEBÆK
Dept. of Computer Science
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: +45 45 93 33 32, ext. 3754
Fax: +45 42 88 45 30
E-mail: jus@id.dth.dk


Professor Erling V. SØRENSEN
Dept. of Computer Science
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: +45 45 93 33 32, ext. 3740
Fax: +45 42 88 45 30
E-mail: evs@id.dth.dk


Mr. Alexey TIKHONOV
Department of Computer Science
Technical University of Denmark
DK-2800 Lyngby
Denmark
Phone: + 45 45 93 33 32, ext. 3751
Fax: +45 42 88 45 30
E-mail: at@id.dth.dk



Mr. Hermann TJABBEN
Philips Research Laboratories
Weißhausstraße 2
D-52066 Aachen
Germany
Phone: +49 241 6003 523
Fax: +49 241 6003 518
E-mail: tjabben@philfa.pfa.philips.de


Mr. Sergio YOVINE
VERIMAG
Miniparc ZIRST
Rue Lavoisier
F-38330 Montbonnot St Martin
France
Phone: +33 76 90 96 40
Fax: +33 76 41 36 20
E-mail: Sergio.Yovine@imag.fr



Mr. ZHENG JianPing
Programming Research Group
Oxford University Computing Laboratory
Wolfson Building
Parks Road
GB-Oxford OX1 3QD
England
Phone: +44 865 273870
Fax: + 44 865 273839
E-mail: zheng@prg.ox.ac.uk


Professor Job ZWIERS
Department of Computer Science/SETI
University of Twente
P.O. Box 217
NL-7500 AE Enschede
The Netherlands
Phone: +31 53 893699
Fax: +31 53 31 52 83
E-mail: zwiers@cs.utwente.nl