Search
When Digital Sciences Meet Public Health… On Monday, November 16, in Bordeaux, the Inria Center at the University of Bordeaux and the Bordeaux
General presentation The "Modelling and Verification" axis is concerned with the modelling, verification and testing of complex IT systems. They
The Graduate Program Numerics invites you to its seminar on societal issues & scientific culture related to digital technology. Sixth session
Even though the Tulip project is getting a bit old, but is still very active, Tulip has just received a few awards from SourceForge.
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
Camille Benaroch (I&S department) will submit her thesis entitled: "Contribution to the understanding of BCI performance based on mental tasks using
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
Jonathan Narboni Title: Lower Bound for Constant-Size Local Certification Abstract: Given a network property or a data structure, a local
Adrien Cassagne will defend his thesis entitled: "Optimization and parallelization methods for Software Defined Radio".