The second Dagstuhl seminar on coalgebraic logics took place from October 7-12, 2012, in the Leibniz Forschungszentrum Schloss Dagstuhl, following a successful earlier one in December 2009. From the 44 researchers who attended and the 30 talks presented, this collection highlights some of the progress that has been made in the field. We are grateful to Giuseppe Longo and his interest in a special issue in Mathematical Structures in Computer Science.
E.-E. Doberkat and A. Kurz, “Foreword: special issue on coalgebraic logic,” Mathematical Structures in Computer Science, vol. 27, no. 07, pp. 1108–1110, Oct. 2017. DOI: 10.1017/S096012951500047X
Cambridge University Press