A. Ciabattoni: "Proof-Theory for Non-Classical Logics: Sequent calculi and beyond"; Talk: International Summer School for Proof Theory, Funchal; 2017-08-22 - 2017-08-27.