at the University of New South Wales
Monday 24 September
Tuesday 25 September
Schedule
Monday 24 September 1990
0900 gather 0915 outline/intros 0945 David Carrington "Graph problem" 1015 Ian Hayes "Bias in VDM" 1045 tea/coffee 1115 Brendan Mahoney "" 1145 Lindsay Groves & Ray Nickson "Design of a program refinement tool" 1230 lunch 1400 Nigel Ward "A refinement of the n-queens problem" 1430 Trevor Vickers "Procedures and invariants" 1500 Lucy Chubb "" 1530 tea/coffee 1600 Adam Radford "A transformation system for miranda" 1630 Demonstrations: . Peter Lindsay - mural prototype . David Carrington - refinement editor . Trevor Vickers - refinement editor 1730 close 1900 dinner
Tuesday 25 September 1990
0900 gather 0915 Mark Utting "Towards an object-oriented refinement calculus" 1000 Roger Duke "The ecology of class refinement" 1045 tea/coffee 1115 Discussion "The role of refinement tools" 1230 Lunch 1400 Ken Robinson & Peter Lindsay "" 1430 Arcot Sowmya "" 1500 Ian Hayes "Multi-sets" 1530 tea/coffee 1545 Discussion "The role of refinement workshops" (do we want to meet again?) 1630 farewell 1645 close
Participants
David Carrington davec@uqcspe.oz.au University of Queensland St Lucia 4067 Lucy Chubb lucyc@softway.sw.oz.au University of New South Wales Kensington 2033 Graham Dumpleton @otc.otca.oz.au OTC GPO Box 7000 Sydney 2001 Roger Duke rduke@uqcspe.oz.au University of Queensland St Lucia 4067 Paul Farrow ph (07) 875 5047 Griffith University Lindsay Groves lindsay@comp.vuw.ac.nz Victoria University of Wellington Wellington New Zealand Ian Hayes ianh@uqcspe.oz.au University of Queensland St Lucia 4067 Peter Lindsay peter@spectrum.cs.unsw.oz.au University of New South Wales Kensington 2033 Brendan Mahoney brendan@uqcspe.oz.au University of Queensland St Lucia 4067 Ray Nickson nickson@comp.vuw.ac.nz Victoria University of Wellington Wellington New Zealand John Potter potter@ultima.socs.uts.edu.au University of Technology, Sydney Adam Radford adam@spinifex.cs.unsw.oz.au University of New South Wales Kensington 2033 Ken Robinson kenr@spectrum.eecs.unsw.oz.au University of New South Wales Kensington 2033 Karen Rosenberg karenr@otc.otca.oz.au OTC GPO Box 7000 Sydney 2001 Martin Schwenke martins@syacus.acus.oz.au Australian Center for Unisys Software Arcot Sowmya sowmya@spectrum.cs.unsw.oz.au University of New South Wales Kensington 2033 Mark Utting marku@spectrum.eecs.unsw.oz.au University of New South Wales Kensington 2033 Trevor Vickers trev@anucsd.oz.au Australian National University Canberra 2601 Nigel Ward nigel@uqcspe.cs.uq.oz.au University of Queensland St Lucia 4067
|
Please send comments and suggestions on this page to
Trevor.Vickers@cs.anu.edu.au
Last updated: 18 April 1996 http://arw.org.au/arw1990/ |
|