Toute l'équipe de CLEARSY vous a rencontré lors du Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques, Lambda Mu 19. Nous remercions vous...
Actualités
CLEARSY participe au Forum Méthodes Formelles « Le model-checking en action »
CLEARSY participe au Forum Méthodes Formelles "Le model-checking en action" organisé par le LAAS-CNRS le jeudi 16 octobre 2014. A cette occasion, sont...
AFADL 2014 : Les 11 et 12 juin 2014
CLEARSY sponsorise AFADL 2014 qui aura lieu au CNAM (Paris, France) simultanément avec les conférences CAL et CIEL, ainsi que les journées du GDR GPL....
Le 28 avril 2014 à l’institut Henri Poincaré : Méthodes formelles et langages pour le développement de logiciels fiables dans l’industrie
Lors de cet après-midi industriel dont la thématique est "Semantics of proofs and certified mathematics", CLEARSY présentera l'utilisation du B...
3 juin 2014 – NEPTUNE – TELECOM ParisTech
L’ingénierie dirigée par les modèles (IDM) est au centre des préoccupations des Journées Neptune. A l’occasion de la journée Neptune du 3 juin 2014...
ABZ 2014 – Toulouse du 2 au 5 juin
La conférence ABZ confronte les meilleurs experts dans le domaine des méthodes formelles avec preuves provenant des milieux universitaires et industriels. Les...