T. Lyon: "Mutual Translations between Display and Labelled Proofs for Tense Logics"; Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18.