Festschrift Symposium: Programme
Monday 24th September 2007
08.40
- 08.45
Mike Reed. Welcome
08.45
- 09.00
Mathai Joseph. A survey of the work of Dines Bjørner & Zhou Chaochen
09.00
- 09.30
Nikolaj
Bjørner. Models and Software Model Checking of a
Distributed File Replication System
09.30 -
10.00
Andrew Butterfield. A Denotational Semantics for Handel-C
10.00 -
10.30
Yinghua Chen,
Bican Xia, Lu Yang, Naijun Zhan.
Generating Polynomial Invariants with DISCOVERER and QEPCAD
10.30 - 11.00 Coffee Break
11.00
- 11.30 Daguang Liu, Peng Wu, Huimin Lin.
Symbolic Test Generation Using a Temporal Logic with Constrained Events
11.30 -
12.00
Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog,
Jun Pang, André Platzer, Marc Segelken, Boris Wirtz.
Automating Verification of Cooperation, Control, and Design in Traffic
Applications
12.00 -
12.30
Dang Van Hung. Specifying Various Time Models with Temporal
Propositional Variables in Duration Calculus
12.30 - 14.00 Lunch at the Golden Dragon Hotel
14.00 -
14.30
Asger Eir. Relating Domain Concepts Intensionally by Ordering
Connections
14.30 -
15.00 Elsa Estevez, Tomasz Janowski.
Programmable Messaging for Electronic Government - Building A
Foundation
15.00 -
15.30 John
Fitzgerald, Peter Gorm Larsen.
Balancing
Insight and Effort: the Industrial Uptake of Formal Methods
15.30 - 16.00 Tea Break
16.00
- 16.30 Leo
Freitas, Jim Woodcock.
Proving
theorems about JML classes
16.30 -
17.00
Chris George, Padmanabhan Krishnan, P.A.P. Salas and J.W. Sanders.
Specification for Testing
17.00 -
17.30
Michael R. Hansen, Jan Madsen, Aske Wiid Brekling. Semantics
and verification of a language for modelling hardware architectures
17.30 -
18.00
Natarajan Shankar.
Title to be announced
19.30 Dinner at the Tung Yee Heen Restaurant, Mandarin Oriental Hotel
Speakers: John Fitzgerald & He Jifeng.
Tuesday 25th September 2007
09.00
- 09.30
Anne Haxthausen, Jan Peleska.
A
Domain-oriented, Model-based Approach for Construction and Verification
of Railway Control Systems
09.30 -
10.00
He Jifeng. Compensable Programs
10.00 -
10.30
Cliff Jones, Ian Hayes, Michael A. Jackson. Deriving specifications for
systems that are connected to the physical world
10.30 - 11.00 Coffee Break
11.00
- 11.30
Mathai Joseph.
Engineering the Development of Embedded Systems
11.30 -
12.00
John Knudsen, Anders Ravn, Arne Skou. Design Verification
Patterns
12.00 -
12.30
Hans Langmaack. On Revival of Algol-Concepts in Modern
Programming and Specification Languages
12.30 - 14.00 Lunch at the Golden Dragon Hotel
14.00
- 14.30
Xiang Ling, Tom Maibaum, Nazareno Aguirre.
Design in
CommUnity with Extension Morphisms
14.30 -
15.00
Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz,
Lu Yang. Harnessing rCOS for Tool Support:: the CoCoME Experience
15.00 -
15.30
Xinxin Liu. Expansive-bisimulation for context-free
processes
15.30 - 16.00 Tea Break
16.00
- 16.30
Peter Mosses.
VDM Semantics of Programming Languages: Combinators and Monads
16.30 -
17.00
Martin Penicka. Formal Approach to Railway Applications
17.00 -
17.30
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter
Massuthe, Christian Stahl.
Services as a Paradigm of Computation
17.30 -
17.45
Mike Reed.
The legacy of Dines Bjørner & Zhou Chaochen