Agenda
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
lun
mar
mer
jeu
ven
sam
dim
l
m
m
j
v
s
d
2
5
6
7
3:30 PM - Construction d'exemples
9
11
12
13
14
15
16
18
19
20
21
23
2:00 PM - TBA
26
27
11:00 AM - Local obstructions in sequences revisited
2:00 PM - La conjecture locale de Gan-Gross-Prasad
1:30 PM - Réunion commission de prospective
1
2:00 PM - Travaux de Ford sur les diviseurs
3
4
Composition du jury : Mme Laure BLANC-FÉRAUD, CNRS, Rapporteure M. Gilles GASSO, INSA Rouen Normandie, Rapporteur Mme Marianne CLAUSEL, Université de Lorraine , Examinatrice M....
(Séminaire de l’équipe Lirica au LIS) Combinatorial proofs, or “proofs without syntax”, form a graphical semantics of proof in various logics that is canonical yet...
Dans un travail récent, McNew, Pollack et Singha Roy publient plusieurs résultats relatifs à la distribution du facteur premier médian des entiers lorsque ce dernier...
Lambda Fleming-Viot processes and Lambda coalescents were introduced in the early 2000's as a generalisation of the Fleming-Viot process and the Kingman coalescent, respectively. Such...
Dans cet exposé on va considérer le problème de l’approximation des germes d'espaces analytiques (réels ou complexes) de manière equisingulière. On commencera par définir ce...
Les mesures de Schur sont des mesures de probabilités sur les diagrammes de Young dépendant de deux ensembles dénombrables de paramètres. Introduites par Okounkov en...
A guiding problem in algebraic geometry is the classification of varieties. In dimension 1, the main invariant for their classification is the genus. Similarly, in...
Graded Linear Logic is a central development of Linear Logic, quantifying the use of resources in proofs and programs. Differential Linear Logic, on the other...
Motivated by the notion of strong computable type for sets in computable analysis, we define the notion of strong computable type for G-shifts, where G...
Dans cet exposé, on s'intéresse à des estimations de décroissance locale pour l’équation des ondes dans un cadre asymptotiquement Euclidien. En dimensions paires, on va...
I will present recent advances in the understanding of Q_p-pro-etale cohomology of rigid-analytic varieties over Q_p, especially regarding duality and finiteness statements.
La catégorie syntaxique est une construction qui permet de raisonner sur la logique à l'aide des outils de la théorie des catégories. D'un autre côté,...
Les systèmes S-adiques et substitutifs ont une riche théorie dans les cadres unidimensionnels et multidimensionnels, fournissant des outils puissants pour l'étude des sous-décalages. Dans l'espoir...
Depuis plus d'un demi-siècle, les ordinateurs ont acquis le statut d'instruments de recherche incontournables dans de nombreuses branches de mathématiques fondamentales. Leur puissance de calcul...
Consider the following problem about lacunary sequences of positive integers, i.e., nₖ₊₁>(1+e)nₖ for some e>0: Can we find a real θ such that the distances...
Le problème classique de branchement étudie la restriction d'une représentation irréductible à un sous-groupe compact. Les travaux de Gross–Prasad et de Gan–Gross–Prasad ont généralisé ce cadre...
The study of concentration inequalities focuses on upper bounds for the probability that certain statistics of (fixed-size) random samples deviate significantly from their mean (or...
Ordre du jour 1. Propositions AGTAGLRGDAC 2. Màj thématiques prioritaires. 3. Orientation scientifique et stratégique à 10-15 ans AMU.
