Évènements
Rechercher un événement
16
Feb
Real Singularities and Applications (Thematic Month 2015)
(...)
Mois Thématique : [Singularités réelles et applications (3ème semaine) - L’étude des singularités réelles est un domaine de recherche très actif actuellement avec de nombreuses [...]
19
Feb
Les mathématiques tropicales, kécékssa ?
Glenn Merlet (I2M, Aix-Marseille Université)
Les mathématiques tropicales, ou géométrie tropicale, sont une branche des mathématiques correspondant à l'étude d'un système modifié grâce à la redéfinition de l'addition et de [...]
A semantic study of higher-order model-checking
Charles Grellois (LIS, LIRICA team, Aix-Marseille Université)
Using higher-order recusion schemes, one can model the computation flow of functional programs, and produce trees abstracting their set of executions. The higher-order model-checking problem [...]
19
Feb
Une formule de Thomae pour les courbes de genre 3 non hyperelliptiques
Christophe Ritzenthaler (...)
Les formules de Thomae permettent dans le cas hyperelliptique de décrire la jacobienne (par ses constantes thêta) en fonction de l’équation de la courbe. Elles [...]
