R&D Activities
![ICSPA](https://www.atelierb.eu/wp-content/uploads/2022/01/logo-icspa-en.jpg)
ICSPA
ANR has selected the project ICSPA (Interoperable and Confident Set-based Proof Assistants) under the framework "appel à projets générique 2020". DURATION: 48...
![DISCONT](https://www.atelierb.eu/wp-content/uploads/2022/01/projet-discont-en.jpg)
DISCONT
ANR has selected the project DISCONT (Correct Integration of DIScrete and CONTinous models) under the framework "appel à projets générique 2017". DURATION :...
![AIDOART](https://www.atelierb.eu/wp-content/uploads/2022/01/projet-aidoart-en.jpg)
AIDOART
ECSEL JU has selected the project AIDOaRt (AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in...
![BLASST](https://www.atelierb.eu/wp-content/uploads/2022/01/logo-blasst-en.jpg)
BLASST
ANR has selected the project BLaSST (Enhancing B Language Reasoners with SAT and SMT Techniques) under the framework "appel à projets générique 2020"....
![LCHIP](https://www.atelierb.eu/wp-content/uploads/2022/01/projet-lchip-en.jpg)
LCHIP
BPI France has selected the project LCHIP (Low Cost High Integrity Platform) under the framework FUI 21. DURATION : 42 monthsPARTNERS : CLEARSY (leader),...