L'IECL

Évènements

51es JOURNEES DE STATISTIQUE

3 juin 2019 @ 09:45 – 18:40 – Ce congrès annuel de la Société Française de Statistique, qui va durer toute la seamine,

Pseudodifferential operators of Toeplitz type

28 mai 2019 @ 16:30 – 17:30 – Joerg Seiler (Turin)   There are many examples of calculi/algebras of pseudodifferential operators that have been designed to analyze different sorts of elliptic partial differential operators, in particular to characterize their Fredholm property and regularity properties of solutions of associated pde’s in suitable function spaces, using a parametrix construction within the algebra. This ranges from […]

Positivity of the Chow-Mumford line bundle for families of K-stable Q-Fano varieties

27 mai 2019 @ 15:30 – 16:30 – The Chow-Mumford (CM) line bundle is a functorial line bundle on the base of any family of polarized varieties, in particular on the base of families of Q-Fano varieties (that is, Fano varieties with klt singularities). It is conjectured that the CM line bundle yields a polarization on the conjectured moduli space of K-polystable Q-Fano […]

Cohomologie des fibrés en droites sur G/B en caractéristique positive

27 mai 2019 @ 14:00 – 15:00 – Soit G un groupe algébrique semi-simple sur un corps k algébriquement clos de caractéristique positive et soit B un sous-groupe de Borel. La cohomologie des fibrés en droites G-équivariants sur G/B induits par des caractères de B sont des objets importants dans la théorie des représentations de G. Dans cet exposé, je vais commencer par […]

ANNULÉ

23 mai 2019 @ 14:15 – 15:15 –

Spatial interaction modeling of star clusters

23 mai 2019 @ 10:45 – 11:45 – Spatial modeling in Astronomy can benefit from visualization techniques and spatial manipulation using Geographic Information Systems (G.I.S.) techniques. Preliminary analysis of stellar population characteristics in M83 galaxy using the emitted radiation source in different wavelengths shows a spatial aggregation model of stellar populations and clusters that are hierarchically organized in proximity of galaxy’s spiral arms. […]

Assistants de preuve : un outil pour les mathématiciens ?

21 mai 2019 @ 16:30 – 17:30 – Sébastien Gouëzel Les assistants de preuve sont des outils informatiques qui permettent de formaliser et vérifier tous les détails d’une preuve. Alors qu’ils sont développés et utilisés depuis longtemps par des informaticiens (notamment pour prouver qu’un programme fait bien ce qu’il attend de lui), leur adoption par des mathématiciens est beaucoup plus récente. Je décrirai […]

Estimation d’erreur a posteriori et critères d’arrêt pour une méthode de décomposition de domaines globale en temps

21 mai 2019 @ 10:45 – 11:45 – La modélisation du piégeage capillaire (un fluide reste confiné dans une région du sous-sol) conduit à  une équation de diffusion non-linéaire dégénérée dans laquelle le coefficient de diffusion est discontinu à  travers une interface. Le problème peut-être résolu par une méthode de décomposition de domaines globale en temps, basée sur l’algorithme de relaxation d’onde de […]