Évènements
Rechercher un événement
21
Sep
Elliptic Methods and Moduli Spaces (Morlet Chair - François Lalonde)
School (CIRM, Luminy, Marseille)
CIRM - Jean-Morlet Chair François Lalonde & Andrei Teleman Moduli Spaces in Symplectic Topology and Gauge Theory Espaces de modules en topologie symplectique et théorie de Jauge [...]
24
Sep
24
Sep
24
Sep
Soutenance de thèse de S. Takerkart (LIF, INT) : A multi-source perspective on inter-subject learning. Contributions to neuroimaging.
(...)
Soutenance de thèse de Sylvain Takerkart multi-source perspective on inter-subject learning. Contributions to neuroimaging. Salle Henri Gastaut Campus santé Timone, boulevard Jean Moulin 13385 Marseille [...]
L'instruction fork et le principe d'induction en réalisabilité classique
Guillaume Geoffroy (I2M, Aix-Marseille Université)
Je commencerai par quelques rappels sur les modèles de réalisabilité classique de l'arithmétique d'ordre 2, puis je montrerai le lien entre l'instruction « fork » [...]
