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

Unambiguously coded systems

Unambiguously coded systems

Dominique Perrin

We survey the notion of unambiguity for automata representing languages or shift spaces.  We relate this notion with that of recognizability for morphisms, as in [...]
Fusible numbers and Peano Arithmetic

Fusible numbers and Peano Arithmetic

Gabriel Nivasch

Inspired by a mathematical riddle involving fuses, we define a set of rational numbers which we call "fusible numbers". We prove that the set of [...]
Exploiting local regularity properties to boost and expand safe-screening

Exploiting local regularity properties to boost and expand safe-screening

Emmanuel Soubiès

11/06/2021    
14h30 - 15h30
A powerful strategy to boost the performance of sparse optimization algorithms is known as safe screening: it allows the early identification of zero coordinates in [...]
Décroissance des coefficients de Fourier des mesures  stationnaires et terme d'erreur exponentiel pour le théorème de  renouvellement

Décroissance des coefficients de Fourier des mesures stationnaires et terme d'erreur exponentiel pour le théorème de renouvellement

Jialun Li

11/06/2021    
11h00 - 12h00
Soit mu une mesure de probabilité borélienne sur SL2(R) avec un  moment exponentiel, telle que le support de mu engendre un sous-groupe Zariski dense dans [...]
Cohomologie des groupes arithmétiques et endoscopie

Cohomologie des groupes arithmétiques et endoscopie

Mathilde Gerbelli-Gauthier

Quel est le taux de croissance des nombres de Betti dans une tour de variétés arithmétiques compactes de congruence ? La dimension de la cohomologie [...]
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion

Giulio Guerrieri

10/06/2021    
10h30 - 11h30
A Multiplicative-Exponential Linear Logic (MELL) proof-structure can be expanded into a set of resource proof-structures: its Taylor expansion. We introduce a new criterion characterizing those [...]
08 Juin

Théorie du centre guide

Floran Cassin

Cette semaine, Floran Cassin (GDAC / ENS Paris-Saclay) présente un modèle du mouvement d'une particule dans un champ électromagnétique. ▸ Les doctorant⋅es de l'I2M et [...]
Structures de Hodge mixtes sur les idéaux de saut de cohomologie

Structures de Hodge mixtes sur les idéaux de saut de cohomologie

Louis-Clément Lefèvre

08/06/2021    
11h00 - 12h00
Pour une variété algébrique complexe X, les représentations linéaires du groupe fondamental de X sont paramétrées par un espace de modules qui a une structure [...]
08 Juin

Séminaire Géométrie Complexe Louis-Clément LEFÈVRE 08/06

08/06/2021    
11h00 - 12h00
Séminaire Géométrie Complexe Louis-Clément LEFÈVRE (Duisburg-Essen, Allemagne) le 08/06 à 11 H sur ZOOM.   Titre : Structures de Hodge mixtes sur les idéaux de [...]
Malliavin-type remainders for Beurling generalized prime number systems

Malliavin-type remainders for Beurling generalized prime number systems

Gregory Debruyne

A Beurling generalized prime number system is an unbounded sequence 1 < p1 ≤ p2 ≤ …. These form the generalized primes of the system [...]
Robust image representation for classification and object discovery

Robust image representation for classification and object discovery

Oriane Siméoni

04/06/2021    
14h30 - 15h30
Neural network representations proved to be relevant for many computer vision tasks such as image classification, object detection, segmentation or instance-level image retrieval. A network [...]
Généralisations des algèbres de Hecke à partir des groupes de tresses de cercles + IA et détection précoce du cancer du sein

Généralisations des algèbres de Hecke à partir des groupes de tresses de cercles + IA et détection précoce du cancer du sein

Céleste Damiani

04/06/2021    
11h00 - 12h00
Le travail que je vais présenter est inspiré par la révolution du groupe de tresses initiée par Jones au début des années 80. On part [...]
Interplay between AI and cybersecurity: robustness and explainability of machine learning models

Interplay between AI and cybersecurity: robustness and explainability of machine learning models

Ronan Hamon

28/05/2021    
14h30 - 15h30
The increased uptake of Artificial Intelligence (AI) technologies in industry and society leads to a stronger reliance on digital systems, with higher potential impacts in case [...]
Une inégalité de Cheeger pour les 1-formes

Une inégalité de Cheeger pour les 1-formes

Adrien Boulanger

28/05/2021    
11h00 - 12h00
L'inégalité de Cheeger est une inégalité qui donne une borne inférieure de nature géométrique à la première valeur propre (non nulle) du laplacien agissant sur [...]
Diagonalisation simultanée de matrices incomplètes et applications

Diagonalisation simultanée de matrices incomplètes et applications

Luca Notarnicola

Soient P et Q des matrices de taille p x n, resp. q x n, et de rangs respectifs p, q (<=n) et {U_i}_i une [...]
Compositional relational reasoning via operational game semantics

Compositional relational reasoning via operational game semantics

Guilhem Jaber

27/05/2021    
10h30 - 11h30
We use operational game models as a guide to develop relational techniques for establishing contextual equivalences with respect to contexts drawn from a hierarchy of [...]
25 Mai

Introduction à la théorie des catégories (2)

Léo Hubert

Cette semaine, Léo Hubert (AGLR-LDP) poursuit sa présentation de la théorie des catégories, après une première séance consacrée à une introduction générale. ▸ Les doctorant⋅es [...]
Séparation des exposants de Lyapunov du flot de Teichmüller

Séparation des exposants de Lyapunov du flot de Teichmüller

Vincent Delecroix

21/05/2021    
11h00 - 12h00
Les exposants de Lyapunov sont les valeurs asymptotiques moyennes d'un cocycle linéaire au-dessus d'un système dynamique (typiquement la dérivée). L'exemple le plus élémentaire consiste à [...]
Variétés abéliennes maximales et cyclicité

Variétés abéliennes maximales et cyclicité

Elena Berardini, Alejandro Giangreco

Les variétés abéliennes définies sur les corps finis et leurs groupes de points rationnels sont d'un grand intérêt. Un outil puissant pour étudier les classes [...]
18 Mai

Délocalisation pour le modèle d'Anderson sur un arbre régulier

Adam Arras

Nous poursuivons notre « tour de table » du séminaire des doctorant⋅es : chaque semaine, une personne introduit quelques outils ou résultats liés à son [...]
Secured By miniOrange