Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Sat, 16 March 2013 at 10:15 am in Rome, Italy
Abstract: We revisit existing work on finite and maximal coalgebraic traces and describe an attempt to unify the two. We also show how recent work by Hasuo et al on coinductive predicates can be used to give a fibrational account of maximal traces.
Slides