Invited & Keynote Speakers
Guest Honorary speaker 

JeanMichel Bismut (professeur à l’Université ParisSud (Orsay), member of Académie des Sciences) JeanMichel Bismut was born in 1948 in Lisbon (Portugal). He studied at Ecole Polytechnique in 19671969, and he received his Doctorat d’Etat from Université Paris VI in 1973. He became a professor of Mathematics in Orsay in 1981. He
was a plenary speaker at ICMBerlin 1998, and a vicepresident of International Mathematical Union from 2002 to 2006.
His research has been devoted to stochastic control, to the Malliavin calculus, to index theory, and its connections with spectral theory and number theory. 

The hypoelliptic LaplacianIf X is a Riemannian manifold, the hypoelliptic Laplacian is a family of hypoelliptic operators acting on X , the total space of the tangent bundle of X , that interpolates between the ordinary Laplacian and the geodesioc ﬂow. The probabilistic counterpart is an interpolation between Brownian motion and geodesics. References




Invited Honorary speaker 

Daniel Bennequin (Université Paris 7  Institut Mathématique de Jussieu) Born 3 January 1952. Graduate from Ecole Normale Supérieure. PHD in 1982 with Alain Chenciner at Paris VII. Then Professor at Strasbourg University. Today Professor at ParisDiderot University, and member of the IMJ. During the 1980’s he was initiator of contact topology with Y.Eliashberg. During the 1990’s, he worked on integrable systems and geometry of Mathematical Physics. Since 2000 he has been working in Neurosciences (mainly with A.Berthoz, CdF, and T.Flash, Weizmann Institute); he made contributions to the study of human movements duration, vestibular informatin flow and gaze functions during locomotion. His most recent publications are on information topology (with P.Baudot), psychic pain (with M.BompardPorte) and labyrinths (with R.David et al.). 

Geometry and Vestibular InformationEvery complex living entities, as plants, insects or vertebrates, possess visuovestibular systems which sense their own motion in space and are crucial for controling volontary movements and for understanding space. We will show how the Galilée group guides the visuovestibular information flows. Differential Geometry permits to understand the particular forms of the end vestibular organs, that are situated in the inner ear of mammals and birds, from a principle of energy minimization and information maximization. These forms correspond to the surfaces of divisors of real (resp. imaginary) twisted curves, for the epithelia which sense linear accelerations (resp. rotations) of the head. The HodgeDeRham theory, applied to the labyrinths volume of vertebrates, permits to explain how a complex fluid movement is transformed in six solutions of ordinary second order differential equations, for registering the head rotations in space. Combined with an original and delicate method of analysis of the membranous tissues, invented by Romain David, this allows for the first time, to describe the precise relation between the structure and the function of the labyrinth. References




Keynote speakers 

Alain Trouvé (ENS ParisSaclay, CMLA Department) Alain Trouvé, bachelor’s degree from Ecole Normale Supérieure Ulm, a doctor of the University of Orsay, began his career as “agrégé préparateur” at the ENS Ulm before becoming a professor at the University of Paris13 (1996) and then at ENS Cachan (2003). Alain Trouvé is currently Professor at the Center of Mathematics and Their Application (CMLA) at ENS ParisSaclay. He did his Ph.D. in Stochastic Optimization and Bayesian Image Analysis under the supervision of Robert Azencott. His main research interests are computational vision and shape analysis with a particular emphasis on the use of Riemannian geometry and infinite dimensional group actions driven by applications in computational anatomy and medical imaging. 

Hamiltonian modeling for shape evolution and Statistical modeling of shapes variabilityIn his book "Growth and Forms", first published in 1917, d’Arcy Thompson, a Scottish naturalist and mathematician, develops his theory of transformations, whose central idea is the morphological comparison of anatomies through groups of transformations of Space that act on it. This idea, a century later, remains at the heart of contemporary geometric approaches of quantitative comparison of forms but in a very different mathematical and technological context. In this talk, we present the ideas and techniques that underlie the "diffeomorphometric" approach developed in the context of computational anatomy, its links with infinite dimensional Riemannian geometry, the theory of control And Hamiltonian systems, but also the dimension reduction tools that underlie the algorithms used in the analysis of subvarieties and make them effective. We will also present new prospects for extension on the geometricfunctional objects that combine geometric and functional information and pose new and numerous challenges.
References




Mark Girolami (Imperial College London  Department of Mathematics) Mark Girolami holds a Chair in Statistics in the Department of Mathematics of Imperial College London. He is an EPSRC Established Career Research Fellow (2012  2017) and previously an EPSRC Advanced Research Fellow (2007  2012). He is the Director of the Alan Turing InstituteLloyds Register Foundation Programme on Data Centric Engineering and in 2011 was elected to the Fellowship of the Royal Society of Edinburgh when he was also awarded a Royal Society Wolfson Research Merit Award. He was one of the founding Executive Directors of the Alan Turing Institute for Data Science from 2015 to 2016. He has been nominated by the IMS to deliver a Medallion Lecture at JSM 2017 and has been invited to give a Forum Lecture at the European Meeting of Statisticians 2017. His paper on Riemann manifold Langevin and Hamiltonian Monte Carlo Methods was publicly read before the Royal Statistical Society and received the largest number of contributed discussions for any paper in the entire history of the society, discussants included Sir D.R. Cox and C.R. Rao.


Riemann Manifold Langevin and Hamiltonian Monte Carlo MethodsThe talk considers Metropolis adjusted Langevin and Hamiltonian Monte Carlo sampling methods defined on the Riemann manifold to resolve the shortcomings of existing Monte Carlo algorithms when sampling from target densities that may be high dimensional and exhibit strong correlations. The methods provide fully automated adaptation mechanisms that circumvent the costly pilot runs that are required to tune proposal densities for Metropolis–Hastings or indeed Hamiltonian Monte Carlo and Metropolis adjusted Langevin algorithms. This allows for highly efficient sampling even in very high dimensions where different scalings may be required for the transient and stationary phases of the Markov chain. The methodology proposed exploits the Riemann geometry of the parameter space of statistical models and thus automatically adapts to the local structure when simulating paths across this manifold, providing highly efficient convergence and exploration of the target density. The performance of these Riemann manifold Monte Carlo methods is rigorously assessed by performing inference on logistic regression models, logGaussian Cox point processes, stochastic volatility models and Bayesian estimation of dynamic systems described by nonlinear differential equations. Substantial improvements in the timenormalized effective sample size are reported when compared with alternative sampling approaches. References




Barbara Tumpach (Lille University/ Painlevé Laboratory) Alice Barbara Tumpach is an Associate Professor in Mathematics (University Lille 1, France) and member of the Laboratoire Painlevé (Lille 1/CNRS UMR 8524), since 2007. She received a Ph.D degree in Mathematics in 2005 at the Ecole Polytechnique, Palaiseau, France. She spent two years at the Ecole Polytechnique Fédérale de Lausanne as a PostDoc, and two years at the Pauli Institut in Vienna, Austria, as an invited researcher. Her research interests lie in the area of infinitedimensional Geometry, Lie Groups and Functional Analysis. She gives Master courses on Lie groups and organizes conferences on infinitedimensional geometry for the Federation of Mathematical Research of NordPasCalais, France. She also acts in videos for Exo7, available on youtube, where she explains basic notions of Linear Algebra.


Riemannian metrics on shape spaces of curves and surfacesThe aim of the talk is to give an overview of geometric tools used in Shape Analysis. We will see that we can interpret the Shape space of (unparameterized) curves (or surfaces) either as a quotient space or as a section of the Preshape space of parameterized curves (or surfaces). Starting from a diffeomorphisminvariant Riemannian metric on Preshape space, these two different interpretations lead to different Riemannian metrics on Shape space. Another possibility is to start with a degenerate Riemannian metric on Preshape space, with degeneracy along the orbits of the diffeomorphism group. This leads to a framework where the length of a path of curves (or surfaces) does not depend on the parameterizations of the curves (or surfaces) along the path. Of course the choice of the metrics has to be motivated either from the applications or from their mathematical behaviour. We will compare some natural metrics used in the litterature. References




