The IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS) is held bianually in co-location with ETAPS. The proceedings of recent editions are published in the Springer LNCS series.

Recent editions: