Évènements
Rechercher un événement
15
Nov
Convex Real Projective Structures
Pairs (CIRM)
RESEARCH IN PAIRS Géométrie projective convexe Constructing a concrete example of deformations in real projective structures: Bulging deformation. An earthquake deformation does not change the [...]
18
Nov
Sur la syntaxe de la sémantique quantitative
Lionel Vaux Auclair (I2M, Aix-Marseille Université)
Composition du jury Robin Cockett (Calgary, rapporteur), Ugo Dal Lago (Bologna), Delia Kesner (Paris, rapporteuse), Guy McCusker (Bath, rapporteur), Paul-André Melliès (Paris), Myriam Quatrini (Aix-Marseille), [...]
Template games: a categorical combinatorics of scheduling and synchronisation
Paul-André Melliès (IRIF, Université de Paris)
TBA
