Évènements
Rechercher un événement
Comment paver le plan ?
Nicolas Bédaride (I2M, Aix-Marseille Université)
Dans le cadre de la 4ème édition du Forum des Mathématiques en Pays d’Aix qui s'est déroulée du 8 au 9 janvier 2015 à la [...]
Topologies faibles et logique linéaire
Marie Kerjean (PPS, Université Paris-Diderot)
Je présenterai dans cet exposé un modèle de la logique linéaire différentielle où les formules sont interprétées par les espaces vectoriels topologiques localement convexes. La [...]
