Séminaires I2M

In Krivine classical realizability, one can understand the truth value of a formula (that is the set of its realizers) as its defenders, and the [...]

La regretté Thylacine et le Loup ont une boite crânienne, des mâchoires, extrêmement similaires. Or l'un était un marsupial et l'autre est un placentaire.Ce bel [...]

Lors de cet exposé, nous montrerons comment étendre les résultats connus de P.-L. Lions et E. Feireisl concernant l'existence globale de solutions faibles pour Navier-Stokes [...]

TBA

L'étude du lambda-calcul probabiliste est habituellement restreinte à des stratégies de réductions limitées. Notre objectif est d'étudier le calcul obtenu en ôtant toute contrainte sur [...]

Adaptation lies at the heart of Darwinian evolution. Natural populations are constantly faced with environmental changes that force them to either adapt or go extinct [...]

On considère la question de contrôlabilité de l'équation d'Euler non isentropique pour les gaz compressibles polytropiques en dimension 1, dans le contexte de solutions faibles [...]

Dans le cadre des marches aléatoires en milieu aléatoires à vitesse variable sur Z^d, modèle qui sera défini, il a été établi depuis 1986 la [...]

En mécanique des fluides, les équations de Navier-Stokes sont des équations aux dérivées partielles non linéaires qui décrivent le mouvement des fluides newtoniens (donc des [...]

We study the distributions of the random Dirichlet series with parameters $(s, \beta)$ defined by $$ S=\sum_{n=1}^{\infty}\frac{I_n}{n^s}, $$ where $(I_n)$ is a sequence of independent [...]

We introduce the theory IH of interacting Hopf algebras, parametrised over a principal ideal domain R. The axioms of IH are derived using Lack’s approach [...]

Nous présenterons la théorie de l'involution pour les systèmes d'EDP sous contraintes. Nous verrons comment elle permet d'éviter des discrétisations particulières pour différentes variables imposées [...]

TBA[http://www.uam.es/personal_pdi/ciencias/jvazquez/]

Dans cet exposé, je montrerai un théorème d'équidistribution pour les sous-variétés totalement géodésiques dans les variétés compactes localement symétriques. Dans le cas des espaces symétriques [...]

Le fait qu’une mesure positive ν, définie sur le plan complexe, soit suffisamment dense sur son support est une condition suffisante pour qu’elle satisfasse la [...]

We formalize the problem of detecting a community in a network into testing whether in a given (random) graph there is a subgraph that is [...]

Buhovsky a observé que le fameux théorème de rigidité d'Eliashberg-Gromov est une consequence immédiate de l'unicité des générateurs de hamiltonniens topologiques. Dans le même cercle [...]

Les puissances des matrices à coefficients dans le semianneau dit tropical, sont données par les poids de marches sur des graphes pondérés, optimales en certains [...]

Estimating divergence times, understanding molecular evolutionary mechanisms, or testing macroevolutionary hypotheses about patterns of diversification and morphological evolution, are usually considered as separate research questions, [...]

Je vais définir deux familles de représentations des groupes modulaires des surfaces appelées représentations de Weil et représentations de Reshetikhin-Turaev. Je vais ensuite énoncer un [...]