Évènements
Rechercher un événement
03
Oct
03
Oct
Modélisation logique des réseaux biologiques - Téléphonie 3CX
Élisabeth Rémy - Pierre Barthélemy (I2M)
Le séminaire Kifekoi sera précédé d'un pot à partir de 12h dans la salle VIP du RU qui se trouve en face du TPR2. Nous [...]
03
Oct
A recipe for the semantics of reversible programming [LSC]
Louis Lemonnier (Edinburgh)
In this presentation, we explore the foundational elements required to interpret reversible programming within a categorical framework. We use the symmetric pattern-matching language introduced by [...]
