| 9:00 - 10:00 | Registration |
| 10:00 - 11:00 | Invited Speaker: Oege De Moor Programming Transformations (abstract) |
| 11:00 - 11:30 | Coffee |
| 11:30 - 12:00 | Doug Goldson Multiprogram Design in the theory of Owicki and Gries |
| 12:00 - 12:30 | Claus Pahl Observation and Abstract Behaviour in Specification and Implementation of State-based Systems |
| 12:30 - 1:00 | Steve Dunne Recasting Hoare and He's Unifying Theory of Programs in the Context of General Correctness |
| 1:00 - 2:30 | Lunch |
| 2:30 - 3:00 | B. Aziz, G. W. Hamilton A Denotational Semantics for the Pi-Calculus |
| 3:00 - 3:30 | Pascal Hitzler, Anthony Karel Seda Irish VDM Meets LCF |
| 3:30 - 4:00 | Coffee |
| 4:00 - 4:30 | Marcelin Au. Fortes da Cruz Building Systems as Transformers |
| 4:30 - 5:00 | Richard Hayes An Investigation of the Use of Unique Arrays and Lists in Clean |
| 8:00 - 11:00 | Dinner |
| 10:00 - 11:00 | Invited Speaker: Joe Morris An easy route from functional to imperative programming |
| 11:00 - 11:30 | Coffee |
| 11:30 - 12:00 | N. Reid, P Kilpatrick, M. Clint Towards a Semantics For Multidimensional Array Assignment in Fortran 95 |
| 12:00 - 12:30 | Bing Wu, D.R.W. Holton, Luming Lai An Integrated Refinement Calculus For Z |
| 12:30 - 1:00 | Jim Woodcock, Ana Cavalcanti A concurrent language for refinement |
| 1:00 - 2:30 | Lunch |
| 2:30 - 4:00 | Andrew Butterfield, Micheal Mac An Airchinnigh Tutorial: Topos Logic for Formal Methods |
| 4:00 - 4:30 | Coffee |
| 4:30 - 5:00 | Plenary session |
This page last Modified: "20010531:1102 IST"