Recherche
Présentation sur les problématiques de génie logiciel présentes dans le développement de l'assistant de preuve Coq
Exposé sur des extensions du théorème de Grötzsch /Exposé en anglais/Talk in english/ The Grötzsch Theorem states that every triangle-free planar
Exposé sur des extensions du théorème de Grötzsch /Exposé en anglais/Talk in english/ The Grötzsch Theorem states that every triangle-free planar
Les 17ème journées de combinatoire de Bordeaux (JCB 2025) se tiendront au LaBRI du lundi 3 au mercredi 5 février 2025.
Le développement des réseaux et l'utilisation de plus en plus massive de terminaux peu fiables avec de faibles connectivités nécessitent des
Demi-journée, co-animée avec l’incubateur Bordeaux Technowest, de sensibilisation à l’entrepreneuriat deeptech dans les sciences du numérique ».
Titre: Compromis temps-mémoire quantiques et application à la recherche de collisions Résumé: Deux méthodes prédominent pour démontrer des bornes
Antonio Casares, doctorant encadré par Igor Walukiewicz et Nathanaël Fijalkow a remporté le prix du meilleur article étudiant de la conférence CSL
C’est à l’occasion du Forum Innovation Défense (porte de Versailles) que le LaBRI, en collaboration avec Thales DMS, présentera son travail sur le
/Exposé en anglais/Talk in english/ We prove that the product version of the 1-2-3 Conjecture, raised by Skowronek-Kaziów in 2012, is true. Namely