Quantales de Girard / Réseaux de preuve pour la réduction parallèle

Cédric de Lacroix, Giulia Manara
LIS / I2M, Aix-Marseille Université

Date(s) : 22/06/2021   iCal
16 h 00 min - 17 h 30 min

Cette semaine, Cédric de Lacroix de Lavalette (LIS) et Giulia Manara (AGLR-LDP) présentent les travaux qu’ils ont effectué pour leur stage de master, dans le domaine de la logique et de l’informatique théorique.

▸ Les doctorant⋅es de l’I2M et du LIS ainsi que les étudiant⋅es de master sont toujours les bienvenu⋅es !
▸ Et à l’issue de la séance, le séminaire se poursuit (éventuellement) autour d’un verre.

Emplacement
Site Sud, Luminy, TPR2, Salle de Séminaire 304-306 (3ème étage)

Catégories



Retour en haut 

Secured By miniOrange