Seminars in 1995

15 March 1995: Peter Bailey, "A semantic basis of paraML".
31 March 1995: Hongxue Wang, "Object-Related Field - An Approach to general Problem Solving".
21 April 1995: Steve Ball, "My Summer Holiday".
24 April 1995: Dr Mark Furtney, (Cray Research), "Performance Issues on the Cray T3E".
2 May 1995: Professor Rod Burstall, (LFCS, Edinburgh), "Types and Type Theories".
11 May 1995: Dr Eric Horvitz, (Microsoft Research, Redmond), "Enhancing the Human-Computer Interface with Automated Inference Methods".
19 June 1995: David Hawking, "The Nuts & Bolts of Our Network".
21 June 1995: Professor Larry Snyder, (Computer Science and Engineering, University of Washington), "What is Experimental Computer Science?".
26 July 1995: Professor T.A. Marsland, (Computing Science Department, University of Alberta), "A Review of Parallel game-tree Search".
29 July 1995: Scott Milton, "Distributed Shared Memory Object Systems".
15 August 1995: Dr Hang Lau, (Bell-Northern Research), "Flexible Vocabulary Recognition of Speech in Telephone Applications".
15 August 1995: Dr Terry Bossomaier, "Biologically Inspired Parallel Computation".
16 August 1995: Professor Alfs Berztiss, (University of Pittsburgh) "Design Cliches for Software Safety", and "A Software Process Model for Business Re-Engineering".
16 August 1995: Dr Don Fraser, (Department of Electrical Engineering, ADFA, University of New South Wales), "High-Fidelity Image Warping, Astronomical Image Restoration, and Multiple Kohonen Self-Organising Maps".
18 August 1995: Stephen Fenwick "A Cost-Based Approach to Performance Analysis of Distributed Object Stores".
20 September 1995: Dr Sandeep Sen, (Dept of Computer Science and Engineering, Indian Institute of Technology, Delhi, India) "Randomized Techniques in Parallel Computational Geometry".
15 November 1995: Dr Ewing (Rusty) Lusk (Argonne National Laboratory, USA) "Programming Models for High-Performance Parallel Computing".
22 November 1995: Richard Walker "Future directions in typesetting".

Expositions and Elucidations in Computer Science, 1995

Convenor: Peter Bailey

This series of talks by DCS academics is aimed at building understanding among the audience of the topic being presented. The talks are expected to be informal in character with plenty of opportunity (indeed, expectation) that questions and discussion proceed throughout the hour. It is hoped that they will be something of a mixture between a tutorial, a seminar, and a chat in the tearoom; and that a transfer of learning and understanding has taken place, in several directions, by the end of the talk.

31 May 1995: Martin Schwenke, "Relations Specify Functions".
7 June 1995: Clive Boughton, "Metric matters".
14 June 1995: Trevor Vickers, "Formal methods".
28 June 1995: Malcolm Newey, "Set theory in HOL".
5 July 1995: Brendan McKay, "Small cubic graphs with high girth".
12 July 1995: Jeffrey Yu, "The Three Manifestos".
26 July 1995: David Wolfram, "Consistent Labelling Problems".
2 August 1995: Chris Johnson, "Herodical Thoughts".
9 August 1995: Brian Molinari, "Design Patterns".
23 August 1995: Robin Stanton, "ACSys update".
30 August 1995: Gavin Michael, "CCASH".
6 September 1995: Vicki Peterson, "Data Transfer Standards and Database Interoperability".

[an error occurred while processing this directive] Date last modified: Monday, 12 April 1999 at 12:05:33 EST