Évènements
Rechercher un événement
Introduction to the representation theory of Lie groups
(...)
As the title says, I wanted to do an introduction to the representation theory of Lie groups. But I realized that this beautiful theory turns [...]
29
Jun
A geometric foundation for virtual knot theory
(...)
The theory of knots in R^3 has both a geometric model and a diagrammatic model. The geometric model views a knot as point in a [...]
29
Jun
Concurrent Realizability on Conjunctive Structures
Étienne Miquey (I2M)
This work aims at exploring the algebraic structure of concurrent processes and their behavior independently of a particular formalism used to define them. We propose [...]
29
Jun
Strategies as Resource Terms, and their Categorical Semantics
Lison Blondeau-Patissier (I2M & LIS)
As shown by Tsukada and Ong, normal (extensional) simply-typed resource terms correspond to playsin Hyland-Ong games, quotiented by Melliès’ homotopy equivalence. Though inspiring, their proofis [...]
