Talks.







Université de PoitiersFuturoscope, Séminaire XLIMSIC.
February 25, 2015.
Talk: Discrete Vector
Fields.

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


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

MiniWorkshop: Constructive Homological Algebra with Applications to Coherent Sheaves
and Control Theory.
Oberwolfach, May 1317, 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 EilenbergMacLane spaces. The computation of
π_{5}(Ω(S^{3}) ⋃_{2} D^{3}) was done in
1.5 hour with the previous version, in 5 minutes thanks to discrete vector fields.



Colloquium Département de Mathématiques et Informatique.
Université de HauteAlsace (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 MoorePostnikov Factorization.


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

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

CirmLuminy, Marseille, March 15, 2010.
Meeting: Topological Methods For The Study Of Discrete Structures.
Discrete Vector Fields and Basic
Algebraic Topology.

Department of Applied Mathematics, Prague, February 912, 2010.
Constructive Postnikov Towers.

Mathematisches Forschungsinstitut, Oberwolfach, November 913, 2009.
MiniWorkshop: Formal Methods in Commutative
Algebra: A View Toward Constructive Homological Algebra.
Homological Algebra. Three talks:

The Problem.

Homological Perturbations.

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.

IctpMap Conference, Trieste, August 2008.
Effective Constructive Algebraic Topology.
KenzoDemo 1:
Boundary maps in cellular homology.
KenzoDemo 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 FrancoMaghrébin de Calcul Formel, Kerkennah, Tunisie, May 2008.
Constructive Algebraic Topology.
KenzoDemo:
Computations in Effective Homology.

Applicable Algebra and Computer Science.
A meeting in Honor of Jacques Calmet.
Logroño, February 2829, 2008.
Koszul Homology and Resolutions revisited through
Effective Homology.
KenzoDemo:
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.
KenzoDemo:
Postnikov tower.


Constructive Algebraic Topology.
Bilbao, January 2006.
Poitiers, April 2006.
KenzoDemo:
Structure of an object with effective homology.
