Recherche

Aurélie Bugeau est co-autrice de la publication d'un livre en collaboration avec l'université de Cambridge, le Fitzwilliam Museum (Cambridge) et l
L’ANSSI (Agence nationale de la sécurité des systèmes d'information) vient de certifier un troisième outil sécurisé de type Dropbox. Parsec, la
Responsable d'équipe : Romain Bourqui (adj. Patricia Thébault) L’équipe Bench To Knowledge and Beyond (BKB) mène des recherches théoriques et
Emile Barjou soutiendra sa thèse intitulée : « Tomographie de haute résolution par contraste de phase».
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

https://ratio.labri.fr/#meetings Title: Algorithms for consistent query answering under primary key constraints Abstract: Databases often have

Benjamin Hellouin donnera un séminaire, dont le sujet porte sur : « Mélange dans Hom shifts / reconfiguration des chemins dans les graphes »
C’est avec une grande tristesse que nous apprenons la disparition de Jean-Guy Penaud, ancien membre du LaBRI et de l’UF Info. Toutes nos pensées vont
La chaire Mobilité et Transports Intelligents organise la journée « (Cyber) sécurité et sureté des mobilités connectées » - mardi 10 mai à 11h