Search
In the first paper of the Graph Minors series [JCTB ’83], Robertson and Seymour proved the Forest Minor theorem: the H-minor-free graphs have bounded
Philippe Gireaudeau will defend her thesis entitled: "Tangible and augmented interactions to discover, understand and learn"
The LaBRI and its regional partners are among the five projects selected by GENCI and CEA to host a local branch of the national “Maisons du Quantique
On the eve of the 9th edition of Vivatech 2025 (Paris, June 11-14, 2025), why not take a look back at images from the previous edition, in which LaBRI
Yanis Asloudj will defend his thesis on December 9, 2025, at 2 p.m., in the LaBRI lecture hall. The title of his thesis is: “Development of annotation
Presentation on the software engineering issues involved in the development of the Coq proof assistant
Marie-Christine Rousset will give a seminar (in English), on the occasion of the defense of Quentin Manière's thesis.
Anaïs Binet, working on her thesis with Myriam Desainte-Catherine (I&S department, TAD team), is the winner of the “Mature for PhD +” competition. She
Breaking down language barriers so that a group of people who do not speak the same language can have a fluid conversation is the ambition of a