20th International Workshop on Termination: Difference between revisions
J.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) No edit summary |
||
| 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.