More than seventy years after its publication, Turing’s article “The Chemical Basis of Morphogenesis” is still able to surprise its reader, in particular for the power and the depth of its vision. If we know from his biographer, Andrew Hodges, that Turing became interested in embryology and morphogenesis because he wanted to build or, better, to grow a brain, many questions still arise for the reader of the original article: why did Turing – a mathematician, a logician, a cryptographer, one of the fathers of computer science – not use any informational metaphor associated with the notion of “genetic program” in his work on morphogenesis, preferring instead to develop a modelling approach based on a system of partial differential equations ? Where did he draw his modelling inspiration from, both from the point of view of the mathematics and from the point of view of references to biology ? In my presentation I will address these questions by highlighting the morphological connotations of Turing’s work in biology, that can be related to Turing’s interest, in D’Arcy Wentworth Thompson’s classic On Growth and Form (1917). The 1952 article is rather sparse in indications in this regard, which are, however, provided by Turing’s other writings, unpublished during his lifetime, in which he situates his work in continuity with Thompson’s morphological questions. I will also suggest that, as in a virtuous circle, Turing masterfully brings to life a synergy between a morphological look at the living (that implies that his work has a connotation in theoretical biology) and a mathematical exploration of the non-linear, helped by an appropriate and meaningful use of numerical calculus. 

Jian-Qing Zheng will talk about: 'Generative Models on the Space of Diffeomorphisms: A Deformation-Centric Framework for Multi-Organ Anatomy'

Generative models for images are typically formulated in pixel space, where the geometric structure of the underlying objects is not directly represented. For anatomical data, a more natural representation is provided by the deformation that maps one anatomical configuration to another, rather than by the intensities themselves. The set of such deformations forms a structured, non-Euclidean space, and working in this space changes how registration, generation, and representation learning can be approached. In this talk, a framework will be presented in which deformations, rather than images, are treated as the primary modeling object. Image registration is recast as the problem of recovering a deformation between two anatomies, and is extended to the multi-organ setting by modeling deformations of several organs jointly with their geometric couplings. A diffusion-based generative model is then introduced that operates directly on deformations, so that each generated sample is, by construction, an interpretable transformation of a real anatomy. The framework is extended into a foundation model trained across multiple modalities and anatomical regions, and is evaluated on medical imaging tasks including few-shot segmentation, registration, and phenotype-conditioned anatomical prediction.

Professor Pereyra will talk about; 'Physics-informed deep generative models: Applications to computational sensing'

This talk introduces a novel mathematical and computational framework for constructing high-dimensional Bayesian inversion methods that leverage state-of-the-art generative denoising diffusion models as highly informative priors. A central innovation is the construction of physics-informed generative models using Langevin diffusion processes and Markov chain Monte Carlo (MCMC) sampling techniques to develop stochastic neural network architectures capable of near-exact sampling. The obtained networks are modular and composed of interpretable layers that are directly related to statistical image priors and data likelihoods derived from forward observation models. The layers encoding the data likelihood function are designed for flexibility, enabling scene and instrument model parameters to be specified at inference time and seamlessly integrated with pre-trained foundational generative priors. To achieve high computational efficiency, we employ adversarial model distillation, which yields excellent sampling performance with as few as four Markov chain Monte Carlo steps, even in problems exceeding one million dimensions. Our approach is validated through non-asymptotic convergence analysis and extensive numerical experiments in computational image and video restoration. We conclude by discussing unsupervised training strategies that allow the models to be fine-tuned directly from measurement data, thereby bypassing the need for clean reference data.

The talk is based on recent work in physics-informed generative AI for Bayesian imaging: https://arxiv.org/abs/2503.12615 (ICCV 2025), which uses a distilled latent Stable Diffusion XL model trained on five billion clean images as a zero-shot prior, and  https://arxiv.org/pdf/2507.02686, which integrates pixel-based diffusion models with deep unfolding and diffusion distillation (TMLR 2025). The extension to video restoration is presented in https://arxiv.org/abs/2510.01339 (ICLR 2025). Our approach to unsupervised training of diffusion models is introduced in https://arxiv.org/abs/2510.11964.

The problem of stability of approximate homomorphisms was first posed by S. Ulam in the context of groups equipped with a metric. If $G$ and $H$ are groups and $H$ is equipped with a metric $d$, then $\varphi\colon G\to H$ is an $\varepsilon$-homomorphism if $d(\varphi(xy), \varphi(x)\varphi(y))\leq \varepsilon$ for all $x,y\in G$. Ulam’s well-studied problem asks how closely such a map can be approximated by a true homomorphism.
Analogous questions have been investigated in many algebraic and analytic settings. For C*-algebras, the notion of an $\varepsilon$-*-homomorphism admits several possible formalizations. The variant I will discuss, while perhaps not the most immediate, turns out to be particularly interesting, because its associated Ulam stability problem is closely related to rigidity for corona C*-algebras. Namely, Ulam stability of $\varepsilon$-*-isomorphisms between C*-algebras in a certain class (e.g., AF algebras) is equivalent to the rigidity question for coronas of direct sums of C*-algebras in this class.