Search

Célia Tassadit Ait Kaci will submit her thesis entitled: "Static and dynamic analysis for the detection of memory access competition errors in MPI-RMA
Philippe Pérez de San Roman (PhD student in the I&S department, TAD team) will present his thesis entitled: "3D detection for mixed reality in
Manh Tu Vu (PhD student in the I&S department, TAD team) will submit his thesis entitled: "Deep learning for automatic evaluation of facial
Marie-Christine Rousset will give a seminar (in English), on the occasion of the defense of Quentin Manière's thesis.
Even though the Tulip project is getting a bit old, but is still very active, Tulip has just received a few awards from SourceForge.
Robert Cori's seminar on polynomials and hypercards.
Presentation on the software engineering issues involved in the development of the Coq proof assistant
General presentation The "Modelling and Verification" axis is concerned with the modelling, verification and testing of complex IT systems. They
Adrien Cassagne will defend his thesis entitled: "Optimization and parallelization methods for Software Defined Radio".
Seven IT start-ups are the direct result of research projects carried out by LaBRI researchers. IQSPOT : Automatic reading and real-time analysis of