![Clearsy Thumbnail](https://www.atelierb.eu/wp-content/uploads/2022/11/Clearsy-Thumbnail.png)
Publié le 18/09/2017 |
CLEARSY will participate to the international conference SBMF 2017 (http://sbmf2017.cin.ufpe.br/) on formal methods that will take place on November 27-December 1 2017 in Recife (Brazil).
At this occasion, CLEARSY will present a scientific article entitled “Applying a Formal Method in Industry: a 25-Year Trajectory”.
Moreover, a dedicated training session will be organized during ETMF 2017 (Escola de Informática Teórica e Métodos Formais) to teach students how to model with the B method, how to use the abstract model editor and how to develop safety-critical applications with the LCHIP platform.
![](https://www.methode-b.com/wp-content/uploads/sites/7/2017/09/SBMF-2017-500x500.jpg)