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
02
Nov
Infinitary cut elimination via finite approximations
Matteo Acclavio, Gianluca Curzi (U. of southern Denmark, Gothenburg)
We investigate non-wellfounded proof systems based on parsimonious logic, a weaker variant of linear logic where the exponential modality ! is interpreted as a constructor [...]
26
Oct
Structures of Hamiltonian systems: KAM theorem, resonances.
(...)
I begin with a primer on the Hamiltonian flow formalism applied to non-relativistic point mass mechanics (Newton's equations should be the only prerequisite). Upon introducing [...]
26
Oct
Graphical Languages for Quantum Computation
Marc de Visme (INRIA Paris-Saclay)
In this talk, we will go through the basics of graphical languages for quantum computation, their advantages and uses, and the two main traditions of [...]
26
Oct
Groupes de Coxeter hyperboliques
(...)
Je parlerai de deux résultats sur les groupes/polyèdres de Coxeter dans les espaces hyperboliques : la construction (avec N. Bogachev et S. Douba) d'une infinité [...]
25
Oct
Hybrid discontinuous Galerkin methods for convection-diffusion equations
(...)
The goal of this seminar is to introduce the 'Hybridizable Discontinuous Galerkin' method (HDG), a relatively novel numerical method for PDEs. The method gained popularity [...]
23
Oct
20
Oct
Séminaire de rentrée
(...)
TBA. [su_spacer size="10"] Séminaire Signal et Apprentissage[su_spacer size="10"]
20
Oct
Geodesic representatives on surfaces without metrics
Pat Hooper (...)
Geodesic representatives on surfaces without metrics A translation surface is a singular geometric structure on a surface modeled on the plane where transition maps are [...]
19
Oct
19
Oct
Gauge theories : from physics to mathematics. Welcome to the fiber jungle
(...)
For the second episode of this seminar, i hesitated for a while between this title and "Fiber bundles 2: Where the physics' at?" but we [...]
19
Oct
19
Oct
Un ensemble du plan peut-il être atteint uniformément par le mouvement Brownien ?
(...)
Étant donné un ensemble $E$ dans le plan et un point $x$ dans son complémentaire, le point auquel le mouvement Brownien partant de $x$ atteint [...]
17
Oct
Une introduction au groupe de Thompson F
(...)
Le groupe de Thompson F est un sous-groupe du groupe des homéomorphismes linéaires par morceaux de l'intervalle [0,1] qui possède de nombreuses propriétés remarquables qui [...]
17
Oct
17
Oct
Correction de dispersion pour des approximations différences finies de l'équation de Helmholtz
(...)
Cet exposé présentera une technique de correction de dispersion pour des schémas différences finies appliqués à l'équation de Helmholtz. Cette correction est basée sur une [...]
16
Oct
12
Oct
Manifolds, fibers and bundles : an introduction to geometry for non-flat-earthers
(...)
Despite many attempted experiments by our flat-earther friends, physics seem to indicate that the Earth is, in fact, round ! Round you tell me ? [...]
12
Oct
Numérique de l'hyperbolique : volumes finis et solveurs de Riemann.
(...)
Chercher à résoudre analytiquement des systèmes d'EDP issus de modèles physiques est dans la vaste majorité des cas voué à l'échec. Mais comment alors exploiter [...]
12
Oct
From Thin Concurrent Games to Relational Models
Pierre Clairambault (LIS)
Denotational models can roughly be classified in two kinds: static models (domains, relations, coherence spaces, etc), which record atemporal final "states" of completed executions; and [...]
12
Oct
Classification Lipschitz des germes d'espaces singuliers
(...)
Soit $ (X,0) subset ({mathbb R}^n,0) $ un germe d'ensemble analytique réel. Pour tout $epsilon>0$ suffisamment petit, l'intersection de $X$ avec la sphère $S^{n-1}_epsilon$ de [...]
