Search

Adrian Miclaus (Université de Bucarest) Title: Faster algorithms for computing the hairpin completion distance and minimum ancestor Abstract: In this
Maudeline Marlier will defend her thesis (co-tutelle with Inria Saclay), on March 03, 2024 at 2pm, in the Ada Lovelace room (Inria). The title of her
Maxime Gonthier will defend her thesis entitled: " Scheduling Under Memory Constraint in Task-based Runtime Systems".

I am interested in verification of distributed systems with an unbounded number of agents running the same finite-state program. These include systems

It's clear that AI is making its mark in most business sectors. But how much confidence can we have in it? In this interview with Les Echos, Laurent
Warren Jouanneau, I&S department (TAD team), will submit his thesis entitled: "Identification of clothing in images: from instance segmentation to
Emile Barjou will submit his thesis entitled: "High-resolution phase contrast tomography".
Diane Orhan, Yacine Idouar, Laércio Lima Pilla, Adrien Cassagne, Denis Barthou and Christophe Jégo received the best paper award at HCW 2025
The « Cyber Resilience of Digital Infrastructures » chair s organising a half-day event for all students on the Bordeaux and Aquitaine campuses. Free
Gabriel Bathie (M2F department, LX & Synthèse team) was awarded the prize for best paper at the 35th Annual Symposium on Combinatorial Pattern