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
08
Sep
Why Are Proofs Relevant in Proof-Relevant Models?
Axel Kerinec
Relational models of 𝜆-calculus can be presented as type systems, the relational interpretation of a 𝜆-term being given by the set of its typings. Within [...]
07
Sep
Cobordismes ribbon entre nœuds et entre variétés de dimension trois
Filip Misev
Un cobordisme "ribbon" entre 3-variétés est un cobordisme qui peut être construit sans utiliser de 3-anses. L'absence de 3-anses donne une direction à un cobordisme [...]
Analyzing districts with data and random walks
Diana Davis
In the United States, gerrymandering is the practice of drawing political district boundaries in a way that advantages one group (political party, racial group, candidate) [...]
07
Juil
Présentations de stages de master
Mathilde Guillaud, Yohann Lebouazda
Présentation des travaux effectués par les étudiant⋅es du M2 de Physique dans le cadre de stages au sein du CPT. Mathilde Guillaud, « Beyond freeze-out: [...]
07
Juil
Jeux concurrents et jeux de gabarits
Victor Blanchi
La sémantique des jeux permet de modéliser finement un langage de programmation en s'intéressant à l'interaction entre un programme et son environnement. Ce champ regroupe [...]
Une méthode calculatoire pour les adjoints à gauche
Simon Forest
Les catégories sont, en toute généralité, des objets beaucoup trop gros pour faire l'objet d'un traitement informatique. En effet, une structure dont les éléments (objets [...]
L'origine de la dynamique linéaire
Fernando Costa Jr.
Les systèmes dynamiques peuvent être étudiés du point de vue géométrique, topologique, analytique, etc. En effet, la thématique de recherche "Systèmes Dynamiques" est très large [...]
23
Juin
Jeux concurrents et jeux de gabarits
Victor Blanchi
Présentation des travaux effectués dans le cadre d'un stage au sein de l'I2M. Le séminaire des doctorant⋅es de l'I2M et du CPT à Luminy [...]
Propagation de paquets d'ondes et problèmes de croisements de valeurs propres.
Lysianne Hari
Dans cet exposé, nous étudierons la propagation de paquets d'ondes ou (états cohérents) pour un système de deux équations de Schrödinger couplées, dans la limite [...]
Variétés des caractères des noeuds et leur réductions mod p
Luisa Paoluzzi
Étant fixé un corps algébriquement clos K et un groupe de présentation finie G, la variété X_K(G) des caractères SL_2(K) de G est une variété [...]
16
Juin
Can the Standard Model really be discretized in space-time?
Willem Verplanke
The Standard Model is, alongside General Relativity, one of the biggest successes in physics. It has been tested to a tremendous accuracy by e.g. experiments [...]
16
Juin
Symplectic Monodromy at radius 0 and equimultiplicity of families of hypersurfaces with constant Milnor number
Javier Fernandez de Bobadilla
Abstract: (joint work with T. Pelka) We prove the Zariski multiplicity conjecture for families of isolated hypersurface singularities. For it we show how to construct a [...]
Integral representations related to triple product L-functions
Jayce Getz
Triple product L-functions are the Langlands L-functions attached to a triple of automorphic representations of GL_{r_i} for positive integers r_1,r_2,r_3 and the tensor product representation [...]
Valeurs polynomiales quartiques avec un grand facteur premier : les cas diédraux et cycliques
Cécile Dartyge
Soit P un polynôme à coefficients entiers, unitaire, irréductible, de degré 4 et de groupe de Galois diédral ou cyclique. Il existe 𝑐 = 𝑐(𝑃) [...]
10
Juin
SVM hyperbolique et ingénierie du noyau
Aya El Dakdouki
Dans l’apprentissage automatique, les machines à vecteurs de support (SVM) sont un ensemble de techniques d’apprentissage supervisé destinéesà résoudre des problèmes de discrimination et de [...]
Formalisme thermodynamique non-linéaire
Benoît Kloeckner
Le formalisme thermodynamique est un ensemble d'outils et de concepts inspirés de la physique et utilisés en dynamique hyperbolique, qui permet par exemple de produire [...]
09
Juin
Sequential algorithms and friends
Workshop
WORKSHOP The purpose of this workshop is to survey the state of the art of sequential algorithms, and to explore connections, whether well established or [...]
Une approche fonctionnelle de l'étude de la croissance des degrés d'applications rationnelles
Nguyen-Bac Dang
Dans cet exposé issu d'un travail en commun avec Charles Favre, je vais étudier la croissance de la suite des degrés algébriques des itérés d'une [...]
