Complexité des systèmes discrets simples – C_SyDiSi

Le projet C_SyDiSi vise à étudier la frontière de la complexité dans les systèmes
complexes simples. Pour ce faire, nous proposons une approche formelle
transverse basée sur les modèles de calculs et mêlant différents systèmes. À
l’aide de l’impulsion donnée par l’étude des traces (mots unidimensionnel)
associés à ces modèles, nous allons faire émerger un groupe de recherche autour
d’un pôle caennais avec l’aide d’Orléans. La complémentarité du groupe ainsi que
des rencontres régulières vont mener, au delà des résultats directement liés au
domaine, à la création d’une base de connaissance qui sera utiles aux domaines
connexes ou valorisable auprès du grand public.