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....
Actualités
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...
ERTS 2014
CLEARSY a participé à la conférence "Embedded Real Time Software and Systems" (ERTS 2014) qui a eu lieu du 5 au 7 Février à Toulouse. A cette occasion,...
Présentation aux étudiants en M2 Science et Technologie du Logiciel
Le 14 mars 2014, CLEARSY a présenté aux étudiants en M2 Science et Technologie du Logiciel de l’université Pierre et Marie Curie de Paris, la méthode formelle...