groupes de travail

Programmes d’éléments finis formellement vérifié Axe:SciLex 2&3Coordinatrice :Sylvie Boldo, InriaObjectif : Preuve de correction de la bibliothèque FELiScE implantant la méthode des éléments finis pour la résolution numérique d'équations aux dérivées…

Axe :SciLexAction commune avec iCodeCoordinateurs : Alexandre Chapoutot / Catherine Bonnet / Paolo MasonObjet du groupe de travail : Sessions d'échanges sur les diverses approches des systèmes dynamiques et hybridesProductions…