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
|
Geometry of Interaction for ZX-Diagrams Mar 4
Kostia Chardonnet et Renaud Vilmart 4 March 2021 à 10h00 | #séminaireLoVe |
On the formal verification of safety-critical systems: challenges, approaches and perspectives Mar 5
Mohammed Foughali 5 March 2021 à 12h15 | #séminaireLoVe |
Contributions to Boolean satisfiability solving and its application to the analysis of discrete systems Mar 5
Souheib Baarir 5 March 2021 à 14h00 | #séminaireLoVe |
Titre bientôt disponible Mar 18
Boris Eng18 March 2021 à 10h00 | #séminaireLoVe |
Titre bientôt disponible Mar 18
Rim Saddem18 March 2021 à 14h00 | #séminaireLoVe |
Modeling and formal verification of a communicating autonomous vehicle system Mar 19
Johan Arcile19 March 2021 à 09h00 | #séminaireLoVe |
Titre bientôt disponible Apr 1
Marie Kerjean 1 April 2021 à 10h00 | #séminaireLoVe |
Titre bientôt disponible Apr 15
Giulio Guerrieri15 April 2021 à 10h00 | #séminaireLoVe |