Software release
The first version of the tool is available here.
Plenary meeting on June 28-29, 2018
The next plenary meeting of the Formose ANR project will hold on June 28-29, 2018 at Telecom Bretagne, in Brest.
Workshop@ICFEM on November 16, 2017
The first international workshop on Handling IMPlicit and EXplicit knowledge in formal system development, co-located with ICFEM 2017 (19th International Conference on Formal Engineering Methods), has been held in Xi’an, China, on November 13-17, 2017
Workshop on September 6-7, 2016
A workshop between three ANR projects involving the B method (BWARE, IMPEX, FORMOSE) has been held in Toulouse on September 6-7, 2016.
Kickoff meeting
The Formose ANR project has been officially launched on November 17, 2014, at Telecom ParisTech, in Paris.
