AGM and election of officers for 2003-4 followed by The Verifying Compiler: a Grand Challenge for Computing Research

Advanced Programming Specialist Group event

Date/Time:
Thursday 1 May 2003, 6.00pm

Venue:
Sun Microsystems office, Regis House, 45 King William Street, London EC4. The nearest underground stations are Cannon Street, Bank and Monument.

Speaker:
Tony Hoare, Microsoft Research and Oxford University.

Summary:
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the professional interest of scientists and engineers.

As an example drawn from Computer Science, I revive an old challenge: the construction and application of a verifying compiler, one that guarantees specified aspects of the correctness of its source program at compile time, even before running it.

Admission:
Free, but for security purposes, please send your name to the Vice-Chairman, Dr Frank Martin, at f_martin@lgu.ac.uk. Notification is needed separately for each meeting.

CPD Value:
Half unit