Séminaires du LAMA

Séminaires hebdomadaires (Salle TLR, voir Comment venir).

Autres séminaires :

Prochains séminaires du LAMA :

EDPs²Mardi 05 novembre 2019 à 14h Tobias Weth (Univ Frankfurt),
Critical domains for the first nonzero Neumann eigenvalue in Riemannian manifolds

Résumé : (Masquer les résumés)
The talk is concerned with geometric optimization problems related to the Neumann eigenvalue problem for the Laplace-Beltrami operator on bounded subdomains of a Riemannian manifold. More precisely, we analyze locally extremal domains for the first nontrivial eigenvalue with respect to volume preserving domain perturbations, and we show that corresponding notions of criticality arise in the form of overdetermined boundary value problems. Our results rely on an extension of Zanger's shape derivative formula which covers the case where the first nonzero Neumann eigenvalue is not simple. In the second part of the talk, we focus on product manifolds with euclidean factors, and we classify the subdomains where the associated overdetermined boundary value problem has a solution. This is joint work with Moustapha Fall (AIMS Senegal).

GéométrieJeudi 24 octobre 2019 à 14h Gareth Jones (Manchester),
Effective relative Manin-Mumford for families of multiplicative extensions of an elliptic curve

Résumé : (Masquer les résumés)
I will discuss joint work with Harry Schmidt in which we give an effective version of a result of Bertrand, Masser, Pillay and Zannier on families of multiplicative extensions of an elliptic curve. In certain cases we obtain extra uniformity. The methods involve pfaffian functions. In particular, previous work with Schmidt on pfaffian definitions of elliptic functions plays a key role.

LIMDJeudi 24 octobre 2019 à 10h Karim Nour (LAMA),
Normalisation du lambda-mu-mu'-calcul

Résumé : (Masquer les résumés)
L'exposé se fera en deux temps. Dans la première partie (accessible à tous les membres de l'équipe), je présenterai le lambda-mu-calcul (pur et typé) de Parigot ainsi que ses propriétés et ses défauts. J'introduirai ensuite le lambda-mu-mu'-calcul (version De Groote) et je vous présenterai ses multiples propriétés de normalisation (sans rentrer dans les détails techniques). Dans la deuxième partie, je reprendrai quelques résultats techniques pour présenter les méthodes que nous avons utilisées pour les démontrer.

CMIJeudi 14 novembre 2019 à 13h, Amphi Vanoise Emmanuel Grenier (ENS Lyon),
Mathématiques et vaccins

Résumé : (Masquer les résumés)
Une campagne de vaccination au fin fond du désert ou d'une forêt tropicale. Un lot de vaccins vient d'arriver. Il fait très chaud. La caisse de vaccin est partie de France, a pris l'avion dans un compartiment frigorifique, a été retenue trois jours à la douane pour un détail administratif, hors de tout frigo. La température est montée à 35 degrés. Puis la cargaison a été transportée par camion frigorifique, puis dans un 4x4 dans une glacière pendant 2 jours, puis à dos d'homme sans protection pendant 5 heures. Question: les soignants doivent ils administrer ce lot de vaccins à la population locale ? Est il toujours actif ? Est il complètement détruit ? Faut il tout jeter, ce qui coûte très cher ? Ou l'administrer (ce qui peut être dangereux si le vaccin est détruit) ?