Talks.

• Seminario de Inform\'atica Mirian Andr\'es.
  Logroño, 16 May 2023.
  The Sphynx kernel.

• 24e Séminaire Quimpériodique.
  Quimper, 13-14 October 2022.
  The computability problem in Algebraic Topology.

• XV Encuentro de Algebra Computacional y Aplicationes (mht)
  Universidad de La Rioja, Logroño, Spain, 22-24 June 2016.
      Talk: Simplicial Effective Homotopy.

• Jagiellonian University, Division of Computational Mathematics.
  May 12, 2016.
      Talk: Discrete Vector Fields and Effective Homology.

• 9th European Lisp Symposium (mht)
  9-10 May 2016, AGH University of Science and Technology, Kraków, Poland.
      Opening Keynote: Lexical Closures and Complexity.

• Workshop on Algebra, Geometry and Proofs in Symbolic Computation (mht)
  7-16 December 2015, Fields Institute, Toronto.
      Talk: Functional Programming and Complexity (video).

• Université de Poitiers-Futuroscope, Séminaire XLIM-SIC.
  February 25, 2015.
      Talk: Discrete Vector Fields.

• Galway Meeting about Homological Perturbation Theory.
  National University of Ireland at Galway, 1-5 December 2014.
      Talk: The Homological Hexagonal Lemma.

• Meeting: MAP-2014.
  IHP Paris, 26-30 May 2014.
      Talk: Spectral Sequences downgraded to Elementary Gauss Reductions.

• Meeting: Mathématiques Innovantes: Topologie, effectivité, interactivité.
  SupMéca, Saint-Ouen, May 21, 2013.
      Talk: Effectiveness vs Gödel (Video).

• Mini-Workshop: Constructive Homological Algebra with Applications to Coherent Sheaves and Control Theory.
  Oberwolfach, May 13-17, 2013.
      Talk: Morphisms between Discrete Vector Fields.

• Tuesday Seminar on Topology.
  University of Tokyo, April 30, 2013.
      Talk: Discrete Vector Fields and Fundamental Algeraic Topology.
  
  The two logfiles illustrating the efficiency of the new algorithm computing the effective homology of the Eilenberg-MacLane spaces. The computation of π₅(Ω(S³) ⋃₂ D³) was done in 1.5 hour with the previous version, in 5 minutes thanks to discrete vector fields.

  • DOS3-old
  • DOS3-new

• Noon Seminar.
  ETH Zürich, June 14, 2012.
      Talk: The Eilenberg-Zilber Combinatorial Reduction.

• Workshop Effective Methods in Algebraic Topology.
  ETH Zürich, June 11-15, 2012.
      Talks: Homological Perturbation Theorem and Eilenberg-Zilber Vector Field.

• Colloquium Département de Mathématiques et Informatique.
  Université de Haute-Alsace (Mulhouse), May 24, 2012.
      Talk: From a constructiveness problem to Discrete Vector Fields.

• 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.