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
Algebra Commons, Logic and Foundations Commons, Other Computer Engineering Commons, Other Computer Sciences Commons, Other Mathematics Commons
This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Mathematical Structures in Computer Science, volume 27, issue 7, in 2017 following peer review. The definitive publisher-authenticated version is available online at DOI: 10.1017/S096012951500047X.