ITEE Home » Arw » ARW1994

Print version

at the Australian National University
Tuesday 5 April
Wednesday 6 April

---

• Schedule of Presentations
• Participants
• Photograph (46K)

---

Schedule

Tuesday 5 April 1994

0915
	Gather and welcome

0955
	Ian Hayes
		The art of abstract programming

1040
	Martin Schwenke
		Specification and refinement of functional programs

1130
	Morning tea

1200
	Jim Grundy
		Window inferencing and predicative programming

1245
	Lunch

1430
	Ray Nickson
		Window inference for the refinement calculus

1515
	Afternoon tea

1600
	Budi Ling
		Introduction to category theory and its use in functional programming

1700
	Close

1900
	Workshop Dinner

Wednesday 6 April 1994

0915
	Lindsay Groves
		Language Recognition Algorithms

1000
	Ken Robinson
		A talk in search of a title

1045
	Morning tea
1115
	Jim Grundy
		Window Inference techniques for Back-style refinement

1200
	Brent Curtis
		UNITY: a refined presentation

1245
	Lunch
1430
	David Carrington
		Tools for Refinement

1515
	Afternoon tea

1530
	Discussion session

1630
	ARW1995

1700
	Close

---

Participants

David Carrington, UQ. davec@cs.uq.oz.au
Brent Curtis, Microsoft. t-brenc@microsoft.com
Martin de Groot, UNSW. martin.deGroot@serg.cse.unsw.edu.au
Lindsay Groves, VUW. lindsay@comp.vuw.ac.nz
Jim Grundy, DSTO. jug@itd.dsto.gov.au
Ian Hayes, UQ. ianh@cs.uq.oz.au
Peter Ho, UNSW. Peter.Ho@serg.cse.unsw.edu.au
Budi Halim Ling, UNSW. budi@cse.unsw.edu.au
Joe Morris, VUW (from Glasgow). jmm@comp.vuw.ac.nz [unable to attend]
Ray Nickson, UQ. nickson@cd.uq.oz.au
John Potter, Microsoft. johnpot@microsoft.com
Ken Robinson, UNSW. Ken.Robinson@serg.cse.unsw.edu.au
Martin Schwenke, ANU. Martin.Schwenke@cs.anu.edu.au
Mark Staples, UQ. markst@cs.uq.oz.au
Trevor Vickers, ANU. Trevor.Vickers@cs.anu.edu.au
Trudy Weibel, Telectronics. trudyw@tplrd.tpl.oz.au

---

Please send comments and suggestions on this page to Trevor.Vickers@cs.anu.edu.au Last updated: 18 April 1996 http://arw.org.au/arw1994/