Évènements
Rechercher un événement
29
Jun
17
Jun
Summer School in mathematics 2019: Foliations and algebraic geometry
School (Institut Fourier, Université Grenoble Alpes, à Grenoble)
Summer School in mathematics Ecole thématique CNRS 2019 The goal of this school is to train young mathematicians in some of the most active areas [...]
04
Jul
Une nouvelle preuve du lemme fondamental de Jacquet-Rallis
(...)
Le lemme fondamental de Jacquet-Rallis est une identité locale entre intégrales orbitales relatives qui apparaît naturellement dans une approche par la formule des traces relative [...]
Checking correctness for recursive definitions with mixed inductive and coinductive types
Pierre Hyvernat (LAMA, Université Savoie Mont Blanc)
The Size-Change Principle (SCP) is a simple algorithm giving a partial termination test for recursive definitions. If the language is lazy, it also gives (by [...]
04
Jul
Journée d'échanges à la station marine d'Endoume (IMBE)
Journée (I2M, CNRS, Aix-Marseille Université)
Journée "échanges de travail" entre les équipes administratives et techniques des deux laboratoires I2M et IMBE. - L'IMBE a eu la gentillesse d'accepter de nous [...]
04
Jul
Journée de l'équipe SAR (visite CISAM + restau)
Journée (I2M, CNRS, Aix-Marseille Université)
Afin de clôturer cette année, nous vous proposons une journée de découverte ainsi qu’un déjeuner le lundi 16 décembre 2019. Rendez-vous devant la CISAM au 61 [...]
