On 11.02.2010 at 12:20 in , there is the following noon lecture:
Constructive Algebraic Topology
Classical algebraic topology is *not* constructive: most often the existence results *do_not* exhibit an object satisfying the required properties. Making constructive Algebraic Topology curiously uses more elementary methods, often more powerful than the standard exact and spectral sequences. Concretely using these methods essentially needs Functional Programming. We propose a short survey of this problem and our solution.
Modified: 19. 10. 2010