Search

Presentation of the research directorate Proof assistants are particularly useful in the verification of hardware or software components for
Tidiane Sylla (SeD department, Progress team, in co-supervision with the University of Sciences, Techniques and Technologies of Bamako (USTTB), Mali)
The NUMERICS seminar, a transdisciplinary seminar on scientific culture and the societal challenges of digital technology, will take place in the
Department leader : Fabien Baldacci Co-department leader : Yvonne Jansen The I&S department conducts research in acquisition, processing, analysis
Pierrick Coupé visited the Maison française in Oxford, at the invitation of the French Embassy, for a symposium on the challenges of AI in healthcare.
The ANSSI (French National Agency for Information Systems Security) has just certified a third Dropbox-like secure tool. Parsec, the Bordeaux-based
Julien Rodrigues will present his thesis entitled: " Circuit partitioning for multi-FPGA platforms"
As part of the Math Week, the LaBRI will welcome, in the presence of the Rector, the school public on the afternoon of Monday, 2023, March 6th.
Robert Cori's seminar on polynomials and hypercards.

Hadwiger's conjecture, first formulated in 1943, is a vast generalization of the four-color theorem, and remains one of the central open problems in