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
|
Extensional denotational semantics of probabilistic programs, beyond the discrete case Jan 21
Guillaume Geoffroy21 January 2021 à 10h00 | #séminaireLoVe |
Vérification formelle de systèmes distribués et de leurs propriétés réseau Jan 26
Nicolas SCHNEPF26 January 2021 à 12h00 | #séminaireLoVe |
[Séminaire Chocola] Stable Relations and Abstract Interpretation of Higher-Order Programs Jan 28
Benoît Montagu28 January 2021 à 10h00 | #séminaireLoVe |
Titre bientôt disponible Feb 4
Elaine Pimentel 4 February 2021 à 14h00 | #séminaireLoVe |
Symbolic Verification Techniques for Multiparty Interaction Feb 9
Carlos Olarte 9 February 2021 à 12h00 | #séminaireLoVe |
[Séminaire Chocola] Titre bientôt disponible Feb 11
Enguerrand Prebet11 February 2021 à 10h00 | #séminaireLoVe |
Titre bientôt disponible Feb 18
Marie Kerjean18 February 2021 à 10h00 | #séminaireLoVe |
[Séminaire Chocola] Titre bientôt disponible Feb 25
Zeinab Galal25 February 2021 à 10h00 | #séminaireLoVe |
Titre bientôt disponible Mar 4
Kostia Chardonnet 4 March 2021 à 10h00 | #séminaireLoVe |
Titre bientôt disponible Mar 5
Mohammed Foughali 5 March 2021 à 12h15 | #séminaireLoVe |
Titre bientôt disponible Mar 5
Souheib Baarir 5 March 2021 à 14h00 | #séminaireLoVe |
Titre bientôt disponible Mar 18
Boris Eng18 March 2021 à 10h00 | #séminaireLoVe |