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
19
Sep
Convolution of periodic multiplicative functions and the divisor problem
Marco Aymone
This is a continuation of my previous talk in Marseille. I will speak about a joint work with Maiti, Ramaré and Srivastav where we showed [...]
18
Sep
18
Sep
On Z_2 index and String Order of Gapped Ground States of 1+1 dim interacting Fermion Systems
In this talk, we explain our results on classification of gapped ground states of 1+1 dim interacting Fermion systems. In case of non-interacting Fermion systems [...]
14
Sep
Deux définitions alternatives des ω-catégories (et leurs généralisations homotopiques)
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
Juil
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
Juin
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
Juin
Concurrent Realizability on Conjunctive Structures
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
Juin
Strategies as Resource Terms, and their Categorical Semantics
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
Juin
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
Juin
23
Juin
22
Juin
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
Juin
Pascal, Fermat, le problème des partis et la naissance du concept d’espérance mathématique
Pierre Mathieu
Il sera question de la correspondance échangée entre Fermat et Pascal en 1654, et de bien d'autres choses encore.
22
Juin
Simply typed β-convertibility is TOWER-complete even for safe λ-terms
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 [...]
