Le programme est disponible sur la page des séminaires de l'équipe MoVe : ICI.
Cette série d'exposés s'inscrit dans le cadre des activités communes du Pôle Calcul du LIS.
Elle est évidemment ouverte aux collègues d'autres équipes/pôles intéressés par ces thèmes.
Saison indécidabilité et impossibilité
Dans le cadre du séminaire Move, une série de 10 exposés est prévue au cours de l'année 2019/2020 sur les thèmes de l'indécidabilité et de l'impossibilité. Ces exposés font intervenir des orateurs des équipes MoVe et DALGO du LIS et de l'équipe GDAC de l'I2M.