[TYPES/announce] 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24): First Call for Papers

2023-11-22 Thread Urbat, Henning
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] FIRST CALL FOR PAPERS = The 17th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'24)

[TYPES/announce] *Extended Deadline* 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24)

2024-01-30 Thread Urbat, Henning
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The submission deadline for the 17th International Workshop on Coalgebraic Methods in Computer Science (CMCS'24) has been extended to **5 February 2024** (abstracts) and **8 February