From 37215addbf1f23668b8132c4de30ee4a89601ff1 Mon Sep 17 00:00:00 2001
From: Julien Marquet <j@recursor.wf>
Date: Mon, 18 Mar 2024 23:04:06 +0100
Subject: [PATCH] update

---
 index.md | 29 ++++++++++++++++++++++++-----
 1 file changed, 24 insertions(+), 5 deletions(-)

diff --git a/index.md b/index.md
index a2cb8a6..1683d55 100644
--- a/index.md
+++ b/index.md
@@ -1,14 +1,13 @@
-## Session 1
 
- - Le jeudi 15/02/2024
+## Session 5
+
+ - Le jeudi 28/03/2024
  - Présentations de 18h30 à 19h30, la suite tant qu'il restera du monde
  - Campus Panthéon, la salle n'est pas encore déterminée
 
 #### Présentations
 
-+ Présentation des SIMI
-+ Julien Marquet-Wagner -- Coalgèbres Terminales
-+ Gabriel Doriath Döhler -- Présentation de Lean
+ - À déterminer
 
 ## SIMI
 
@@ -38,3 +37,23 @@ les thèmes informatiques varient de la pure théorie des types à la compilatio
 En d'autres termes, que vous soyez mathématicien·ne ou informaticien·ne,
 _il y en a pour tout le monde._
 
+## Session 4
+- Le jeudi 14/03/2024
+- Julien Marquet-Wagner -- Diagrammes
+
+## Session 3
+- Le jeudi 7 mars 2024
+- Léo Lanteri--Thauvin -- Datatypes à la carte
+
+## Session 2
+- Le jeudi 29/02/2024
+- Rémy Citerin -- Free Monads
+- Achille De Ridder -- Catégories Monoïdales
+
+## Session 1
+
+- Le jeudi 15/02/2024
+- Présentation des SIMI
+- Julien Marquet-Wagner -- Coalgèbres Terminales
+- Gabriel Doriath Döhler -- Présentation de Lean
+