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:

• Oberwolfach workshop on Mathematical Logic: Proof Theory, Constructive Mathematics.
• Categories, Logic and Foundations of Physics
• European Congress of Mathematicians
• Mathematics:Algorihtms and Proofs
• CCA2008
• Logic in Geometry and Quantum Theory
• Advances in Constructive Topology and Logical Foundations