Séminaires

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 programmation

Lien vers le calendrier de l’équipe: calendrier.

  • Séminaire LoVe/Logique : c’est le séminaire de l’axe « logique » de l’équipe. Les séances ont généralement lieu le jeudi matin à 10h30, en salle B107. Responsable : Thomas Seiller.
  • GdT Lo : les exposés plus informels du groupe de travail « Logique et Programmation » abordent des sujets divers autour de la théorie de la démonstration et ses liens avec la programmation fonctionnelle, la complexité algorithmique implicite, et la modélisation du parallélisme et de la concurrence. Les séances d’une durée de 1h30 ont lieu le mardi après-midi à 13h45 et/ou le jeudi matin à 10h15 (en remplacement du séminaire), en salle B107 ou A303 selon les disponibilités. Responsable : Thomas Seiller.

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

  • Séminaire LoVe/Vérification : c’est le séminaire de l’axe « vérification » de l’équipe. Les séances ont lieu le jeudi après-midi, en salle B107. Responsable : Jaime Arias.
  • Séminaire MeFoSyLoMa : le séminaire « Méthodes Formelles pour les Systèmes Logiciels et Matériels » est animé conjointement par huit laboratoires de la région parisienne, dont le LIPN. Il est centré autour de l’utilisation des méthodes formelles dans le génie logiciel et dans la conception de différents types de systèmes informatiques. De fréquence bimestrielle.

Extensional denotational semantics of probabilistic programs, beyond the discrete case

Guillaume Geoffroy

21 January 2021 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)

Vérification formelle de systèmes distribués et de leurs propriétés réseau

Nicolas SCHNEPF

26 January 2021 à 12h00 | #séminaireLoVe
Salle A303

[Séminaire Chocola] Stable Relations and Abstract Interpretation of Higher-Order Programs

Benoît Montagu

28 January 2021 à 10h00 | #séminaireLoVe
http://chocola.ens-lyon.fr/events/online-2021-01-28/

Titre bientôt disponible

Elaine Pimentel

4 February 2021 à 14h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)

Symbolic Verification Techniques for Multiparty Interaction

Carlos Olarte

9 February 2021 à 12h00 | #séminaireLoVe
Salle A303

[Séminaire Chocola] Titre bientôt disponible

Enguerrand Prebet

11 February 2021 à 10h00 | #séminaireLoVe
http://chocola.ens-lyon.fr/events/online-2021-02-11/

Titre bientôt disponible

Marie Kerjean

18 February 2021 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)

[Séminaire Chocola] Titre bientôt disponible

Zeinab Galal

25 February 2021 à 10h00 | #séminaireLoVe
http://chocola.ens-lyon.fr/events/online-2021-02-25/

Titre bientôt disponible

Kostia Chardonnet

4 March 2021 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)

Titre bientôt disponible

Mohammed Foughali

5 March 2021 à 12h15 | #séminaireLoVe
Salle A303

Titre bientôt disponible

Souheib Baarir

5 March 2021 à 14h00 | #séminaireLoVe
Salle A303

Titre bientôt disponible

Boris Eng

18 March 2021 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)