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

From Termination-Portal.org
Jump to navigationJump to search
 
(One intermediate revision by one other user not shown)
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.
+
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]

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=20th_International_Workshop_on_Termination&oldid=2049"