Abstract: Formalising Mathematics - for mathematicians and by mathematicians.

Peter Aczel

I will discuss an idealised long-term vision of the future interactions between mathematicians and computer systems and the short-term steps that might be taken to make progress towards the vision.