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)