update

index.html

@@ -6,7 +6,7 @@
     <link rel="stylesheet" type="text/css" href="/assets/css/style.css">
     <title>SIMI - Sessions Informelles Maths-Info</title>
     <meta property="og:title" content="Sessions Informelles Maths-Info"/>
-    <meta property="og:type" content=""/>
+    <meta property="og:type" content="website"/>
     <meta property="og:url" content="/"/>
     <meta property="og:image" content="https://simi.normalesup.eu/assets/images/pic_square.jpg"/>
   </head>

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
+