Bonjour,
Ce vendredi, 10 juin 2016 (après-demain), à 11h en salle B107, nous
aurons un groupe de travail animé par Naïm El Ouraoui (stagiaire M1 qui
travaille avec Micaela et moi).
Naïm nous racontera son travail en cours sur la formalisation en Coq de
la preuve de préservation de la normalisation forte du calcul avec
subtitutions explicites linéaires (originalement introduit par Robin
Milner et revu par Beniamino Accattoli et Delia Kesner).
Amicalement,
Damiano
