A. Ciabattoni: "From hypersequents to parallel computation for intermediate logics"; Talk: Workshop TICAMORE, Marseille; 2017-11-15 - 2017-11-18.