[TYPES/announce] Call for Papers: 19th International Workshop on Termination (WST 2023)

2023-04-19 Thread YAMADA, Akihisa
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == WST 2023 - Call for Papers 19th International Workshop on Termination

[TYPES/announce] 2nd Call for Papers: 19th International Workshop on Termination (WST 2023)

2023-05-24 Thread YAMADA, Akihisa
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == WST 2023 - Call for Papers 19th International Workshop on Termination