20th International Workshop on Termination

From Termination-Portal.org

Revision as of 13:26, 14 April 2025 by Thiemann (talk | contribs) (change HTWK Leipzig URL to more concrete WST 2025 website)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump 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=2030"

Navigation menu