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

08 Mar

Diffusion croisée et compétition en Dynamique des populations

08/03/2016    
11h00 - 12h00
En Dynamique des populations, les systèmes de réaction-diffusion croisée modélisent l’évolution de populations d’espèces en compétition avec un effet répulsif entre individus. Pour ces systèmes [...]
08 Mar

Avancées récentes sur la simulation numérique de modèles dispersifs type Green-Naghdi : résolutions RKDG sur maillages triangulaires.

08/03/2016    
10h00 - 11h00
Ce travail est essentiellement consacré aux problèmes de stabilité liés au développement de schémas numériques associés aux modèles d’écoulement classiques utilisés notamment en océanographie côtière. [...]
Sur l'anneau de Chow des varietes hyperKaehleriennes

Sur l'anneau de Chow des varietes hyperKaehleriennes

Charles Vial

07/03/2016    
14h00 - 15h00
J'exposerai des resultats en commun avec Mingmin Shen ou nous montrons que l'anneau de Chow de certaines variétés hyperKaehlériennes a une structure similaire a l'anneau [...]
Volume fluctuations of random analytic varieties

Volume fluctuations of random analytic varieties

Xavier Massaneda

07/03/2016    
10h00 - 11h00
Given a Gaussian analytic function fL of intensity L in the unit ball of ℂn, consider its (random) zero variety Z(fL). We study the variance [...]
Processus de contact dans des réseaux sans échelle évolutifs - Emmanuel Jacob

Processus de contact dans des réseaux sans échelle évolutifs - Emmanuel Jacob

Emmanuel Jacob

04/03/2016    
11h00 - 12h00
Nous étudions le processus de contact sur des réseaux sans échelle évolutifs, où chaque sommet met à jour ses connexions en des temps aléatoires indépendants. [...]
dPAω: a dependently-typed classical arithmetic in finite types which proves dependent choices

dPAω: a dependently-typed classical arithmetic in finite types which proves dependent choices

Hugo Herbelin

03/03/2016    
11h00 - 12h00
We extend classical arithmetic in finite types with an intuitionistically-restricted form of strong projection of existential quantification. In this system, by turning countable universal quantification [...]
02 Mar

La saga des virus géants : combiner les données pour comprendre qui ils sont

02/03/2016    
11h00 - 12h00
Il y a maintenant une douzaine d’années fut découvert Mimivirus, le premier virus géant. Ce virus d’amibe a longtemps été pris pour une bactérie intracellulaire [...]
SRB measures for polygonal billiards with contracting reflection laws

SRB measures for polygonal billiards with contracting reflection laws

José Pedro Gaivão

01/03/2016    
11h00 - 12h00
The billiard map of a polygonal billiard with the standard refection law is conservative and non-chaotic. Completely different dynamics arises when the reflection law is [...]
01 Mar

Modelling phase separation with coupled elliptic equations: recent results on the asymptotic analysis

01/03/2016    
11h00 - 12h00
We consider a family of positive solutions to the system of k components $-\Delta u_{i,\beta}=f(x,u_{i,\beta})-\beta u_{i,\beta}\sum_{j\neq i}a_{i,j}u_{j,\beta}^2$ in $\Omega \subset R^N$ with $N\geq 2$. It [...]
01 Mar

Approximation en gradient du problème de Monge

01/03/2016    
10h00 - 11h00
Le problème du transport optimal consiste à minimiser l'énergie totale du déplacement parmi les fonctions vectorielles à mesure image prescrite. Dans cet exposé, on s'intéresse [...]
29 Fév

Construire des espaces-temps avec de la géométrie riemannienne

29/02/2016    
14h00 - 15h00
Après une brève introduction à la notion d'espace-temps, nous aborderons le thème des données initiales relativistes. Le problème devient alors purement riemannien et amène de [...]
Approximation diophantienne sur l'ensemble triadique de Cantor

Approximation diophantienne sur l'ensemble triadique de Cantor

Arnaud Durand

29/02/2016    
10h00 - 11h00
Pour μ ≥ 2, on désigne par M(μ) l’ensemble des nombres réels approchables à l’ordre au moins μ par des nombres rationnels. Il y a [...]
Titre à préciser - Camille Tardif

Titre à préciser - Camille Tardif

Camille Tardif

26/02/2016    
11h00 - 12h00
TBA
Sur la séparation de caractères par le Frobenius

Sur la séparation de caractères par le Frobenius

Charlotte Euvrard

25/02/2016    
11h00 - 12h00
Après avoir rappelé la définition et les principales propriétés des fonctions $L$ d'Artin, nous énonçons deux théorèmes donnant des bornes sur le nombre d'invariants permettant [...]
Open Call-by-Value

Open Call-by-Value

Giulio Guerrieri

25/02/2016    
11h00 - 12h00
The elegant theory of the call-by-value lambda-calculus relies on weak evaluation and closed terms, that are natural hypotheses in the study of programming languages. To [...]
23 Fév

Estimations de fonctions dans deux modèles biologiques

23/02/2016    
11h00 - 12h00
Nous présenterons deux problèmes issus de domaines différents de la biologie (biologie cellulaire et neurobiologie), qui sont abordés grâce à un outil mathématique commun.Le premier [...]
All automatic sequences satisfy the full Sarnak conjecture

All automatic sequences satisfy the full Sarnak conjecture

Clemens Müllner

23/02/2016    
11h05 - 12h00
We use analytic tools to prove that the dynamical system corresponding to any automatic sequence fulfils the Sarnak conjecture. In particular, any complex valued automatic [...]
Sur le groupe d'automorphismes d'un groupe d'Artin à angles droits

Sur le groupe d'automorphismes d'un groupe d'Artin à angles droits

Javier Aramayona

22/02/2016    
14h00 - 15h00
Les groupes d'automorphismes des groupes d'Artin à angles droits (RAAGs) forment une classe de groupes intéressante, laquelle interpole entre les cas extrêmes de Aut(F_n) et [...]
Quasi-Symmetries of Determinantal Point Processes

Quasi-Symmetries of Determinantal Point Processes

Alexander Bufetov

The first result of the talk is that determinantal point processes on Z induced by integrable kernels are quasi-invariant under the action of the infinite [...]
17 Fév

Apports de la systématique à la domestication de nouvelles espèces en aquaculture : applications aux premiers stades de vie

17/02/2016    
11h00 - 12h00
L’agriculture mondiale repose aujourd’hui sur la culture et l’élevage d’un nombre très faible d’espèces terrestres qui ont été domestiquées au cours des derniers millénaires (Diamond, [...]
Secured By miniOrange