Évènements
Rechercher un événement
lun
mar
mer
jeu
ven
sam
dim
l
m
m
j
v
s
d
30
31
1
3
4
5
2:30 PM - Groupes Abéliens Localement Compacts
11:00 AM - Un raffinement du Théorème de Moriyon
8
11:00 AM - Représentations du groupe libre dans PU(2,1)
11:00 AM - Higher Structures in Homotopy Type Theory
11
12
2:00 PM - Décomposition de Jordan catégoriques
11:00 AM - Introduction aux D-modules
5:00 PM - Willem's Quizz
12:00 AM - Séminaire Chocola à Lyon
4:00 PM - Couches limites en mécanique des fluides
2:00 PM - Penrose
18
19
10:30 AM - Titre à préciser - Franck Wielonsky
10:00 AM - Groupes abéliens localement compacts 3
5:00 PM - Primes in arithmetic progressions
24
25
26
2:30 PM - Titre à préciser - Afef Cherni
2:00 PM - Conseil de laboratoire
2
3
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...
This research focuses on dimension-reduction techniques for modeling conditional extreme values. Specifically, we investigate the idea that extreme values of a response variable can be...
Dans cet exposé je parlerai du lien surprenant entre matrices aléatoires et le problème d'énumération de cartes. Par carte, on entend un graphe plongé dans...
We say that an infinite word u on a d-ary alphabet has the well distributed occurrences property if, for each factor w of u, each...
Résumé : Travail en commun avec M. Broué, O. Dudas, J. Michel et R. Rouquier : nous construisons une action du centralisateur d'un élément du...
On s'intéresse aux propriétés de bornitude d'un opérateur géométrique maximal M défini sur une famille F invariante par homothétie et composée d'ensembles convexes. Le théorème de...
How do mathematics define and study the combinatorial structure of words ? I will give the definition of a (infinite) word, then I'll introduce the...
Les groupes triangulaires hyperboliques de type p,q,r sont les sous-groupes de PO(2,1) engendrés par trois réflexions géodésiques du disque hyperbolique, donc les angles mutuels sont...
The definition of algebraic structures on arbitrary types in homotopy type theory (HoTT) has proven elusive so far. This is due to types behaving like...
I will present some established ideas about tools arising mostly from Time-Frequency analysis (such as the Banach Gelfand Triple (SO,L2,SO*) , based on "Feichtinger's Algebra"...
Cette rentrée deux séries animées de courts-métrages de plateforme sont sorties : Voyages au pays des maths (saison 2) de Denis van Waerbaeke sur ARTE et Grande aventure...
TBA. [su_spacer size="10"] Séminaire Analyse et Géométrie
Abstract : Soit $G$ un groupe réductif sur un corps fini $mathbb{F}_q$. La décomposition de Jordan des caractères de $G(mathbb{F}_q)$ est un résultat classique de...
Le sous-shift des pavages de Penrose par losanges est un sous-shift de pavages apériodiques du plan par deux tuiles qui sont des losanges décorés. La...
In order to describe the behaviour of an elastic material undergoing fracture we can use a variational model and the so-called Mumford-Shah energy defined on...
Afin d'étudier les équations différentielles partielles définies sur une variété lisse, on peut introduire un faisceau D des opérateurs différentiels au dessus de cette variété...
No scientific talk but an awesome quizz made by our beloved Willem! Le séminaire des doctorant⋅es de l'I2M et du CPT à Luminy regroupe...
In 2020, Parusinski and Rond proved that every algebraic set V ⊂ Rn is homeomorphic to a Qr-algebraic set V' ⊂ Rn, where Qr denotes...
Voir https://chocola.ens-lyon.fr/events/meeting-2023-11-16/ .
Dans de nombreux modèles de mécanique des fluides, la présence de petits paramètres (viscosité, nombre de Rossby…) engendre des couches limites près des parois. Il...
Proof of Katok's theorem (see theorem 1.2 in https://arxiv.org/pdf/2203.09366.pdf)
The Poisson log-normal (PLN) model is a generic model for the joint distribution of count data, accounting for covariates. It is also an incomplete data...
TBA. [su_spacer size="10"] Séminaire Analyse et Géométrie
TBA. The address of the Zoom meeting is https://zoom.us/j/92245493528 . The password is distributed in announcements. If you want to receive them, or receive...
In the study of special values of L-functions and p-adic L-functions, it is often necessary to have a good theory of p-adic families of nearly...
Les chaires de professeur junior (CPJ) constituent un nouveau mode de recrutement dans l'enseignement supérieur, du type "tenure track". AMU ouvre au recrutement cette année...
I'll talk about the equidistribution of primes in arithmetic progressions, from the results of Dirichlet and Siegel-Walfisz to the Bombieri-Vinogradov theorem. Time permitting, we'll also...
Une improvisation à partir de résultats récents adaptant les travaux de Kurz, Petrişan, Severi et de Vries à des types mixtes algébriques et coalgébriques.
En s'inspirant des travaux de Pham et Teissier sur les fonctions méromorphes localement lipschitziennes de variétés analytiques complexes, nous utiliserons de récents résultats concernant les fonctions régulues complexes pour étudier les...
Résumé : Dans le cadre de la recherche d'un meilleur confinement de plasmas de fusion dans des configurations de type tokamak, la compréhension de l'émergence des...
Les méthodes variationnelles de Trefftz sont des méthodes numériques de type Galerkin discontinus dont les fonctions de base sont solutions de l'équation volumique que l'on cherche à...
Après une introduction à la théorie d'indice et l'homologie cyclique on présentera des résultats (ancien et nouveau) sur l'homologie cyclique des algèbres de Banach des...
Un pavage du plan est composé d'ensembles fermés appelés tuiles, qui couvrent le plan euclidien sans trou ni chevauchement. Mes travaux portent sur des pavages...
L'inversion complète de formes d'onde (Full Waveform Inversion en anglais) est une technique d'imagerie sismique haute-résolution qui a vu le jour au début des années...
A rational surface is a surface S such that there exists a birational map between S and the projective plane. Given a rational surface S...
The well-known relational semantics of linear logic is constructed out of two kinds of free algebra construction: the powerset and the set of finite multisets...
TBA. [su_spacer size="10"] Séminaire Signal et Apprentissage[su_spacer size="10"]
Proof of Katok’s theorem (see theorem 1.2 in https://arxiv.org/pdf/2203.09366.pdf), la suite
