Search

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.
Adnane Khattabi, CombAlgo department (AlgoDist team), will submit his thesis entitled: "On Improving the Complexity of Linearizable and Wait-free
Hip hip hip hurrah and victory for the French Rhoban team playing at home. It's a great revenge, as they clinch their 5th star with a score of five
Fabien LOTTE receives the Lovelace-Babbage prize from the French Academy of Sciences in partnership with the SIF (Société informatique de France)
Kéolis and the Bordeaux University create a laboratory to meet the challenges of sustainable mobility.
Seven IT start-ups are the direct result of research projects carried out by LaBRI researchers. IQSPOT : Automatic reading and real-time analysis of
Adrien Cassagne will defend his thesis entitled: "Optimization and parallelization methods for Software Defined Radio".
Aurélie Bugeau is a laureate of the IUF for the Innovation Chair. As a reminder: the IUF's mission is to promote the development of high-level