News:Workshop on Termination 2020

Revision as of 17:54, 26 July 2018 by J.waldmann (talk | contribs) (Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

June 2020

17th Workshop on Termination is planned for June/July 2020 in Paris, see WST.