Évènements
Rechercher un événement
lun
mar
mer
jeu
ven
sam
dim
l
m
m
j
v
s
d
30
10:30 AM - Random matrices and some asymptotics results
12:00 PM - Titre à préciser - Elisabeth Remy
5
6
7
12:00 AM - Journée de l'équipe Analyse Appliquée
9
11:00 AM - Tropical Mathematics and The Lambda Calculus
11:00 AM - Séminaire Rauzy, titre à préciser
12
13
2:00 PM - Arnaud Gloaguen
16
12:00 AM - Séminaire Chocola à Lyon
11:00 AM - TBA
11:00 AM - Séminaire Rauzy, titre à préciser
19
20
21
11:00 AM - À annoncer
23
10:30 AM - Grandes valeurs de polynômes de Dirichlet
11:00 AM - TBA
11:00 AM - Böhm and Taylor for all
25
26
27
2:00 PM - Julyan Arbel
29
30
1
2
3
Coupled fluid--porous systems appear in a wide range of environmental settings and industrial applications. Suitable coupling concepts should be applied to characterise fluid behaviour between...
Random Matrix Theory arises naturally in a huge range of areas. Big data techniques, nuclear resonance and logarithm gas are some examples of systems that...
In this presentation, we explore the foundational elements required to interpret reversible programming within a categorical framework. We use the symmetric pattern-matching language introduced by...
In 1973, Nambu published an article entitled "Generalized Hamiltonian dynamics". For that purpose, he constructed multilinear brackets - equivalent to Poisson brackets - with some...
TBA Nous vous attendons nombreux. [su_spacer size="10"] Séminaire KiFêKoi [su_spacer size="10"]
En géométrie algébrique élémentaire, étant donné un corps K, on peut définir un groupe algébrique comme une variété de K^n (c'est à dire l'ensemble des...
The Fredrickson-Andersen 2-spin facilitated model (FA-2f) on Zd is a paradigmatic interacting particle system with kinetic constraints (KCM) featuring cooperative and glassy dynamics. For FA-2f...
Les représentations convexes cocompactes de groupes hyperboliques dans les groupes d'isométries des espaces hyperboliques sont des généralisations des représentations quasi-fuchsiennes dans PSL(2,C). Un résultat classique...
We explore the interpretation of the lambda-calculus in a framework based on tropical mathematics, and we show that it provides a unifying framework for two...
The purpose of this talk is to present a new perspective on the so-called Brydges–Fröhlich–Spencer random walk (BFS random walk). This allows us to write...
Voir: https://chocola.ens-lyon.fr/events/meeting-2024-10-17/ .
Attention horaire différé au matin 10h30.
Böhm approximations, used in the definition of Böhm trees, are a staple of the semantics of the lambda-calculus. Introduced more recently by Ehrhard and Regnier,...
