T. Dalmonte: "Proof-theory of agency logics of bringing-it-about"; Talk: TICAMORE 7th meeting, Wien, online (invited); 2021-06-16 - 2021-06-17.