20th International Workshop on Termination: Difference between revisions

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) 91 edits 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) steering 577 edits No edit summary
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/]