É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 [...]
03
Oct
Is Nambu mechanics a generalization of Hamiltonian mechanics?
Cristel Chandre (I2M )
In 1973, Nambu published an article entitled "Generalized Hamiltonian dynamics". For that purpose, he constructed multilinear brackets - equivalent to Poisson brackets - with some [...]
