Seminars in 1999

12 January.,

Dr Andrew Moran (Chalmerts Technical University, Sweden ) , "Improvement in a Lazy Context: An Operational Theory for Call-By-Need".

11 January,

Mr Phil Maker (Northern Territory University) , "GNU Nana: Design by Contract in C/C++".

27 January,

Prof J\'anos Pach (Mathematical Inst. Hungarian Academy and Courant Institute, New York University) , "Crossing mumbers of graphs".

24 Feb.,

Mr Karsten Konrad ( Dept. of Computer Sci., Univ. of the Saarland, Germany ), "Efficient Model Generation as Constraint Solving".

8 March,

Mr Hugh Fisher, computer systems administrator at ANU , "Writing your own compiler: from "I can do that" to "hello world"".

16 March,

Dr Tony Hosking, Purdue University , "High-performance orthogonal persistence: Realizing the dream".

16 March,

Dr Carla Brodley , Purdue University , "Applying Machine Learning in Practice".

17 March,

Mr Brian Corrie, ACSys and Dept of Computer Science ANU , "vGRID: An Infrastructure for Collaborative Virtual Environments".

17 March,

Dr Clem Baker-Finch, University of Canberra , " A proof of the existence of computer science: the Glasgow Haskell Compiler".

18 March,

Professor J Alan Robinson, Syracuse University, Syracuse, New York, "Formal and informal proof: the next challenge for computational logic".

24 March,

Dr Leone Dunn, Visiting Fellow at DCS, and Senior lecturer at School of Info. Tech. and Computer Science in Univ. of Wollongong , "An Architecture for the Monitoring and Control of Remote Distributed Gas Metal Arc Welding Sites".

20 May,

Prof Eliot Moss, Department of Computer Science University of Massachusetts at Amherst , "Age-Based Garbage Collection Algorithms".

10 June,

Dr Leone Dunn, Visiting Fellow at DCS, and Senior lecturer at School of Info. Tech. and Computer Science in Univ. of Wollongong , "Teaching Software Engineering Project Management: Lecturer and Student Perspectives".

30 June,

Dr Peter Strazdins at DCS in ANU , "Parallelizing Dense Symmetric Indefinite Solvers".

21 July,

Dr Steve Blackburn at DCS in ANU , "Inside Upside: An overview of the Upside research project" and "Scaling Upside: Scalable foundations for persistent object systems".

28 July,

Dr Alonso Marquez at DCS in ANU , "Transforming Upside: Technologies for semantically extending programming languages".

11 Aug.,

Mr John Zigman (Ph.D Student, DCS at ANU) , "Collecting Upside: Garbage Collection in Single Image Persistent Systems".

18 Aug.,

Drs David Hawking (Senior Research Scientist at CSIRO), and Peter Bailey (Research Fellow, DCS at ANU) , "More S[at]NITY Needed".

27 Aug.,

Dr Steve Barrass (CSIRO Maths and Information Sciences ) , "Functioning Sounds".

1 Sept.,

Mr Tom Worthington (Visiting Fellow in DCS at ANU) , "A Strong IT Industry for Defending Australia".

22 Sept.,

Dr Roger Clarke (Visiting Fellow in DCS at ANU) , "Electronic Trading in Copyright Objects".

23 Sept.,

Mr Rajehndra Nagappan (Ph.D Student in DCS at ANU), "Visualising Multidimensional Data Sets in Virtual Environments (mid-term review)".

10 Oct.,

Mr Shayne Flint (Ph.D Student in DCS at ANU) , "Controlling Change in Dynamically Complex Systems (mid-term review)".

27 Oct.,

Dr Weifa Liang (Dept. of Computer Science, ANU) , "Efficient Refreshment of Materialized Views With Multiple Sources".

1 Nov.,

Dr Marie-Christine Sawley (ETH, Switzerland) , "Swiss-Tx: the HPPC supercluster".

22 Nov.,

Dominique Colnet (LORIA, Nancy, France) , "SmallEiffel: The GNU Eiffel compiler".

26 Nov.,

Dr Jean-Marc Jezequel (IRISA, France) , "Introduction to Design Patterns (and Contracts)".