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
Coherent differentiation
Thomas Ehrhard (IRIF, Université de Paris)
The categorical models of the differential lambda-calculus are additive categories because of the Leibniz rule which requires the summation of two expressions. This means that, [...]
07
Sep
Chemins de Kloosterman de module une puissance d'un nombre premier
Guillaume Ricotta (IMB, Univ. Bordeaux)
Considérons les chemins dans le plan complexe fabriqué à l'aide des sommes de Kloosterman normalisées S(a, b ; pn) / pn/2 lorsque p est un nombre premier (destiné à tendre vers [...]
Sémantiques relationnelles et traductions modales pour Generalized Basic Logic
Wesley Fussner (Laboratoire Dieudonné, Université Côte d'Azur)
« Generalized Basic Logic » est une logique sous-structurelle située à l'intersection de la « Basic Logic » de Hájek et de la logique intuitionniste [...]
Differentially-private sliced Wasserstein distance
Liva Ralaivola (Criteo AI Lab)
Developing machine learning methods that are privacy preserving is today a central topic of research, with huge practical impacts. Among the numerous ways to address [...]
Orbites périodiques du billard dans un pentagone régulier
Samuel Lelièvre (LMO, Université Paris-Saclay)
On présente une énumération des trajectoires périodiques pour le billard dans le pentagone régulier. Cette énumération s'appuie sur un analogue de l'arbre de Farey ou [...]
29
Juin
Schémas de partage de secrets
Jean Gasnier (ENS de Rennes / I2M, Aix-Marseille Université)
Cette semaine, Jean Gasnier (ENS de Rennes / ATI) présente des travaux en cryptographie réalisés dans le cadre d'un stage à l'I2M. ▸ Les doctorant⋅es [...]
Learning with low-rank approximations
Jérémy Cohen (IRISA, équipe PANAMA, CNRS, Rennes)
Matrix and tensor factorizations are widespread techniques to blindly extract structure out of data. Research on tensor methods is rapidly growing and encompases many aspect [...]
The concurrent games abstract machine
Pierre Clairambault (LIP, ÉNS Lyon)
In this talk, I will introduce the concurrent games abstract machine: a multi-token machine for Idealized Parallel Algol (IPA), a higher-order concurrent programming language with [...]
22
Juin
Quantales de Girard / Réseaux de preuve pour la réduction parallèle
Cédric de Lacroix, Giulia Manara (LIS / I2M, Aix-Marseille Université)
Cette semaine, Cédric de Lacroix de Lavalette (LIS) et Giulia Manara (AGLR-LDP) présentent les travaux qu'ils ont effectué pour leur stage de master, dans le [...]
22
Juin
Séminaire de Géométrie Complexe Mardi 22 juin à 11 h exposé de Joel Fine (Bruxelles) sur ZOOM
(...)
Joel Fine (Bruxelles) Title: Knots, minimal surfaces and J-holomorphic curves. Abstract: I will describe work in progress, parts of which are joint with Marcelo [...]
22
Juin
Seminaire de Géométrie Complexe Joel Fine (Université libre de Bruxelles)
(...)
Seminaire de Géométrie Complexe Joel Fine (Université libre de Bruxelles) Titre: TBA Résumé: TBA
Oscillation phenomena for quadratic characters
Oleksiy Klurman (Institut Max-Planck Bonn)
Building on the influential ideas of Baker and Montgomery, we discuss progress related to the following three problems: 1) how many real zeros does a [...]
Knots, minimal surfaces and J-holomorphic curves
Joel Fine (Université Libre de Bruxelles)
I will describe work in progress, parts of which are joint with Marcelo Alves. Let L be a knot or link in the 3-sphere. I [...]
Majority vote learning in PAC-bayesian theory: state of the art and novelty
Paul Viallard (Laboratoire Hubert Curien, Data Intelligence Team, Saint-Étienne)
In machine learning, ensemble methods are ubiquitous: Boosting, Bagging, Support Vector Machine or Random Forest are famous examples. Here we focus on models expressed as [...]
Interpolation pour les processus ponctuels déterminantaux
Alexander Bufetov (I2M, Aix-Marseille Université)
TBA Lien de connexion zoom : https://univ-amu-fr.zoom.us/j/91044380053?pwd=cU41b0F6b1dxTUxMVHJlNnpjc2QzQT09 ID de réunion : 910 4438 0053 Code secret : voir mail
17
Juin
Points de torsion sur les courbes elliptiques
Zoé Yvon (I2M, Aix-Marseille Université)
Cette semaine, Zoé Yvon (ATI) présente les courbes elliptiques et leurs points de torsion, objets algébriques au cœur de sa thèse en arithmétique. ▸ Les [...]
Functoriality of endoscopic transfer for general symplectic and even orthogonal groups
Bin Xu (Tsinghua University, China)
Langlands’ functoriality conjecture reveals a deep connection of automorphic representations among different reductive groups. Most known cases of functoriality fit into the theory of endoscopy, [...]
Unambiguously coded systems
Dominique Perrin (IGM, Université Gustave Eiffel, Marne-la-Vallée)
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
Gabriel Nivasch (Ariel University, Israel)
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
Emmanuel Soubiès (IRIT, CNRS, Toulouse)
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 [...]
