Recherche
Emile Barjou soutiendra sa thèse intitulée : « Tomographie de haute résolution par contraste de phase».
A round-table session: each person will tell in five minutes about the current research projects / interests, maybe including the wishes for starting
Simulating noninteracting systems of fermionic particles (such as electrons) -- so called 'free fermions' -- is a basic routine in computational many
** 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
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 »
Cindy Becher (département I&S) soutiendra sa thèse intitulée : « Désambiguïsation de la visualisation et de la manipulation d'objets 3D virtuels
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