How to build quality software: the Eiffel experience Self-Supervised Visual Learning and Synthesis Theoretical Foundations for Runtime Monitoring The Legacy of Rudolph Kalman Reasoning over large-scale biological systems with heterogeneous and  ... The quest for long-lived quantum bit Majority judgment: a new voting method Knowledge transfer and human-machine collaboration for training  ... Biological Networks Entropies: examples in neural, genetic and social  ... A l’écoute du bruit – L’imagerie par corrélations croisées Folding Turing is hard but feasible An extensionalist analysis of computer simulations Safety Verification of Deep Neural Networks Proofs assistants : from symbolic logic to real mathematics Mathématiques, Statistiques et Médecine: des collaborations plus  ... Visual Reconstruction and Image-Based Rendering Coccinelle: synergy between programming language research and the  ... CoNeCo: Concurrency, Networks and Coinduction