In the world of von Neumann algebras, factors can be classified into three types. The type III factors are those that do not have a trace. They are related to nonsingular ergodic actions, regular representations of non-unimodular groups and quantum field theory. Some of the key structural properties of this class of factors are still not well understood. In this mini-course, I will give a gentle introduction to the theory of type III factors and to the deepest open problem in the theory : Connes's Bicentralizer Problem (1979).[-]

In this talk, we introduce the syntax and semantics of Differential Linear Logic. We explain how its rules relate to Linear Logic's rules, and give informal intuitions in terms of functions and distributions. We show how its cut-elimination rules are a reflection of basic calculus rules. We also review Differential Lambda-calculus, with matching intuitions. At the end of the talk, we briefly review two recent development about Differential Linear Logic, in terms of Laplace transformation and co-promotion.[-]

In computational anatomy and, more generally, shape analysis, the Large Deformation Diffeomorphic Metric Mapping framework models shape variations as diffeomorphic deformations. An important shape space within this framework is the space consisting of shapes characterised by $n \geq 2$ distinct landmark points in $\mathbb{R}^d$. In diffeomorphic landmark matching, two landmark configurations are compared by solving an optimization problem which minimizes a suitable energy functional associated with flows of compactly supported diffeomorphisms transforming one landmark configuration into the other one. The landmark manifold $Q$ of $n$ distinct landmark points in $\mathbb{R}^d$ can be endowed with a Riemannian metric $g$ such that the above optimization problem is equivalent to the geodesic boundary value problem for $g$ on $Q$. Despite its importance for modeling stochastic shape evolutions, no general result concerning long-time existence of Brownian motion on the Riemannian manifold $(Q, g)$ is known. I will present joint work with Philipp Harms and Stefan Sommer on first progress in this direction which provides a full characterization of long-time existence of Brownian motion for configurations of exactly two landmarks, governed by a radial kernel.[-]

In this talk we will don't speak about Joseph-Louis Lagrange (1736-1813) but about Lagrange's reception at the nineteenth Century. "Who read Lagrange at this Times?", "Why and How?", "What does it mean being a mathematician or doing mathematics at this Century" are some of the questions of our conference. We will give some elements of answers and the case Lagrange will be a pretext in order to explain what are doing historians of mathematics: searching archives and – thanks to a methodology – trying to understand, read and write the Past.
Lagrange - mathematical press - complete works - bibliographic index of mathematical sciences (1894-1912) - Liouville - Boussinesq - Terquem[-]

The introduction of wavelets in the mid 80's has significantly reshaped some areas of the scientific landscape by establishing bridges between previously disconnected domains, and eventually leading to a new paradigm. This generally accepted-yet loose-claim can be given a more precise form by exploiting bibliometric databases such as the ISI Web of Science. Preliminary results in this direction will be reported here, based on multiple entries where authors, references, keywords and disciplines are used as nodes of a network in which the links correspond to their co-appearance in the same paper. While the evolution in time of such an « heterogeneous net » gives a quantified perspective on the birth and growth of wavelets as a well-identified scientific field of its own, it also raises many interpretation issues (related, e.g., to automation vs. expertise) whose implications go beyond this peculiar case study.

Keywords : wavelets - history - bibliometry - network, paradigm[-]