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.

Cons-free programs for functional complexity classes

Siddharth Bhaskar

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

On Higher-Order (In)Efficiencies

Gabriele Vanoni

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

Titre bientôt disponible

Exequiel Rivas

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

Introduction to Parametric Verification 1/2

Laure Petrucci

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

Titre bientôt disponible

Boris Eng

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

Titre bientôt disponible

David Sprunger

12 November 2020 à 16h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)

Introduction to Parametric Verification 2/2

Laure Petrucci

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

Titre bientôt disponible

Thomas Powell

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

Titre bientôt disponible

Marie Kerjean

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

Titre bientôt disponible

Zeinab Galal

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

Titre bientôt disponible

Clovis Eberhart

17 December 2020 à 10h30 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (code d’accès: 749983)