We will soon learn that statements in logarithmic geometry typically consist of two pieces – one handled by the traditional algebro-geometric canon and another that is combinatorial in nature. We will introduce the …

Purifications are ubiquitous in quantum information, where they are often regarded just as convenient mathematical representations of quantum states and channels. In this talk, we will explore instead their …

The talk deals with the Gross-Pitaevskii equation in a two-dimensional strip. This equation has explicit travelling wave solutions on the line that are called dark solitons and that remain travelling wave solutions …

In this talk, I will introduce two families of probabilistic objets. I'll start by presenting branching processes, which model a population of individuals and predict the demographic behavior of the population (will …

Interactive theorem proving (using a theorem prover such as Rocq, Lean, or Isabelle) has been successfully used in safety-critical systems (including compilers or cryptosystems) and in many mathematical domains, …

Soit K un corps et I un idéal à deux générateurs de K[x, y]. Nous présenterons un théorème qui décrit les orbites de l'action naturelle du groupe linéaire GL_2(K[x, y]) sur les paires génératrices de I. Ce théorème …

The first-order hyperbolic relaxation system is a class of time-dependent partial differential equations which model various non-equilibrium phenomena. For such systems, the main interest is to understand the zero …

Supervised convolutional neural networks (CNNs) are widely used to solve imaging inverse problems, achieving state-of-the-art performance in numerous applications. However, despite their empirical success, these …