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...
Conférences
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,...
Séminaire INRIA « Ingénierie des Modèles »
A 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, l'IRIT et Thalès...
Séminaire DGA « Ingénierie des Systèmes Complexes »
Dans le cadre du séminaire "Méthodologies et Technologies innovantes pour les systèmes embarqués" organisé par la DGA à Toulouse, les 5 et 6 Novembre 2013,...
Séminaire technique à l’Université de Newcastle
CLEARSY intervient à l’occasion d’un séminaire technique organisé par l’Université de Newcastle le 24 Octobre 2013. Un exposé d’une heure, intitulé « Are...