20th International Workshop on Termination: Difference between revisions
J.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) No edit summary |
||
| (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]