Seminars in 1997

27 February 1997

Scott Milton, "More about Java. The Issues. The Advantages. The Hype".

10 March 1997

Steve Ball, "ATLES: the Automated Tutorial and Laboratory Enrolment System".

13 March 1997

Emeritus Professor J Alan Robinson, (Syracuse University, Syracuse, New York), "Formal and Informal Proof".

9 April 1997

Rod Byrne, (Department of Computer Science, Memorial University of Newfoundland), "Creating Web Pages with Executable Program Samples".

2 June 1997

Dr Roger Clarke, "Electronic Publishing: A Specialised Form of Electronic Commerce ".

30 June 1997

Dr John Slaney, (Automated Reasoning Project, RSISE), "Phase Transitions in Optimisation Problems: Sense and Nonsense ".

2 July 1997

Dr Michael Bieber, (Institute of Integrated Systems Research, New Jersey Institute of Technology), "What Every IS Developer Should Know About Hypertext (on and off the World Wide Web) ".

10 July 1997

James K Tauber, (Publications Unit, University of Western Australia), "XML: A Standard for Structured Information on the Web".

14 July 1997

Dr Jeffrey Yu, "Selective Tuning Schemes for Nonuniform Data Broadcast".

23 July 1997

Richard Walker, "Scientific publishing today and in the future".

30 July 1997

Dr Brendan McKay, "In Search of Mathematical Miracles".

6 August 1997

Shaun Press, "The ANU Chess Festival and its effect on Computer Chess".

7 August 1997

Steve Blackburn, "Persistent Store Interface: A Foundation for efficient, scalable persistent system design".

13 August 1997

Dr Jim Grundy, "The Refinement Calculator: Proof Support for Program Refinement".

20 August 1997

Dr Brian Molinari, "On the difficulty of really teaching COMP1013".

3 September 1997

Dr Malcolm Newey, "Serves you right for surfing the net!".

17 September 1997

Associate Professor Tu Van Le, (School of Computing, University of Canberra), "Fuzzy Evolutionary Programming For Image Processing".

24 September 1997

Dr Paul Thistlewaite, "Computer-aided Adaptive Teaching".

1 October 1997

Dr Ramesh Sankaranarayana, "Some complexity results for well-covered graphs".

15 October 1997

Terry Wardle, (Motorola Australia Software Centre), "Implementing a high maturity software development process".

22 October 1997

Dr Peter Strazdins, "Reducing Software Overheads in Parallel Linear Algebra Libraries".

19 November 1997

Dr Roger Clarke, "Privacy and Internet Consumerism".

26 November 1997

Dr Frederic Andres, (Visiting Researcher, NACSIS, Japan), "The Active Hypermedia Delivery System (AHYDS)".

11 December 1997

Dr Ian Hayes , (Department of Computer Science, University of Queensland), "Sizing Kiwifruit with a Real-time Refinement Calculus".