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.

A cellular Howe theorem

Tom Hirschowitz

28 May 2020 à 11h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (access code: 638888)

Logic Beyond Formulas: A Proof System on Graphs

Matteo Acclavio

4 June 2020 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (access code: 638888)

SSAFire, a Monadic Gated SSA representation and its optimizations

Thomas Rubiano

11 June 2020 à 10h00 | #séminaireLoVe
https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 (access code: 638888)