Bonjour à tou.te.s, J'ai le plaisir d'annoncer que ce mercredi 12/02 à 10h30 en B107, nous accueillerons Shin-Ya Katsumata (actuellement en visite du japon) pour une séance conjointe entre le groupe de travail catégories et le séminaire de l'équipe LoCal du LIPN. Titre et abstract ci-dessous. Vous pourriez suivre en ligne ici (attention que ce n'est pas la meme salle BBB que d'habitude pour de GdT catégories): https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 --- I am pleased to announce that this Wednesday 12/02 at 10:30 in B107, we will welcome Shin-Ya Katsumata (currently visiting from Japan) for a joint session between the Categories Working Group and the LIPN LoCal Team Seminar. Title and abstract below. You can follow online here (beware that this is not the same BBB room as usual for GdT categories): https://bbb.lipn.univ-paris13.fr/b/sei-eer-t24 Title: Monadic Models of Hoare Logic Abstract: I will talk about the semantics of program logic built upon monadic models of computational effects. Especially, I will introduce the weakest precondition predicate transformers associated with monadically modeled programs. There, the notion of correctness of Hoare triples is related with predicate liftings of monads. We show that the weakest precondition predicate transformers are compositional if and only if the predicate lifting is Cartesian. This talk is based on a joint work with Alejandro Aguirre and Satoshi Kura, published as MFPS '20 and MSCS '22. See you there! Morgan