A l'occasion de la conférence ABZ 2025 qui aura lieu du 10 au 13 Juin 2025 à Düsseldorf, CLEARSY présentera un keynote intitulé "Mathematical Proofs and...
Conférences
Journée « preuve mathématique et sûreté logicielle
CLEARSY est fière de participer à Horizon Maths 2024. C'est une initiative de la Fondation Sciences Mathématiques de Paris centrée sur "la preuve mathématique...
Tutoriel « Utiliser B pour programmer la CLEARSY Safety Plateform »
Un tutoriel virtuel en accès libre sur la programmation de la CLEARSY Safety Platform est organisé pendant la conférence internationale ABZ 2021, le 8 juin...
Conférence Formal Methods – FM 2018 – Oxford
A l'occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, CLEARSY présentera sa vision de l'utilisation des méthodes...
Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan
CLEARSY va organiser à Shonan (sud de Tokyo), du 05 au 09 Novembre 2018, un séminaire scientifique sur invitation relatif à l'usage industriel des méthodes...
Projet LCHIP et architecture double processeur: premier starter kit
Le projet LCHIP (Low Cost High Integrity Platform) est un projet co-financé par la Banque Publique d’Investissement, la Région PACA et la Métropole...