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

Advanced Programming Specialist Group event

Thursday 1 May 2003, 6.00pm

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

Tony Hoare, Microsoft Research and Oxford University.

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.

Free, but for security purposes, please send your name to the Vice-Chairman, Dr Frank Martin, at Notification is needed separately for each meeting.

CPD Value:
Half unit