Recherche

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
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».

** Reactive synthesis over infinite data domains. ** This talk presents reactive synthesis problems over infinite data domains. The goal of reactive

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

Quantum physics and chemistry have provided well-recognized theoretical tools to predict the behavior of molecules and materials described by the

/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

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