News:Workshop on Termination 2020
Jump to navigationJump to search
Revision as of 17:54, 26 July 2018 by J.waldmann (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...")
17th Workshop on Termination is planned for June/July 2020 in Paris, see WST.