Groupes de travail


DateLieuSujet
04/09/2018Orsay Réunion de rentrée
28/09/2018Paris Coq: développement
18/10/2018Villetaneuse Coq: développement
15/11/2018Orsay Coq: développement
12/12/2018Paris Coq: développement
09/01/2019Villetaneuse Coq: développement
22/01/2019Orsay Coq: développement
11/02/2019Paris Coq: développement
19/02/2019Villetaneuse Coq: développement
29/03/2019Villetaneuse Coq: développement
12/04/2019Paris Coq: développement
17/05/2019Orsay Coq: développement
29/05/2019Paris Coq: développement; article
20/06/2019Villetaneuse Coq: développement; article
26/06/2019Orsay Article
04/07/2019Orsay Article
04/09/2019Paris Coq: développement; article
26/09/2019Visio Discussions avec mathcomp-analysis
13/11/2019Villetaneuse Discussions suite; article
20/11/2019Villetaneuse Avancements; article
09/12/2019Paris et visio Rencontre mathcomp-analysis
15/01/2020Paris Invitation de V. Semeria; article
18/02/2020Orsay Coq: développement; Discussions suite; article
19/02/2020Paris Rencontre avec Coq-Reals: H. Herbelin, G. Melquiond, V. Semeria
11/03/2019à définir Mathcomp-analysis ?

Offre de stage

Membres

Contact


  Coordinatrice du projet:
  Micaela Mayero


  E-mail:
  mayero@lipn.univ-paris13.fr


  Adresse:
  Micaela Mayero
  LIPN - Université Paris 13
  Institut Galilée
  99, av. J.-B. Clément
  93430 Villetaneuse
  FRANCE