Séminaires I2M
Séminaires par thème de recherche
- Séminaire Analyse Appliquée
- Séminaire Analyse et Géométrie
- Séminaire Arithmétique et Théorie de l’Information (ATI)
- Séminaire CENTURI (transverse)
- Séminaire CWS (Combinatorics on Words Seminar)
- Séminaire Doctorants CPT/I2M à Luminy
- Séminaire Doctorants Saint-Charles
- Séminaire Ernest
- Séminaire de Géométrie et de Topologie de Marseille
- Séminaire Hypatie (transverse PROBA Lyon-Marseille)
- Séminaire IOSSB (Interdisciplinary online seminar series on Biolocomotion)
- Séminaire Kifékoi
- Séminaire La Madeleine d’Euclide (inter-labos, FRUMAM)
- Séminaire Logique et Interactions
- Séminaire MABioS
- Séminaire Mathématiques, Évolution, Biologie (MEB)
- Séminaire Probabilités
- Séminaire Rauzy
- Séminaire Représentations des Groupes Réductifs (RGR)
- Séminaire Signal et Apprentissage (transverse)
- Séminaire Statistique
Événements passés
14
Sep
Deux définitions alternatives des ω-catégories (et leurs généralisations homotopiques)
Félix Loubaton (Labo J. Dieudonné, Nice)
Nous donnerons deux définitions alternatives des ω-catégories. La première repose sur la catégorie Θ de Joyal et la deuxième sur le nerf de Street et [...]
14
Sep
Rational homotopy type of the moduli space of stable rational curves
(...)
In 2004, Manin asked whether the cohomology of the moduli space of stable rational curves with n marked points (= the Deligne-Mumford compactification of the [...]
12
Sep
Analysis of Coupled Atmosphere-Ocean Models
(...)
In this talk we consider various coupled atmposhere-ocean models as introduced by Lions, Temam and Wang. We analyze in particular three circles of problems: coupling [...]
11
Sep
08
Sep
Un usurpateur pour le pseudo-Anosov d'Arnoux-Yoccoz
Thomas Schmidt (...)
En 1981, Arnoux et Yoccoz ont donné les premiers exemples de pseudo-Anosov dont la dilatation est de degré impair. En 1985, D. Fried a déduit [...]
06
Jul
Surfaces dans R^4 et entrelacs
(...)
L'intersection (transverse) d'une surface plongée de façon lisse dans R4 avec un hyperplan R3 est une courbe de dimension 1. Quel type de courbe peut-on [...]
Introduction to the representation theory of Lie groups
(...)
As the title says, I wanted to do an introduction to the representation theory of Lie groups. But I realized that this beautiful theory turns [...]
29
Jun
A geometric foundation for virtual knot theory
(...)
The theory of knots in R^3 has both a geometric model and a diagrammatic model. The geometric model views a knot as point in a [...]
29
Jun
Concurrent Realizability on Conjunctive Structures
Étienne Miquey (I2M)
This work aims at exploring the algebraic structure of concurrent processes and their behavior independently of a particular formalism used to define them. We propose [...]
29
Jun
Strategies as Resource Terms, and their Categorical Semantics
Lison Blondeau-Patissier (I2M & LIS)
As shown by Tsukada and Ong, normal (extensional) simply-typed resource terms correspond to playsin Hyland-Ong games, quotiented by Melliès’ homotopy equivalence. Though inspiring, their proofis [...]
27
Jun
A nonlinear elliptic PDE from atmospheric science: well-posedness and regularity at cloud edge
(...)
To describe the atmosphere on a synoptic scale (the scale at which weather fronts are apparent on a weather map, for example) one may use [...]
26
Jun
23
Jun
22
Jun
Normalizing renormalization (2)
(...)
Renormalization is one of the most powerful conceptual frameworks in theoretical physics. Renormalization was first introduced as a systematic tool for subtracting ultraviolet divergences in [...]
22
Jun
Pascal, Fermat, le problème des partis et la naissance du concept d’espérance mathématique
Pierre Mathieu (I2M)
Il sera question de la correspondance échangée entre Fermat et Pascal en 1654, et de bien d'autres choses encore.
22
Jun
Simply typed β-convertibility is TOWER-complete even for safe λ-terms
Lê Thành Dũng (Tito) Nguyễn (ENS Lyon)
We consider the following decision problem: given two simply typed λ-terms, are they β-convertible? Equivalently, do they have the same normal form? It is famously [...]
22
Jun
Aspects métriques et spectraux des courbes planes aléatoires
(...)
Résumé : Une courbe plane (complexe) est le lieu zéro dans CP2 d’un polynôme complexe homogène en trois variables. Toute courbe plane est munie d’une [...]
21
Jun
Journée Systèmes Dynamiques Marseille-Avignon 2023 : dynamique symbolique
(...)
Marie-Pierre Béal a dû annuler sa venue. 9h45 : Ilkka Törmä (Université de Turku, Finlande) : Generic limit sets of cellular automata: structure and applications [...]
20
Jun
Dynamics of Ostrowski skew-product: Limit laws and Hausdorff dimensions
(...)
We discuss dynamical and multifractal aspects of the Ostrowski map, which is given by the skew-product extension of continued fraction transformation. We plan to outline [...]
