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.