Évènements
Rechercher un événement
COUNT 2023 - COmputations and their Uses in Number Theory
Conference (CIRM, Luminy, Marseille)
MAIN PAGE OF THE THEMATIC SEMESTER MAIN PAGE OF THEMATIC MONTH MAIN PAGE OF THE JEAN-MORLET CHAIR SEMESTER CONFERENCE COUNT, COmputations and their Uses in [...]
From classical to quantum mechanics
Sami Viollet (CPT, Aix-Marseille Université)
During this presentation, we will see the so-called canonical quantization procedure, allowing to build a quantum theory (i.e. adapted to describe physical phenomena taking place [...]
La réduction des termes à ressources induit une extension conservative de la β-réduction sur les λ-termes
Rémy Cerda (I2M, Aix-Marseille)
Tout est dans le titre, qu’on aura peut-être le temps de prolonger par : « On a en outre des raisons raisonnables de penser que, [...]
Métriques de Kähler canoniques et quantification
Louis Ioos (CY Cergy Paris Université )
Le recherche de métriques de Kähler canoniques sur les variétés projectives peut être considérée comme une tentative d'extension du théorème d'uniformisation des surfaces de Riemann [...]
