GT Informel Groupe de Travail commun Concurrence & Distribué et Model-Checking & Synthèse

Prochaine réunion

Format

Le groupe de travail inFormel convie les groupes Concurrence & Distribué et Model-checking & Synthèse à une réunion hebdomadaire 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

En 2021, le créneau réservé pour le groupe de travail est le vendredi à 11h00 (en visio pour le moment).

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