Uniform Interpolation in Coalgebraic Modal Logic - Seifan, Fatemeh; Schröder, Lutz; Pattinson, Dirk (7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, 2017)