Difference between revisions of "20th International Workshop on Termination"

Latest revision as of 15:10, 18 June 2025

September 3-4, 2025, at HTWK Leipzig, Germany. [1]

Revision as of 13:26, 14 April 2025 (view source) Thiemann (talk \| contribs) (change HTWK Leipzig URL to more concrete WST 2025 website) ← Older edit		Latest revision as of 15:10, 18 June 2025 (view source) J.waldmann (talk \| contribs)
Line 1:		Line 1:
−	~~The 20th Intl. Workshop on Termination will take place~~ at ~~[https://www.imn.htwk-leipzig.de/~waldmann/WST2025/~~ HTWK Leipzig, Germany~~], in early September 2025~~. [https://www.imn.htwk-leipzig.de/~~~waldmann~~/ ~~Johannes Waldmann~~] ~~is the local organizer.~~	+	September 3-4, 2025, at HTWK Leipzig, Germany. [https://www.imn.htwk-leipzig.de/WST2025/]