Recherche
Anne Bisagni-Faure, rectrice de l’académie Nouvelle Aquitaine a remis à l’occasion de la cérémonie de la rentrée de l’université (en octobre dernier)
Les projets primés dans le programme 80PRIME du CNRS sont destinés à soutenir et renforcer les recherches interdisciplinaires multi-équipes. Le projet
Le workshop de l’ANR QuDATA (Quantum Algorithms for Massive Data) autour de l'informatique quantique se déroule en ce moment au LaBRI. Constitué de
S'inscrivant dans une série de rencontres sur les outils pour enrichir et élargir l'accès à la performance musicale, cet événement regroupe
Présentation générale L’axe “ModélisationetVérification” s’intéresse à la modélisation, la vérification et le test des systèmes informatiques
Fabien LOTTE reçoit le prix Lovelace-Babbage de l'Académie des sciences en partenariat avec la SIF (Société informatique de France). En savoir plus en
Le 23 avril au matin, le département SIN met à l’honneur les lauréats de prix et programmes obtenus en 2025.
Les assistants de preuves basés sur les types dépendants sont parmis les outils offrant les garanties les plus fortes sur la sécurité d'un logiciel
Rencontre, le 02/06/2023 de 10 à 12h (amphi LaBRI) avec l’entreprise Serma Technologies, et plus particulièrement avec Yoann Bodet, responsable d
Aurélie Bugeau, en compagnie de Clément Marquet, Gianluca Marzilli, Yann Pennec et Raphaël Roge, animeront la table ronde sur le thème de « IA