2002 Events Archives

Conferences, Lectures and Workshops

One Day Workshop On B
10 January
This workshop provided a forum for discussion and exchange of experiences about the role of B in the Computer Science Curriculum, and its relationship with other approaches to Software Engineering. The aim was to bring together academics who already use B in education, and those who are interested in finding out more about doing so.

Annual Departmental Lecture
11 March
Professor Tony Hey, Director of the e-Science Core Progamme
"e-Science, e-Business and the Grid"

NeuroCOLT Workshop
29 April - 2 May
Generalisation Bounds less than 0.5,

MINOS '02
6-7 April
The second annual conference, hosted by the Department of Computer Science, on micromouse design and the organisation of the National Micromouse Competition, also held at Royal Holloway (Saturday 1 June 2002).

Annual Postgrad Talks Day
13 June
Presentations by the postgraduate research students in the Department of Computer Science, Royal Holloway, University of London

Formal Aspects Of Security
18-20 December
To celebrate its 25th Anniversary, the BCS-FACS (British Computer Society - Formal Aspects of Computing) is organising several events over the next two years. The main aim is to highlight the use of formal methods, emphasize their relevance to modern computing, and promote their wider applications. This was the first such event, hosted by the Department of Computer Science, Royal Holloway, University of London.

Seminars

7 January
Gert Lanckriet, Department of Electrical Engineering and Computer Science, University of California, Berkeley, USA
CONVEX OPTIMIZATION IN MACHINE LEARNING

15 January
Dr Chris Williams, Institute for Adaptive and Neural Computation, Division of Informatics, University of Edinburgh
PREDICTION WITH GAUSSIAN PROCESSES: BASIC IDEAS AND NEW DIRECTIONS

5 February
Professor Peter Bramley, School of Biological Sciences, Royal Holloway, University of London
GM CROPS - WHY BOTHER AND WHAT CAN COMPUTER SCIENTISTS DO TO HELP?

19 February
Dr Ali Abdallah, Centre of Applied Formal Methods, School of Computing, Information Systems & Mathematics, South Bank University, London
VISUALIZATION AND ANIMATION OF COMMUNICATING SYSTEMS

26 February
Dr Herbert Wiklicky, Department of Computing, Imperial College, London
ON APPROXIMATE NON-INTERFERENCE: MEASURING THE HOLE IN THE BUCKET

5 March
Dr Steven Noble, Department of Mathematical Sciences, Brunel University
THE TUTTE POLYNOMIAL

23 April
Professor Cathie Martin, John Innes Centre, Norwich
UNDERSTANDING TRANSCRIPTIONAL CONTROL IN PLANTS USING FUNCTIONAL GENOMICS; WHERE ARE WE AND WHERE ARE WE GOING?

3 May
Gert Lanckriet, Department of Electrical Engineering and Computer Science, University of California, Berkeley, USA
LEARNING THE KERNEL MATRIX WITH SEMI-DEFINITE PROGRAMMING

7 May
Professor Vassili Kolokoltsov, Department of Computing and Mathematics, Nottingham Trent University
GAME-THEORETIC APPROACH TO THE PRICING OF OPTIONS DEPENDING ON SEVERAL COMMON STOCKS

14 May
Professor Iain A Stewart, Department of Mathematics and Computer Science, University of Leicester
FINITE MODEL THEORY, COMPLEXITY THEORY AND PROGRAM SCHEMES and THE MATHFIT INITIATIVE

21 May
Gerald Wilson, AMS, BAE Systems
THE EVOLUTION OF MAC OS X, with demonstration

22 May
Dr Christie Bolton, Programming Research Group, Oxford University Computing Laboratory
ON THE REFINEMENT OF STATE-BASED AND EVENT-BASED MODELS

29 May
Professor Hamid Bolouri, Division of Biology, California Institute of Technology, U.S.A. and (currently) Biocomputation Group, Science and Technology Research Centre, University of Hertfordshire
COMPUTATIONAL CHALLENGES IN SYSTEMS BIOLOGY

14 June
Professor Vladimir V'yugin, Institute for Information Transmission Problems of the Russian Academy of Sciences
HORIZONTAL GENE TRANSFER DETERMINATION USING PHYLOGENETIC DATA

12 July
Professor Leonid Levin, Computer Science Department, College of Arts and Sciences, Boston University, USA and Visiting Professor, Department of Computer Science, Royal Holloway, University of London
FORBIDDEN INFORMATION

16 July
Ernie Cohen, Microsoft Research, Cambridge
FIRST-ORDER VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS

20 September
Dr Riccardo Pucella, Department of Computer Science, Cornell University, USA
SECURITY PROTOCOL ANALYSIS AND ALGORITHMIC KNOWLEDGE

1 October
Professor Peter Gacs, Computer Science Department, Boston University, USA
UNIFORM RANDOMNESS TESTS

2 October
Professor Paul Vitanyi, CWI and Department of Computer Science, University of Amsterdam
ALGORITHMIC STATISTICS

3 October
Dr Kevin Gates, Department of Mathematics, University of Queensland, Australia
LINEAR INDEPENDENCE AND SUPPORT VECTOR MACHINES

18 October
Dr Steve Dunne, School of Computing and Mathematics, University of Teesside
REFLECTIONS ON HOARE AND HE'S UNIFYING THEORIES OF PROGRAMMING

29 October
Dr Joshua Guttman, MITRE Corporation
ANALYZING CRYPTOGRAPHIC PROTOCOLS

31 October
Dr James M Hogan, School of Software Engineering and Data Communications, Queensland University of Technology, Australia
COMPUTERS CAN FIND HAPPINESS: SUPPORT VECTOR MACHINE CLASSIFICATION OF FACIAL EXPRESSIONS

26 November
Dr Mike Poppleton, Declarative Systems and Software Engineering Research Group, Department of Electronics and Computer Science, University of Southampton
STRUCTURING RETRENCHMENTS IN B

3 December
Professor Paul Williams, Department of Operational Research, The London School of Economics
A SURVEY OF DIFFERENT INTEGER PROGRAMMING FORMULATIONS OF THE TRAVELLING SALESMAN PROBLEM

10 December
Dr Richard Banach, Department of Computer Science, University of Manchester
RETRENCHMENT: MOTIVATIONS AND PROSPECTS