207 Souymodip Chakraborty and Joost-Pieter Katoen Specifying and Verifying Properties of Space, p.222 ,
Ori Lahav, and Artem Melentyev From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic, p.250 ,
and Alexandra Silva Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics, p.281 ,
Andres Leal Quantitative Types for the Linear Substitution Calculus, p.296 ,
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted, p.311 ,
Küpper Looking at Separation Algebras with Boolean BI-eyes, p.326 ,