Last ProCoS Workshop and
3rd ProCoS Working Group Meeting

21-23 August 1995
Hotel Marina
Vedbæk, Denmark

PROGRAMME

MONDAY 21 August

9.00 - 9.15             Welcome to the meeting

9.15 - 10.00            Job Zwiers:
                        Data refinement and CSP

10.00 - 10.30           - Refreshments

10.30 - 11.00           Zhou Chaochen:
                        Infinite Duratin Calculus

11.00 - 12.00           Ben Moszkowski:
                        Embedding Imperative Constructs in Interval
                           Temporal Logic

12.00 - 13.30           - Lunch

13.30 - 14.30           Ernst-Rüdger Olderog:
                        Generalized Railroad Crossing

14.30 - 15.00           Markus Müller-Olm:
                        Modular Codegenerator Verification

15.00 - 16.00           - Refreshments (and time for a swim)

16.00 - 16.30           Stephan Schmitt/Jens Otten:
                        Integrating a Connection Based Proof Method into
                           an Interactive Program Development System

16.30 - 17.00           Burghard von Karger:
                        Linking linear temporal logic and sequential algebra

18.30                   - Dinner


TUESDAY 22 August

9.00 - 9.30             Ulrich Hannemann:
                        Modular Completeness: Combining top-down with
                           bottom-up reasoning

9.30 - 10.00            He Jifeng:
                        Design and Verification of a Coherent Cashed Memory

10.00 - 10.30           - Refreshments

10.30 - 11.00           Thomas Lindner:
                        Formalisms for construction of reactive software

11.00 - 11.30           Wil Janssen:
                        Many roads lead to paralleism - different derivation
                           styles for a class of protocols

11.30 - 12.00           Jan Peleska:
                        Trustworthy Automated Tests for Reactive Real-Time
                           Systems

12.00                   Photo session before lunch

12.00 - 13.30           - Lunch

13.30 - 14.00           Rachel Cardell-Oliver:
                        Linking Notations and Theories in a Proof Tool

14.00 - 14.30           Ole-Johan Dahl:
                        Relating a Simulation Model to an Applicative
                           Specification

14.30 - 15.00           WORKING GROUP MEETING

15.00 - 16.00           - Refreshments

16.00 - 17.00           Jens Ulrik Skakkebæk:
                        DEMO of PC/DC System Theorem Proof Support

18.30                   - CONFERENCE DINNER


WEDNESDAY 23 August

9.00 - 9.30             Cheryl Dietz:
                        Graphical Requirements Formalization

9.30 - 10.00            Kirsten Mark Hansen:
                        From Safety Analysis to Formal Specification

10.00 - 10.30           - Refreshments

10.30 - 11.30           Egon Börger:
                        The Semantics of Behavioral VHDL'93 Description

11.30 - 12.00           Martin Fränzle:
                        VLSI Dynamics in Hybrid Control Applications

12.00                   - Lunch