Évènements
Rechercher un événement
Tropical Representations of Monoids and Matroids - CANCELLED
Pairs (CIRM, Luminy, Marseille)
Représentations tropicales de monoïdes et matroïdes Description Tropical mathematics is carried out over idempotent semirings – a “weaker” structure than the structure of fields – [...]
Périodes d'entrelacement locales pour les paires galoisiennes
Nadir Matringe (LMA, Université de Poitiers)
Les périodes d'entrelacement globales ont été introduites par Jacquet. Une théorie plus générale a ensuite été développée par Jacquet, Lapid et Rogawski dans leur étude [...]
Bruce-Roberts numbers and the relative Saito's theorem
Maria Aparecida Soares Ruas (Universidade de São Paulo)
I will extend the notions of Milnor and Tjurina numbers of functions to the framework of Bruce-Roberts numbers, that is, to pairs formed by the [...]
Spécification mathématique de langages de programmation via les monades et leurs modules
Ambroise Lafont (Data61, CSIRO, Cogent team, Sydney)
La recherche dans le domaine des langages de programmation s'appuie traditionnellement sur une définition de syntaxe modulo renommage des variables liées, avec la sémantique opérationnelle [...]
