Évènements
Rechercher un événement
23
May
Workshop in Dynamical Systems & differents scientific collaborations
(...)
Workshop at Institute Mittag-Leffler (Stockholm)+ scientific collaboration with M.Saprykina at KTH Stockholm+ scientific collaboration with Prof. Yakov Sinai at the University of Copenhagen
23
May
Concurrent Games with side-information
Aurore Alcolei (LIP, ENS Lyon)
Game semantics is an interactive denotational semantics: a denotation specifies the behaviour of a term/proof with respect to its environment. As such it is one [...]
