Projects

GraDyn

Responsable LIMOS : KANTE Mamadou
Begin of project : March 3, 2020 - Fin du projet : Jan. 1, 2021
Projet piloté par le LIMOS


The project deals with model-checking on dynamic graphs, in particular the definition of graph decompositions in a dynamic logical language. 





partner organism :

Financeur : CNRS