SIMI/simiweb
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update
All checks were successful
build configuration / build (push) Successful in 43s
Details

Browse source
This commit is contained in:
Julien Marquet 2024-03-18 23:04:06 +01:00
parent 0abfb96ec2
commit 37215addbf
1 changed files with 24 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
index.md
View file

@ -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 - 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 - Campus Panthéon, la salle n'est pas encore déterminée
#### Présentations #### Présentations
+ Présentation des SIMI - À déterminer
+ Julien Marquet-Wagner -- Coalgèbres Terminales
+ Gabriel Doriath Döhler -- Présentation de Lean
## SIMI ## 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, En d'autres termes, que vous soyez mathématicien·ne ou informaticien·ne,
_il y en a pour tout le monde._ _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