Termination Competition 2021: Revision history

14 July 2021

• curprev 06:4406:44, 14 July 2021 Akihisa Yamada talk contribs 7,079 bytes −62 Link to the result (should have done earlier!!)

19 May 2021

• curprev 13:1213:12, 19 May 2021 Giesl talk contribs 7,141 bytes +20 →Steering Committee

17 May 2021

• curprev 06:5506:55, 17 May 2021 Giesl talk contribs m 7,121 bytes +4 Date for Presentation

11 May 2021

• curprev 10:1710:17, 11 May 2021 Akihisa Yamada talk contribs 7,117 bytes +13 →Contact: updated termtools address
• curprev 10:1510:15, 11 May 2021 Akihisa Yamada talk contribs 7,104 bytes +9 →Steering Committee: affiliation

19 April 2021

• curprev 08:4908:49, 19 April 2021 Akihisa Yamada talk contribs 7,095 bytes +35 →Dates

20 December 2020

• curprev 18:2018:20, 20 December 2020 Ffrohn talk contribs 7,060 bytes +7,060 Created page with "In 2021, the Termination and Complexity Competition will be affiliated with [http://www.cs.cmu.edu/~mheule/CADE28/ CADE]. The competition will be run on the [http://www.stare..."