Localisation

Adresses

Aix-Marseille Université
Institut de Mathématiques de Marseille (I2M) - UMR 7373
Site Saint-Charles : 3 place Victor Hugo, Case 19, 13331 Marseille Cedex 3
Site Luminy : Campus de Luminy - Case 907 - 13288 Marseille Cedex 9

Les prochains séminaires de l'I2M

Événements passés

Diagrammes de cordes pour la représentation des réseaux de preuves

Diagrammes de cordes pour la représentation des réseaux de preuves

Matteo Acclavio (I2M, Aix-Marseille Université)

21/01/2016    
11h00 - 12h00
TBA
20 Jan

Un modèle nul pour la distribution de l'effet des mutations sur la fitness: application de la théorie des matrices aléatoires dans un réseau phénotypique complexe et intégré

(...)

20/01/2016    
11h20 - 12h20
Models relating phenotype space to fitness (phenotype-fitness landscapes) have seen important developments recently. They can roughly be divided into mechanistic models (e.g., metabolic networks) and [...]
19 Jan

Pas de séminaire

(...)

19/01/2016    
11h00 - 12h00
La fonction volume sur les variétés de caractères

La fonction volume sur les variétés de caractères

Antonin Guilloux (...)

18/01/2016    
14h00 - 15h00
On considère une variété M et son groupe fondamental G. La variété des caractères de G ou M à valeurs dans SL(n,C) est l'espace des [...]
La méthode des marches ascendantes ; application aux solutions de l'équation de Cauchy Riemann et de l'équation associée au laplacien de Hodge

La méthode des marches ascendantes ; application aux solutions de l'équation de Cauchy Riemann et de l'équation associée au laplacien de Hodge

Eric Amar (Institut de Mathématiques de Bordeaux)

18/01/2016    
10h00 - 11h00
Après avoir rappelé la méthode des marches ascendantes, on va l’appliquer pour obtenir des estimations de type Lr-Ls sur les solutions de l’équation dbar u [...]
Complémentabilité et maximalité, en théorie ergodique et en théorie des filtrations - Christophe Leuridan

Complémentabilité et maximalité, en théorie ergodique et en théorie des filtrations - Christophe Leuridan

Christophe Leuridan (Institut Fourier, Université de Grenoble-Alpes)

15/01/2016    
11h00 - 12h00
Soit $(E,{\cal E},\pi,T)$ un système dynamique. Un facteur de $T$ est une sous-tribu de ${\cal E}$ invariante par $T$. Un facteur ${\cal A}$ est dit [...]
13 Jan

Complexité moyenne d'algorithmes de pattern matching et optimalité

(...)

13/01/2016    
11h00 - 12h00
Nous étudions la vitesse asymptotique d'algorithmes de pattern matching cherchant un motif $w$ dans un texte aléatoire Bernoulli. La vitesse asymptotique est définie comme la [...]
12 Jan

Un résultat de rigidité pour les problèmes elliptiques surdéterminés

(...)

12/01/2016    
11h00 - 12h00
Les systèmes elliptiques surdéterminés apparaissent dans beaucoup de problèmes des Mathematiques appliquées, car il sont souvent associés aux conditions d'équilibre de systèmes physiques. La classification [...]
Dynamique d'une famille de transformations de Jonquières

Dynamique d'une famille de transformations de Jonquières

Julie Deserti (...)

11/01/2016    
14h00 - 15h00
Considérons la famille de transformations birationnelles du plan projectif complexe définie par $f_{\alpha,\beta}=((\alpha x+y)/(x+1),\beta y)$ où $\alpha$, $\beta$ désignent deux nombres complexes de module 1. [...]
Determinantal point processes

Determinantal point processes

Alexander Bufetov (I2M, CNRS, Marseille)

08/01/2016    
14h00 - 17h00
For this Friday: In the talk, I will remind the connections between locally semisimple (LS) algebras and their traces on one side and Bratteli diagrams [...]
Le modèle relationnel est injectif pour MELL

Le modèle relationnel est injectif pour MELL

Daniel de Carvalho (Innopolis University, Republic of Tatarstan, Russie)

07/01/2016    
11h00 - 12h00
On montre que la sémantique relationnelle est injective pour le fragment multiplicatif exponentiel des réseaux de preuve de la logique linéaire, c'est-à-dire que l'égalité entre [...]
Discrétisations d'applications linéaires et applications aux difféomorphismes

Discrétisations d'applications linéaires et applications aux difféomorphismes

Pierre-Antoine Guihéneuf (IMJ-PRG, Sorbonne Université, Paris)

05/01/2016    
11h00 - 12h00
Est-il possible de faire tourner plusieurs fois une image numérique sans perdre en qualité ? Dans cet exposé, on étudiera ce problème pour l'algorithme le [...]
05 Jan

Accélération des diffusions par les champs de vecteurs

(...)

05/01/2016    
11h00 - 12h00
On va utiliser les champs de vecteurs à divergences nulles pour pousser le trou spectral de l'opérateur $\Delta+b.\nabla$ vers l'infini.
Sur la géométrie du graphe des flips

Sur la géométrie du graphe des flips

Valentina Disarlo (...)

04/01/2016    
14h00 - 15h00
Le graphe des flips d'une surface pointée orientable est un graphe dont les sommets sont données par les triangulations idéales de la surface et dont [...]
15 Dec

Ouverture du Projet "Probabilités & Approximations Diophantiennes"

Journée (I2M, Luminy, Marseille)

JOURNÉE THÉMATIQUE Intervenants : - - 10h : Paulo Varandas (UFBA, Brazil) * On the complexity and variational relation for semigroup actions One of the [...]
15 Dec

Control of a heterogeneous population of cancerous cells.

(...)

15/12/2015    
11h00 - 12h00
We propose to present a mathematical model of heterogeneous tumor growth based on experiments by M. Carré. This model is a competition ODE model and [...]
A cubical flat torus theorem

A cubical flat torus theorem

Daniel Wise (...)

14/12/2015    
14h00 - 15h00
I will describe a “cubical flat torus theorem” for a group G acting properly and cocompactly on a CAT(0) cube complex. This states that every [...]
Titre à préciser - Mathieu Faure

Titre à préciser - Mathieu Faure

Mathieu Faure (GREQAM, Aix-Marseille University)

11/12/2015    
11h00 - 12h00
TBA
Typed realizability for first-order classical analysis

Typed realizability for first-order classical analysis

Valentin Blot (University of Bath)

10/12/2015    
14h00 - 15h00
We describe a realizability framework for classical first-order logic in which realizers live in (a model of) typed lambda-mu-calculus. This allows a direct interpretation of [...]
Secured By miniOrange