Talks.

• Algebra Seminar.
  Masaryk University, Brno, Czech Republic, March 24, 2011.
      Talk: Effective Moore-Postnikov Factorization.

• Leçons de Mathématiques d'Aujourd'hui.
  University of Bordeaux, March 03, 2011.
      Talk: Constructive Logic and Constructive Algebraic Topology.

• Constructive Methods in Homological Algebra, Implementations and Applications.
  CIRM, Luminy, France. January 24-27, 2011.
      Two talks around Discrete Vector Fields.

  • Basic Facts
  • Eilenberg-Zilber, Serre, Eilenberg-Moore

• Mathematics, Algorithms and Proofs, University of La Rioja, Logroño, Spain. November 8-12, 2010.
      Constructive Homology Classes and Constructive Triangulations.
  How constructive homology classes can produce triangulations of complex projective spaces, at least if you are lucky.

• Cirm-Luminy, Marseille, March 1-5, 2010.
      Meeting: Topological Methods For The Study Of Discrete Structures.
      Discrete Vector Fields and Basic Algebraic Topology.
  

• Department of Applied Mathematics, Prague, February 9-12, 2010.
      Constructive Postnikov Towers.

• Mathematisches Forschungsinstitut, Oberwolfach, November 9-13, 2009.
      Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra.
      Homological Algebra. Three talks:

  1. The Problem.
  2. Homological Perturbations.
  3. Using Fuzzy Modules.

• Universidad de La Rioja, Logroño, January 2009.
       The paradox of the exact couples.
       Toward a totally new organization for Effective Homology.

• Ictp-Map Conference, Trieste, August 2008.
       Effective Constructive Algebraic Topology.
       Kenzo-Demo 1:   Boundary maps in cellular homology.
       Kenzo-Demo 2:   Notion of Solution for the Homological Problem.
  

• Algebraic Topological Methods in Computer Science III, Paris, July 2008.
  Workshop on Computational Topology in Image Context, Futuroscope, Poitiers, June 2008.
  Premier Colloque Franco-Maghrébin de Calcul Formel, Kerkennah, Tunisie, May 2008.
       Constructive Algebraic Topology.
       Kenzo-Demo:   Computations in Effective Homology.

• Applicable Algebra and Computer Science.
  A meeting in Honor of Jacques Calmet.
  Logroño, February 28-29, 2008.
       Koszul Homology and Resolutions revisited through Effective Homology.
       Kenzo-Demo:   Illustration of the notion of effective resolution.

• Methods of proof theory in Mathematics, Bonn, June 2007.
        (Participation cancelled because of a unhappy small accident the week preceding the Conference)
       Constructive Algebraic Topology.
       Kenzo-Demo:   Postnikov tower.

• MAP Genova Summer School, Genova, August-September 2006.
       1. Homology Background.
       2. The Homological Problem.
       3. Koszul Complexes.
       4. Koszul Complexes (continued).
       5. Algebraic Topology Background.
       6. Constructive Spectral Sequences.
       Kenzo-Demo-1:   π₆(S³) = Z/12.
       Kenzo-Demo-2:   Koszul homology.
       Kenzo-Demo-3:   Koszul homology.
       Kenzo-Demo-4:   Koszul homology ⇒ Free Resolutions.
       Kenzo-Demo-5:   Eilenberg-Zilber + Effective Homology of loop spaces.
       Kenzo-Demo-6:   Whitehead tower of P^∞R/P¹R.
       Kenzo-Demo-7:   Iterated loop spaces of P^∞R/P³R.
       Kenzo-Demo-8:   High level functional complexity of the Kenzo implementation.

• Constructive Algebraic Topology.
           Bilbao, January 2006.
           Poitiers, April 2006.
       Kenzo-Demo:   Structure of an object with effective homology.

• Algebraic Topology, four talks for a tutorial, Castro-Urdiales, January 2006.
       1. Combinatorial Topology.
       2. Homological Algebra.
       3. Effective Homology.
       4. Implementation.