Recherche
** Reactive synthesis over infinite data domains. ** This talk presents reactive synthesis problems over infinite data domains. The goal of reactive
/Exposé /Talk/ Let G be a bridgeless cubic graph. Recently, in collaboration with Edita Máčajová and Jean Paul Zerafa, we have solved a conjecture
Responsable de département : Pierre Ramet Le département SATANAS contribue à la conception et au développement d'outils de simulation robustes et
Le 16ème symposium FPS 2023 (Fondements et Pratiques de la Sécurité) aura lieu du 11 au 13/12/2023n à Bordeaux INP. Consulter l’annonce pour en savoir
Aurélie Bugeau est lauréate de l’IUF au titre de la chaire Innovation. Pour rappel : l'IUF a pour mission de favoriser le développement de la
Unifying view of physical ability metrics for humans, robots and their collaboration Antun Skuric Visio: https://u-bordeaux-fr.zoom.us/j/83483228567
C’est au cours de la conférence NCA (IEEE International Symposium on Network Computing and Applications), que Kadir Korkmaz (doctorant au département
Simon Labarthe (CR INRAe) Modeling the gut microbiota from metagenomic data.
Les assistants de preuve sont particulièrement utiles dans la vérification de composants matériels ou logiciels, et ce pour des propriétés
2024 - 2023 - 2022 - 2021 - 2020 Thèses --------------- 15/07/2024 – Ivan Yakovlev : « Graphes en rubans métriques » Manuscrit 02/07/2024 - Clément