GT Informel Seminar series of the teams Distributed Computing and Model-Checking & Synthesis

Prochaine réunion

Format

Le seminair inFormel convie les groupes Concurrence & Distribué et Model-checking & Synthèse à une réunion permettant de présenter des travaux en cours ou des lectures intéressantes en rapport avec les thèmes développés dans les deux groupes. Le groupe de travail peut également accueillir, occasionnellement, des orateurs extérieurs en visite au LMF.

Date et heure

Actuellement, le créneau réservé pour le groupe de travail est le vendredi à 11h00 (en mode hybride).

Le lieu et le lien visio peuvent changer d'une semaine à l'autre. Le lieu est précisé dans l'annonce de chaque réunion, le lien visio est donné en interne. Si vous êtes intéressé par un exposé, nous serons ravis de partager le lien.

()
()
.
[URL] [PDF]
()
()
, .