Invited Speakers

• MKM
• Alan Bundy (University of Edinburgh, UK)
• Thierry Bouche (Universite de Grenoble I, France)
• Calculemus
• Annie Cuyt (Universiteit Antwerpen, Belgium) on an integrated environment for reliable numerical computation
• Thierry Coquand (Goteborg University, Sweeden), on type theory
• AISC
• Jochen Pfalzgraf (Universitat Salzburg, Austria)
• Steve Linton (University of St. Andrews, UK)