Journée d'étude From 18 mars 2024to 19 mars 2024 Self-organization, Autonomy and the Bounds of the Self
Journée d'étude Le Vendredi 5 mai 202311h0017h00 Formalisation des mathématiques et preuves assistées par ordinateur