2015 | SaSeFor

Méthodes FormellesAxe: SciLex Coordinateur : Hubert Comon Lundh, LSV, ENS Cachan Objectif : Productions Scientifiques : Financement Labex en : 2014/2015 Documents : lien vers rapport 2014 lien vers rapport 2015…

Continue Reading2015 | SaSeFor

2014 | ELFIC

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…

Continue Reading2014 | ELFIC

2013 | SHy

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…

Continue Reading2013 | SHy

2017 | PeRSPECTiVE

Axe :ScilexCoordinateurs : Évelyne Contejean et Stéphane DemriObjectif : Le rapprochement du LSV avec VALS, permettra de constituer une masse critique d’environ 50 permanents et être l’amorce d’un pôle de…

Continue Reading2017 | PeRSPECTiVE