TP de découverte des maths formalisées
Patrick Massot
I2M, CNRS, Aix-Marseille Université
Date(s) : 25/11/2022 iCal
10h00 - 13h00
Travaux Pratiques de découverte des maths formalisées par Patrick Massot.
Le vendredi 25 novembre de 10h à 13h dans la salle d’informatique 5-401 (Bâtiment 5 (grand bâtiment), escalier 2, étage 4, bloc A) sur le campus de St Charles, Marseille. Le nombre de places étant limitées (environ 20 personnes), il est demandé aux personnes intéressées de bien vouloir se préinscrire via le lien suivant: https://framadate.org/xnCS7lMMKUAXR4ml
[su_spacer size= »10″]Organisation : Raphaël Beuzart-Plessis et Charles Bordenave.
[su_spacer size= »10″]
[su_spacer size= »10″]
Participants inscrits :
– Raphaël Beuzart-Plessis
– Paul Boisseau
– Rémy Cerda
– Olivier Dudas
– Thomas Lanard
– Valentin Maestracci
– Guillaume Rond
– Marie Roth
[su_spacer size= »10″]
Emplacement
Saint-Charles
Catégories
