Difference between revisions of "20th International Workshop on Termination"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (Created page with "The 20th Intl. Workshop on Termination will take place at [https://informatik.htwk-leipzig.de/ HTWK Leipzig, Germany], in summer 2025. [https://www.imn.htwk-leipzig.de/~waldma...") |
J.waldmann (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | The 20th Intl. Workshop on Termination will take place at [https://informatik.htwk-leipzig.de/ HTWK Leipzig, Germany], in | + | 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. |
Revision as of 14:41, 20 December 2024
The 20th Intl. Workshop on Termination will take place at HTWK Leipzig, Germany, in early September 2025. Johannes Waldmann is the local organizer.
