Bas Spitters

Research interests

• Constructive mathematics and Proof theory
• Computer mathematics (combining proving and computing in one integrated computer environment)
• Proof mining
• Logical and categorical foundations of quantum theory and quantum computation.
• the foundations of those (type theory, formal topology, topos theory...).

Slides of some of my talks

Upcoming and past events:

• Categories, Logic and Foundations of Physics (7 Jan)
• New Interactions between Analysis, Topology, and Computation. University of Birmingham, (7-9 Jan 2009)
• Mathematical Logic in the Netherlands (25, 26 May)
• Topology, Algebra, and Categories in Logic Amsterdam (7-11 July)
• Leeds Symposium on Proof Theory and Constructivism, 3-16 July.
• Computability and Complexity in Analysis (18-22 Aug)
• Incompleteness and completeness: Formalizing Logic and Analysis in Type Theory 6 Oct
• AMS special session on Constructive mathematics and Workshop(30 Oct-1 Nov)
• Mathematics:Algorihtms and Proofs (14-18 Dec)

2008

• Oberwolfach workshop on Mathematical Logic: Proof Theory, Constructive Mathematics(6-12 April 2008).
• European Congress of Mathematicians(14-18 July 2008)
• Mathematics:Algorihtms and Proofs(11-29 Aug 2008)
• CCA2008
• Logic in Geometry and Quantum Theory(3-5 September 2008)
• Advances in Constructive Topology and Logical Foundations(8-11 Oct 2008)
• DIAMANT meets GQT (30/10/2008).