Évènements
Rechercher un événement
19
Jun
Representation Theory, Harmonic Analysis and Spherical Varieties
(...)
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 [...]
22
Jun
Normalizing renormalization (2)
(...)
Renormalization is one of the most powerful conceptual frameworks in theoretical physics. Renormalization was first introduced as a systematic tool for subtracting ultraviolet divergences in [...]
22
Jun
Pascal, Fermat, le problème des partis et la naissance du concept d’espérance mathématique
Pierre Mathieu (I2M)
Il sera question de la correspondance échangée entre Fermat et Pascal en 1654, et de bien d'autres choses encore.
22
Jun
Simply typed β-convertibility is TOWER-complete even for safe λ-terms
Lê Thành Dũng (Tito) Nguyễn (ENS Lyon)
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 [...]
22
Jun
Strategies as Resource Terms, and their Categorical Semantics
(...)
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 [...]
22
Jun
Aspects métriques et spectraux des courbes planes aléatoires
(...)
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 [...]
