Talks and Poster Presentations (without Proceedings-Entry):
T. Lyon:
"Effective Translations between Display and Labelled Proofs for Tense Logics";
Talk: External and Internal Calculi for Non-Classical Logics Workshop (Federated Logic Conference 2018),
Oxford;
2018-07-19.