TP de découverte des maths formalisées

Patrick Massot
I2M, CNRS, Aix-Marseille Université

Date(s) : 25/11/2022   iCal
10 h 00 min - 13 h 00 min

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

Organisation : Raphaël Beuzart-Plessis et Charles Bordenave.

Le TP sera suivi à partir de 16h d’un exposé de Patrick Massot donné dans le cadre du Colloquium de Mathématiques de Marseille.



Participants inscrits :
Raphaël Beuzart-Plessis
– Paul Boisseau
– Rémy Cerda
– Olivier Dudas
– Thomas Lanard
– Valentin Maestracci
– Guillaume Rond
– Marie Roth

Emplacement
Campus St Charles, Marseille

Catégories



Retour en haut 

Secured By miniOrange