1997 Events Archives

Conferences, Lectures and Workshops

Annual Departmental Lecture and Dinner
3 April
Detective Inspector John Austen spoke on COMPUTER FRAUD CASE STUDIES, followed by a Reception and Dinner in the Picture Gallery, Founder's Building, attended by guests, staff, students and alumni of the Computer Science Department.

THE STORY OF THE COMPUTER - PROGRESS BY LEAPS AND BOUNDS
14 May
Professor Maurice Wilkes FRS, Emeritus Professor of Computer Technology, University of Cambridge, and Fellow of St John's College, Cambridge

The lecturer gave an account of the way the computer field began to develop in the period following the Second World War, drawing for this purpose on his own personal recollections. He went on to describe the major developments that have since taken place, including those developments of the last ten years which had the startling effect of destabilizing the older sections of the computer industry. He made some comments on the present technological outlook.

THE MANCHESTER UNIVERSITY BABY MACHINE (1948) AND THE FERRANTI MARK 1 MACHINE (1951)
29 October
Professor Frank Sumner, Professor of Computer Science, University of Manchester

The lecturer gave an account of the work at Manchester which culminated in the very successful Ferranti machines which led on to the Atlas, the supercomputer of its age.

Formal Methods Day
27 November 1997

The first of a series of one-day colloquia organised by the research groups in the Department, this was a very successful event attended by 60 delegates

Seminars

29 January
Dr Michael Butler, Dept of Electronics and Computer Science, University of Southampton:
THE REFINEMENT CALCULATOR: PROOF SUPPORT FOR PROGRAM REFINEMENT

19 February
Professor Derek Sleeman, Dept of Computing Science, University of Aberdeen:
CO-OPERATIVE KNOWLEDGE ACQUISITION & KNOWLEDGE REFINEMENT SYSTEMS

26 February
Professor John Shawe-Taylor, Dept of Computer Science, Royal Holloway, University of London:
DATA SENSITIVE ANALYSIS OF GENERALIZATION

6 March
Professor Bernard Cohen, Dept of Computer Science, City University:
WHO DO YOU SUE? - THE ORIGINS AND IMPACTS OF FEATURE INTERACTIONS

12 March
Dr Andrew Gordon, University of Cambridge, Computer Laboratory:
A CALCULUS FOR CRYPTOGRAPHIC PROTOCOLS: THE SPI CALCULUS

19 March
Dr John Derrick, Computing Laboratory, University of Kent at Canterbury:
WEAK REFINEMENT IN Z

9 April
Dr Alan Jeffrey, School of Cognitive and Computing Sciences, University of Sussex:
CATEGORICAL MODELS OF COMPUTATION AND CODE GENERATION

24 April
Dr Rina Dechter, Information and Computer Science, University of California, Irvine, U.S.A.:
BUCKET ELIMINATION: A UNIFYING FRAMEWORK FOR PROCESSING HARD AND SOFT CONSTRAINTS

20 May
Dr Richard Forsyth, Bristol Stylometry Research Unit, University of the West of England:
CHARACTERIZING CASSANDRA FOR THE CAMERA

4 June
Dr Stephen Anderson, Dept of Psychology, Royal Holloway, University of London:
MAGNETOENCEPHALOGRAPHIC (MEG) INVESTIGATION OF PARALLEL PROCESSING IN THE HUMAN VISUAL BRAIN

11 June
Dr Valeriu Beiu, Los Alamos National Laboratory, U.S.A.:
ON CONSTRUCTING SIZE- AND VLSI-OPTIMAL NEURAL NETWORKS

29 October
Professor Frank Sumner, Professor of Computer Science, University of Manchester
THE MANCHESTER UNIVERSITY BABY MACHINE (1948) AND THE FERRANTI MARK 1 MACHINE (1951)
The lecturer gave an account of the work at Manchester which culminated in the very successful Ferranti machines which led on to the Atlas, the supercomputer of its age.

5 November
Dr Manfred Opper, NCRG, Aston University, Birmingham:
WORST CASE PREDICTION OVER SEQUENCES UNDER LOG LOSS

17 November
Dr Bernhard Schoelkopf, GMD FIRST, Berlin:
SUPPORT VECTOR METHODS IN LEARNING AND FEATURE EXTRACTION

19 November
Dr Marco Ramoni, Knowledge Media Institute, The Open University
Dr Paola Sebastiani, Department of Actuarial Science and Statistics, City University:
DISCOVERING BAYESIAN NETWORKS IN INCOMPLETE DATABASES

10 December
Professor David Haussler, University of California at Santa Cruz
GENEFINDING AND PROTEIN STRUCTURE PREDICTION WITH HIDDEN MARKOV MODELS