**Title : Towards scalable verification and efficient hardware generation using verified high-level synthesis tools** *Abstract:* Hardware design companies spend more than 60% of their time just on verifying that the chip they are designing works as intended. As the need and complexity for custom …

Mathieu Bressel's PERSI team is organising a seminar as part of the ANR COSMAC programme **Energy optimisation for commercial buildings: Towards sustainable and deployable multi-energy solutions** The COSMAC project, funded by the French National Research Agency (ANR), focuses on …

Olivia Chevalier (IMT-BS) will speak on November 18th, 14h, about Soft Robotics from the point of view of the philosophy of sciences.   The presentation will take place during an online DEFROST team seminar (see the  link  [https://inria.webex.com/meet/antoine.alessandrini …

Philippe Preux (from the SCOOL team) will talk about *Predicting post-bariatric surgery weight for better personalised patient follow-up* as part of the Digital for Life and Health seminar. Abstract: 'In collaboration with Professor F. Pattou's department at Lille University Hospital, we are …

The next Girls Only event will take place on Thursday 13 November, from 12.30pm to 2pm, and will be co-organised by CRIStAL and LPP. As a reminder, Girls Only meetings are open to all women in the unit (doctoral students, engineers, managers, teacher-reseachers, postdocs, etc.) and are an …

**Titre** : Causality, why it matters in industrial context **Abstract**: Causality plays a crucial role in critical systems monitoring, where understanding why something happened (or might happen) is far more important than merely knowing what happened. \ In this work, I will present the basic …

Artificial Intelligence Seminar The INOCS team welcomes Mihaly Petreczky from the SHOC team, research fellow **Finite-sample statistical guarantees for learning dynamical systems in state-space form** In this talk, I will present an overview of recent results on finite-sample Probably …

The FR TTM will hold its annual seminar on Wednesday, 5 November 2025, in Valenciennes, at the IMTD (Institute for Sustainable Mobility and Transport), in the presence of the CNRS and the laboratories' supervisory authorities Participation of the PRETIL platform **Programme** 10:30 am Welcome …