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...
Jury constitué de : - Florence HUBERT (Institut de Mathématiques de Marseille), présidente du jury ; - Vincent CALVEZ (Institut Camille Jordan), rapporteur ; -...
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...
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...
In this talk, which is for a wide audience, I shall sketch the development of a body of ideas concerning the geometry and complexity 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...
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 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...
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...
The modular curve X, i.e. the upper half plane modulo the action of the group of the SL(2, Z), is a Riemannian manifold with rich...
TBA Groupe de Travail Maths Condensées Lieu : salle Silence (au rez-de-chaussée, juste derrière l’escalier central) accès
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 in honor of 71st birthday of Patrick DELORME19 – 23 June 2023Invited speakersAvraham AizenbudAnne-Marie AubertErik P. van den BanJoseph BernsteinPierre-Henri ChaudouardLaurent ClozelStéphanie Cupit-FoutouJan FrahmBernhard...
- 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...
Jury : Marie-Pierre Béal, Université Gustave Eiffel, présidente du jury. Enrico Formenti, Université de Nice Côte d'Azur, examinateur. Mohamed Hbaieb, Faculté des sciences de Sfax-Tunisie,...
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...
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...
PORKROLL 2023, dans le cadre du groupe de travail Pythéas Fogg.
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...