Notre activité de recherche est organisée autour de séminaires et groupes de travail réguliers. Certains de ces événements sont annoncés par des listes de diffusion ; n’hésitez pas à contacter les organisateurs respectifs pour vous y inscrire.
Types, modèles et théorie de la programmationLien vers le calendrier de l’équipe: calendrier.
Notre sous-équipe participe aussi activement à l’organisation (et le financement) du séminaire Chocola. Contact local : Damiano Mazza. Nous avons mis en place un calendrier tenu à jour avec les séances du séminaire et du groupe de travail, certains événements scientifiques liés à l’équipe (conferences, workshops). Les séances du séminaire sont également annoncées sur cette page et via email. |
Spécification et vérification modulaires et distribuées
|
Bunched Fuzz: Sensitivity for Vector Metrics Jun 9
Patrick Baillot 9 June 2022 à 10h30 | #séminaireLoVe |
Parallelism in Soft Linear Logic Jun 16
Paulin Jacobé de Naurois16 June 2022 à 10h30 | #séminaireLoVe |