## Maths and computer proof discussion day

We would like to invite you to apply to participate in a maths and computer proof discussion day. The goal of the event is to bring together a small number of leading mathematicians, and experts in computer proof, for a day of informal discussion, to consider the broad question of how present and future research efforts in computer proof can best serve mathematical advance. The idea is to think "big picture" thoughts about the future of mathematics, and the possible role of formal proof within it, rather than to discuss technical questions - expertise in computer proof is not required.

Participants so far include Dr Georges Gonthier of Microsoft Research, who has produced a formal proof of the four colour theorem, and is well advanced on a formal proof of the odd-order theorem; Dr John Harrison of Intel, who works on formalising mathematics needed to ensure correctness of hardware; and mathematicians Dr Tara Brendle (Glasgow), Sir Michael Atiyah (Edinburgh); Professor Andrew Ranicki (Edinburgh), and Professor Geoff Robinson (Aberdeen). The event is chaired by Professor Ursula Martin CBE (QMUL/Edinburgh).

The day will run from 10am - 5pm on 15th April, in the Informatics Forum, and lunch and refreshments will be provided. In the evening of 15th April you are invited to join members and visitors at a reception celebrating 25 years of Edinburgh's Laboratory for Foundations of Computer Science. Funding is being provided by SICSA.

The event is co-located with the Milner Symposium, celebrating the life and work of computer scientist and Turing Award winner Robin Milner.