Séance du 19 novembre

Cette semaine, ce sont Tiago de Lima et Sébastien Magnier qui nous présenteront leur travail sur

Dialogues (and tableaus) for Public Announcement Logic.

Vendredi, 13h-15h, salle Corbin.