![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY sponsorise AFADL 2014 qui aura lieu au CNAM (Paris, France) simultanément avec les conférences CAL et CIEL, ainsi que […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
La conférence ABZ confronte les meilleurs experts dans le domaine des méthodes formelles avec preuves provenant des milieux universitaires et […]
![Ingénierie des Systèmes Complexes à Logiciels Prépondérants](https://www.clearsy.com/wp-content/uploads/2013/09/isclp.png)
CLEARSY a participé au séminaire ISCLP organisé par la DGA dans le cadre de sa mission « préparer le futur […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY attended the ISCLP seminar organized by the DGA as part of its mission « to prepare the future of defense […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
À l’occasion de la journée d’action IDM « Les challenges de la qualification d’outils pour l’IDM », organisée conjointement par le LORIA, […]
![Ingénierie des Systèmes Complexes à Logiciels Prépondérants](https://www.clearsy.com/wp-content/uploads/2013/09/isclp.png)
Dans le cadre du séminaire « Méthodologies et Technologies innovantes pour les systèmes embarqués » organisé par la DGA à Toulouse, les […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
CLEARSY contribue à un séminaire technique organisé par l’Université de Newcastle le 24 octobre 2013. Les méthodes formelles sont utilisées […]