Meetings.
24e Séminaire Quimpériodique
Quimper, 13-14 Octobre 2022.
XV Encuentro de Algebra Computacional y Aplicationes
(
mht
)
Universidad de La Rioja, Logroño, Spain, 22-24 June 2016.
9th European Lisp Symposium
(
mht
)
AGH University of Science and Technology, Kraków, 9-10 May 2016.
Workshop on Algebra, Geometry and Proofs in Symbolic Computation
(
mht
).
Fields Institute, Toronto, 7-16 December 2015.
Homological Perturbation Theory
.
National University of Galway, 1-5 December 2014.
MAP 2014 — Mathematics, Algorithms and Proofs
(
mht
).
Institut Henri Poincaré, Paris, May 26-30, 2014.
The Mathematical Legacy of Jean-Louis Loday
(
mht
).
Strasbourg, September 4-6, 2013.
Mathématiques Innovantes: Topologie, effectivité, interactivité
(
mht
).
SupMéca, Saint-Ouen, May 21, 2013.
Constructive Homological Algebra
(
mht
).
Oberwolfach, Germany, May 12-18, 2013.
ISSAC 2012
(
mht
).
Grenoble, France, July 22-25, 2012.
Des Nombres et des Mondes
.
La Rochelle, France, June 27-29, 2011.
Leçons de Mathématiques d'aujourd'hui
:
Bordeaux, March 03, 2011.
Méthodes constructives en algèbre homologique, implémentations et applications .
.
Cirm, Luminy, January 24-28, 2011.
Mathematics Algorithms and Proofs 2010
.
Logroño (Spain), 8-12 November, 2010.
Topological Methods For The Study Of Discrete Structures
.
Cirm, Luminy, March 1-5, 2010.
Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra
.
Oberwolfach, Germany, November 8-14, 2009.
Ecole Cimpa-Unesco-Cameroun
.
Yaoundé, Cameroun, August 17-29, 2009.
Dynamics, Topology and Computations
.
Bedlewo, Poland, May 31 -- June 6, 2009.
Topologie algébrique effective dans un contexte image nD
.
Cirm, Luminy, September 10-12, 2008.
Summer School and Conference «Mathematics, Algorithms and Proofs»
.
Ictp, Trieste, August 11-29, 2008.
Algebraic Topological Methods in Computer Science
.
Paris, July 7-11, 2008.
Workshop on Computational Topology in Image Context
.
Futuroscope, Poitiers, June 16-17, 2008.
Premier Colloque Franco-Maghrébin de Calcul Formel
.
Kerkennah, Tunisie, May 23-26, 2008.
Applicable Algebra and Computer Science
.
A meeting in Honor of Jacques Calmet.
Logroño, February 28-29, 2008.
MAP Summer School
.
Genova, August 28 -- September 2, 2006.
10th Rhine Workshop on Computer Algebra
.
Basel, March 16-17, 2008.
MAP Meeting
.
Castro-Urdiales, January 9-13, 2006.