Alexandre Moine, postdoc at New York University **Abstract:** Bugs in critical software can ground airplanes, disable hospitals, or compromise security infrastructure, and this list will only grow in the era of LLM-generated code. Program logics are the gold standard for verifying precise and …

**Erwan Martin**, **doctorant de l'équipe SMAC**, a obtenu le **Prix du Meilleur Poster "Emerging Multi-Robot Cooperation through Action Selection Robust to Communication Disruptions"** lors de la 6ème Conférence Internationale sur la robotique, la vision par ordinateur et les systèmes intelligents. …

How can we be sure that a quantum device really performs as intended? As quantum technologies promise secure communication, certified randomness, and unprecedented computational power, verifying their behavior becomes both essential and surprisingly challenging. One of the deepest results of …

Soft robots offer unique advantages for contact-rich interaction due to their compliance and morphological adaptability. However, their high-dimensional deformation, multi-physics coupling, and contact-dependent inverse dynamics make real-time control and scalable learning significantly more …

"In our world, data is everywhere". Our societies generate huge amounts of data, through text, images, transactions, interactions of all kinds... and all this data has to be collected, stocked, processed, and, when we want to make data-driven decisions, analyzed and modeled. It is on these two last …

**In view of the ZRR, it is recommended that you follow the seminar via video conference using Rendez-vous Renater Room.** Membership Inference Attacks (MIAs) are widely used to quantify training data memorization and assess privacy risks. Standard evaluation requires repeated retraining, which is …

Ce projet est issu de l'appel à manifestation d'intérêt (AMI) des *Sciences infusent* et a été développé en collaboration avec le Laboratoire de génie civil et géo-environnement (LGCgE), CRIStAL et la ville de Lezennes. Les carrières souterraines -également connues sous le nom de catiches- …

Félicitations à **Yehya Sharif** doctorant de l'équipe **SoftE** qui remporte le Prix d'Excellence HandiTech 2026 avec le projet ***Flotte de fauteuils roulants*.** La remise des prix s'est déroulée le jeudi 05 mars à la French Tech Lille. Les Prix d'Excellence HandiTech distinguent des …

Présentation de Lucie De Carvalho, du Cecille ULR 4074, autour des grands enjeux des politiques énergétiques en regard avec les impératifs sécuritaires, climatiques et économiques actuels. Lucie enseigne notamment en Civilisation Britannique, et son domaine de recherche est la politique britannique …

Artificial Intelligence promises transformative advances in healthcare, yet real-world medical data challenges nearly every assumption underlying standard machine learning. The healthcare AI revolution is slowed by fundamental constraints: datasets are often high-dimensional, incomplete, …