Groupes De Recherche
Yves Bertot
Statut :
Directeur de recherche
Laboratoire :
INRIA UCA
Site web :
https://www-sop.inria.fr/members/Yves.Bertot/research.html
GDRs
GDR IFM
: membre de.s groupe.s de travail
ALEA
ARITH
Bioss
C2
Calculabilités
CF
CoA
CombAlg
Daal
GDMM
GEOALGO
Graphes
IQ
LHC
MG
Scalp
SDA2
SeqBIM
Verif