CMCS IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science CMCS 2022 in Munich CMCS 2020 in Dublin CMCS 2018 in Thessaloniki