Difference between revisions of "20th International Workshop on Termination"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (Created page with "The 20th Intl. Workshop on Termination will take place at [https://informatik.htwk-leipzig.de/ HTWK Leipzig, Germany], in summer 2025. [https://www.imn.htwk-leipzig.de/~waldma...") |
J.waldmann (talk | contribs) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
| − | + | September 3-4, 2025, at HTWK Leipzig, Germany. [https://www.imn.htwk-leipzig.de/WST2025/] | |
Latest revision as of 15:10, 18 June 2025
September 3-4, 2025, at HTWK Leipzig, Germany. [1]
