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

Latest revision as of 13:26, 14 April 2025

The 20th Intl. Workshop on Termination will take place at HTWK Leipzig, Germany, in early September 2025. Johannes Waldmann is the local organizer.

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