Agenda

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...

Ordre du jour : Nous vous proposons une réunion du conseil de l'I2M le lundi 6 Novembre de 10h30 à 12h30 en salle de séminaire...

Les propriétés des chiffres des nombres premiers et de diverses autres suites de nombres entiers ont suscité beaucoup d'intérêt ces dernières années. Pour tout nombre...

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...

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...

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...

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...

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...

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...

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"...

TBA. [su_spacer size="10"] Séminaire Analyse et Géométrie  

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...

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...

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...

Voir https://chocola.ens-lyon.fr/events/meeting-2023-11-16/ .

In 2020, Parusinski and Rond proved that every algebraic set V ⊂ Rn is homeomorphic to a Qr-algebraic set V' ⊂ Rn, where Qr denotes...

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...

Le graphe aléatoire dénombrable est un objet surprenant découvert pour la première fois par Ackermann à la fin des années 30, et redécouvert et étudié...

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...

RESEARCH IN RESIDENCE Projet BOUM de la SMAI Branched transport and network formation in biology Transport branché et formation de réseaux en biologie 20 –...

TBA. [su_spacer size="10"] Séminaire Analyse et Géométrie  

EDP hyperboliques, conditions limites et méthodes numériques Hyperbolic PDEs, boundary conditions and numerical methods Programme 9h : Accueil Café 10h - 11h15 : Bertrand Maury...

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...

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...

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...

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...

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 à...

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...

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...

Ordre du jour : TBA  

TBA. [su_spacer size="10"] Séminaire Signal et Apprentissage[su_spacer size="10"]