20th International Workshop on Termination

From Termination-Portal.org
Revision as of 14:41, 20 December 2024 by J.waldmann (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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

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