Évènements
Rechercher un événement
18
Jun
Braid groups
Sergio Cia (I2M)
Abstract : During this talk, we will talk about braids. See you on Thursday. Ok, I will explain a bit more: generally defined as interlaced hair [...]
18
Jun
Sound Operational Game Semantics in Type Theory
Peio Borthelle (Inria, ÉNS de Lyon)
Operational Game Semantics (OGS) is a flexible method for building models for open programs based on their operational semantics. After motivating and giving a high-level [...]
