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

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 Déc

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 Déc

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 [...]
Fixed-point elimination in the Intuitionisitic Propositional Calculus

Fixed-point elimination in the Intuitionisitic Propositional Calculus

Luigi Santocanale (LIF, Aix-Marseille Université)

10/12/2015    
10h30 - 11h30
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras—that is, the algebraic models of the Intuitionistic [...]
09 Déc

Detection of (adaptive) shifts on phylogenies using shifted stochastic processes on a tree

(...)

09/12/2015    
11h00 - 12h00
Comparative and evolutive ecologists are interested in the distribution of quantitative traits among related species. The classical framework for these distributions consists of a random [...]
Modèles géométriques pour les substitutions réductibles ou hyperboliques

Modèles géométriques pour les substitutions réductibles ou hyperboliques

Milton Minervino (I2M, Aix-Marseille Université)

08/12/2015    
11h00 - 12h00
Les systèmes dynamiques symboliques engendrés par des substitutions de type Pisot irréductibles ont une jolie interpretation géométrique donnée par les fractals de Rauzy. On est [...]
Curves and matrix factorizations

Curves and matrix factorizations

Fabio Tanturri (I2M, Aix-Marseille Université)

07/12/2015    
14h00 - 15h00
A possible approach to prove the unirationality or the uniruledness of the moduli spaces of curves or other interesting spaces is the explicit construction of [...]
Generalized Carleson-Newman inner functions and entropy

Generalized Carleson-Newman inner functions and entropy

Alexander Borichev (I2M, Aix-Marseille Université)

07/12/2015    
10h00 - 11h00
We study a class of inner functions introduced by Gorkin, Mortini, and Nikolski, and motivated by Banach algebras and functional calculus applications. Answering their question, [...]
Scaling limits for sub-ballistic biased random walks in positive random conductances - Daniel Kious

Scaling limits for sub-ballistic biased random walks in positive random conductances - Daniel Kious

Daniel Kious (Ecole Polytechnique Fédérale de Lausanne (EPFL))

04/12/2015    
11h00 - 12h00
TBA http://people.epfl.ch/daniel.kious?lang=fr
La décohérence, kécékssa?

La décohérence, kécékssa?

Maxime Hauray (I2M, Aix-Marseille Université)

03/12/2015    
13h00 - 13h30
La décohérence quantique est une théorie susceptible d'expliquer la transition entre les règles physiques quantiques et les règles physiques classiques telles que nous les connaissons, [...]
02 Déc

Coala, une méthode d’inférence des paramètres de cophylogénie par approche ABC.

(...)

02/12/2015    
11h00 - 12h00
L’histoire évolutive de systèmes en étroite relation peut être marquée par de la co-évolution, à savoir l’influence mutuelle exercée sur leur évolution par deux ensembles [...]
Cops, robbers, infinite graphs and related problems

Cops, robbers, infinite graphs and related problems

Gena Hahn (Université de Montréal, Canada)

01/12/2015    
14h30 - 15h30
We briefly survey the game of cops-and-robbers on graphs and its variants in the finite case and then concentrate on infinite graphs, stressing the difference [...]
On a group-theoretic generalization of the Morse-Hedlund theorem

On a group-theoretic generalization of the Morse-Hedlund theorem

Svetlana Puzynina (Sobolev Institute of Mathematics, Novosibirsk, Russia)

01/12/2015    
11h00 - 12h00
In their 1938 seminal paper on symbolic dynamics, Morse and Hedlund proved that every aperiodic infinite word x contains at least n+1 distinct factors of [...]
Secured By miniOrange