Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Colloquium

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″]

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


[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


Secured By miniOrange