Séminaire INRIA « Ingénierie des Modèles » Salons/conférences

À 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
Séminaire DGA « Ingénierie des Systèmes Complexes » Défense, Salons/conférences

Dans le cadre du séminaire « Méthodologies et Technologies innovantes pour les systèmes embarqués » organisé par la DGA à Toulouse, les […]

Séminaire technique à l’Université de Newcastle Ferroviaire, Salons/conférences

CLEARSY contribue à un séminaire technique organisé par l’Université de Newcastle le 24 octobre 2013. Les méthodes formelles sont utilisées […]

Conférence CAI 2013 Ferroviaire, Salons/conférences

CLEARSY a participé à la conférence CAI 2013 (International Conference on Algebraic Informatics) organisée à Porquerolles (France) du 03 au […]

Séminaire Dagstuhl 2013 Salons/conférences

CLEARSY a participé au séminaire « Integration of Tools for Rigorous Software Construction and Analysis » (n°13372), organisé à Dagstuhl (Allemagne) du […]

AI4FM 2011 Salons/conférences

CLEARSY participe au workshop AI4FM 2011, qui aura lieu les 28 et 29 Avril 2011 à l’université d’Edinburgh. L’objectif du […]

APM-ATS
APM-ATS 2011 Salons/conférences

CLEARSY tiendra un stand à l’occasion de la 13ème conférence internationale sur les systèmes de transports automatiques, qui aura lieu […]

Salon SIFER 2011 Ferroviaire, Salons/conférences

CLEARSY a le plaisir d’annoncer sa participation au Salon SIFER 2011, qui se tiendra du 5 au 7 avril 2011, […]