Explore projects

Bordeaux University Hospital OMOP ETL documentation in the context of the European EHDEN project

FAST extended release is the sequel of FAST model-checker developped at LSV. This tools has been extended with TaPAS libraries in order to accept plugins for solvers of the Presburger arithmetic.

Dépôt Binder "de secours" pour les étudiants de M1 ASA ayant eu des problèmes d'installation. (Édition 2022/2023.)

NLP classes

Un "hackathon" pour mieux communiquer sur le changement climatique à l'université de Bordeaux et faire changer les comportements