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