T. Lyon: "Tense Logics, Structural Proof Theory, and Effective Translations"; Talk: Logic Research Seminar, University of Melbourne, Melbourne; 2018-11-23.