Agenda

La suite d'(Oldenburger-)Kolakoski est la suite 𝐾, à valeurs dans {1, 2}, telle que 𝐾𝑛 est la longueur du 𝑛-ème bloc de symboles identiques dans [...]

Sakellaridis et Venkatesh ont énoncés des conjectures donnant une description du spectre d'une variété sphérique X=G/H dans le formalisme d'Arthur-Langlands. Nous vérifions ces conjectures pour [...]

Soit H^3 l'espace hyperbolique de dimension 3 et G le groupe d'isométries de H^3. Soit G' un groupe (abstrait) de type fini. On commencera par [...]

Ordre du jour à définir.

This talk will present a definition of profinite lambda-terms of any simple type. Profinite structures naturally appear in automata theory as a way to speak [...]

Root systems are finite sets of non-zero vectors in a Euclidean space that are subject to a list of axioms which mainly govern symmetries between [...]

Martin BRIDSON (Oxford university) - President of the Clay Mathematics Institute In this talk, which is for a wide audience, I shall sketch the development of [...]

Cécile Beust - Multilayer Biological Network Exploration for Premature Aging Diseases Hoang-Anh Nguyen - Network approaches for the bioinformatics analysis of Acute Leukaemia of Ambiguous [...]

Dans cet exposé, je donnerai un aperçu sur les résultats connus sur la complexité d'ordre maximal d'une suite sur un alphabet fini. Il s'agit de [...]

Cet exposé porte sur l'utilisation d'une condition inf-sup uniforme pour obtenir une estimation d'erreur pour une approximation espace-temps d'un problème parabolique linéaire. Il est à [...]

Dans cette présentation, on étudie des systèmes dynamiques symboliques sur des espaces définis à partir de distances d’édition, notamment les espaces de Besicovitch et de [...]

It is known by everyone that it's difficult to efficiently compute the factorization of a big integer in general. However, it becomes easy when this integer [...]

TBA. Séminaire RAUZY  

Valentin BLOMER (Universität Bonn) - Gauss Lectureship in 2021 (Gauß-Vorlesung) The modular curve X, i.e. the upper half plane modulo the action of the group [...]

TBA Groupe de Travail Maths Condensées Lieu : salle Silence (au rez-de-chaussée, juste derrière l’escalier central) accès

TBA Séminaire MABioS  

Un entier est 𝑦 friable si aucun de ses facteurs premiers n’excèdent 𝑦. Les entiers 𝑦 friables ont un rôle important dans beaucoup de problèmes [...]

Voir https://chocola.ens-lyon.fr/events/meeting-2023-06-15/.

Modular forms appeared during the 19th century, introduced, in particular for the study of Riemann surfaces of higher genus and of so-called elliptical functions: periodic [...]

La notion de positivité intervient naturellement dans l'étude des configurations de drapeaux complets dans un espace vectoriel. Dans cet exposé, nous suivrons une démarche algébrique [...]

CONFERENCE Representation Theory, Harmonic Analysis and Spherical Varieties Conference in honor of 71st birthday of Patrick DELORME 19 – 23 June 2023 Invited speakers Avraham [...]

- Maylis Mesples - Analyse de données protéomiques pour comprendre les spécificités du cancer du sein Triple-Négatif - Jude-Felix Tenywa - Omics data analysis for [...]

We discuss dynamical and multifractal aspects of the Ostrowski map, which is given by the skew-product extension of continued fraction transformation. We plan to outline [...]

Marie-Pierre Béal a dû annuler sa venue. 9h45 : Ilkka Törmä (Université de Turku, Finlande) : Generic limit sets of cellular automata: structure and applications [...]

Résumé : Une courbe plane (complexe) est le lieu zéro dans CP2 d’un polynôme complexe homogène en trois variables. Toute courbe plane est munie d’une [...]

We consider the following decision problem: given two simply typed λ-terms, are they β-convertible? Equivalently, do they have the same normal form? It is famously [...]

TBA. Séminaire RAUZY  

PORKROLL 2023, dans le cadre du groupe de travail Pythéas Fogg.

TBA. Séminaire MABioS  

To describe the atmosphere on a synoptic scale (the scale at which weather fronts are apparent on a weather map, for example) one may use [...]

As shown by Tsukada and Ong, normal (extensional) simply-typed resource terms correspond to playsin Hyland-Ong games, quotiented by Melliès’ homotopy equivalence. Though inspiring, their proofis [...]

This work aims at exploring the algebraic structure of concurrent processes and their behavior independently of a particular formalism used to define them. We propose [...]

As the title says, I wanted to do an introduction to the representation theory of Lie groups. But I realized that this beautiful theory turns [...]