FormaSys is a French-Japanese Inria Associated Team, regrouping researchers from several distinct Inria Project Teams and researchers from various Japanese Institutions. See the team member page.

The main goal of this project is to extend MathComp and MathComp-Analysis with more
mathematical structures and results useful for mathematics applied to physical systems.