3ème Éditions de l'École SED : Systèmes à Événements Discrets Nous avons le plaisir de vous inviter à la **3ème édition de l'École SED** https://sed.ls2n.fr/ecoles-sed/, qui se tiendra du **mercredi 25 au vendredi 27 mars 2026 à Villeneuve d'Ascq, au sein de l'École Centrale de Lille.** Cette …

**La recherche et les acteurs de la sécurité globale face à l'évolution des risques et des menaces** Découvrez les projets financés en Sécurité Globale, échangez et rencontrez les acteurs de la recherche académique et privée pour créer de nouvelles synergies et de nouveaux partenariats. Au cœur de …

Building upon the recently developed stubborn observer construction for finite-dimensional systems, we present a novel observer structure for linear infinite-dimensional systems in abstract form. A key feature of our design is the use of nonlinear output injection terms with an adjustable dynamical …

PPA is an international conference on a broad scope of topics around point processes. It will focus on random geometry (e.g., random graphs and random tesselations), topological data analysis, computational geometry, and extreme value theory. Registration is closed, but feel free to come for a few …

**Excur'Sciences est un dispositif porté par les Sciences Infusent**, le programme de médiation scientifique de la Direction de la valorisation de la recherche et le service Plateformes de la Direction d'appui à la recherche. Ce projet, porté en collaboration avec le service d'Appui aux Plateformes …

Rendez-vous **mardi 24 mars 2026 de 14h à 18h** en salles **Agora 1 et 2** du bâtiment **ESPRIT au campus Cité Scientifique** de l'Université de Lille. Cet après-midi est l'occasion de découvrir la recherche publiée par les doctorant-es et de discuter de science. **Inscription jusqu'au 14 mars …

À l'occasion du 11 février, journée internationale des femmes et filles de science, CNRS Sciences informatiques met en lumière celles qui font avancer la recherche. Cette sélection montre la contribution essentielle des femmes aux sciences informatiques, à travers une grande diversité de …

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 …