La conférence ABZ confronte les meilleurs experts dans le domaine des méthodes formelles avec preuves provenant des milieux universitaires et industriels. Les...
Conférences
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...
Conférence CAI 2013
CLEARSY a participé à la conférence CAI 2013 (International Conference on Algebraic Informatics) organisée à Porquerolles (France) du 03 au 06 Septembre 2013,...