Theoretical Foundations for Runtime Monitoring The Legacy of Rudolph Kalman Reasoning over large-scale biological systems with heterogeneous and  ... 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 Semantics in the Time of Computing On Artificial Olfaction, and How to Test For It Le Bitcoin et les monnaies cryptographiques