L. Parametric and .. On-markov-chains, 207 Souymodip Chakraborty and Joost-Pieter Katoen Specifying and Verifying Properties of Space, p.222

C. Cotrini, Y. Gurevich, and .. , Ori Lahav, and Artem Melentyev From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic, p.250

S. Goncharov and S. Milius, and Alexandra Silva Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics, p.281

C. Helle-hvid-hansen and R. Kupke, Andres Leal Quantitative Types for the Linear Substitution Calculus, p.296

D. Kesner, D. Ventura-automata, and .. , Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted, p.311

B. König and S. , Küpper Looking at Separation Algebras with Boolean BI-eyes, p.326