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

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

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

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

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

L’Université de Nantes organise la 3ème édition de sa conférence, dédiée à la méthode B. Celle-ci se déroulera le 7 […]

CLEARSY a le plaisir de vous annoncer sa participation au salon Innotrans, qui se déroulera du 21 au 24 septembre […]

CLEARSY dispense désormais des cours relatifs aux méthodes formelles à l’ENSI de Bourges : Spécification du logiciel Conception et programmation […]