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.
Camille Benaroch (I&S department) will submit her thesis entitled: "Contribution to the understanding of BCI performance based on mental tasks using
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".
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)
Yvan Le Borgne will be giving a seminar. The title of his talk: "On classical and quantum walks in welded trees".