Termination Competition 2015: Revision history

6 August 2015

• curprev 11:5511:55, 6 August 2015 J.waldmann talk contribs 8,718 bytes +103 →News
• curprev 10:4210:42, 6 August 2015 J.waldmann talk contribs 8,615 bytes 0 →News
• curprev 10:4210:42, 6 August 2015 J.waldmann talk contribs 8,615 bytes +101 →News
• curprev 10:4110:41, 6 August 2015 J.waldmann talk contribs 8,514 bytes +148 →News

5 August 2015

• curprev 19:2119:21, 5 August 2015 J.waldmann talk contribs 8,366 bytes +37 →News
• curprev 19:1319:13, 5 August 2015 J.waldmann talk contribs 8,329 bytes +41 →News
• curprev 13:1113:11, 5 August 2015 J.waldmann talk contribs 8,288 bytes +144 →News
• curprev 06:4106:41, 5 August 2015 J.waldmann talk contribs 8,144 bytes +120 →News
• curprev 06:3506:35, 5 August 2015 J.waldmann talk contribs 8,024 bytes +189 →News
• curprev 06:1406:14, 5 August 2015 J.waldmann talk contribs 7,835 bytes +98 →News
• curprev 06:1106:11, 5 August 2015 J.waldmann talk contribs 7,737 bytes −1 →News
• curprev 06:0806:08, 5 August 2015 J.waldmann talk contribs 7,738 bytes +93 →News
• curprev 06:0006:00, 5 August 2015 J.waldmann talk contribs 7,645 bytes +121 →News
• curprev 05:4005:40, 5 August 2015 J.waldmann talk contribs 7,524 bytes +35 →News
• curprev 05:3905:39, 5 August 2015 J.waldmann talk contribs 7,489 bytes +27 →News
• curprev 05:3805:38, 5 August 2015 J.waldmann talk contribs 7,462 bytes +491 No edit summary

14 July 2015

• curprev 21:1021:10, 14 July 2015 J.waldmann talk contribs 6,971 bytes 0 →Dates

12 July 2015

• curprev 15:0115:01, 12 July 2015 J.waldmann talk contribs 6,971 bytes +55 No edit summary

1 July 2015

• curprev 07:3307:33, 1 July 2015 Thiemann talk contribs m 6,916 bytes 0 →Contact
• curprev 07:3207:32, 1 July 2015 Thiemann talk contribs 6,916 bytes +69 indicate where to send new examples

29 June 2015

• curprev 08:5708:57, 29 June 2015 Giesl talk contribs 6,847 bytes +311 No edit summary

24 June 2015

• curprev 13:4113:41, 24 June 2015 Thiemann talk contribs 6,536 bytes +757 Changes in CPF and in complexity

22 June 2015

• curprev 16:4016:40, 22 June 2015 J.waldmann talk contribs 5,779 bytes +2 No edit summary
• curprev 16:4016:40, 22 June 2015 J.waldmann talk contribs 5,777 bytes +87 No edit summary

6 June 2015

• curprev 07:5007:50, 6 June 2015 Thiemann talk contribs m 5,690 bytes 0 No edit summary
• curprev 07:4007:40, 6 June 2015 Thiemann talk contribs 5,690 bytes +9 changed submission of tool deadline

2 June 2015

• curprev 11:1811:18, 2 June 2015 J.waldmann talk contribs 5,681 bytes +182 →Changes with respect to 2014
• curprev 11:1511:15, 2 June 2015 J.waldmann talk contribs 5,499 bytes +80 No edit summary
• curprev 11:1311:13, 2 June 2015 J.waldmann talk contribs 5,419 bytes −1 →Changes with respect to 2014
• curprev 11:1211:12, 2 June 2015 J.waldmann talk contribs 5,420 bytes +140 No edit summary
• curprev 11:0311:03, 2 June 2015 J.waldmann talk contribs 5,280 bytes +13 →Technical Detail
• curprev 11:0211:02, 2 June 2015 J.waldmann talk contribs 5,267 bytes −46 →Committees

21 January 2015

• curprev 12:1412:14, 21 January 2015 J.waldmann talk contribs 5,313 bytes +8 →Dates (Preliminary)
• curprev 12:1212:12, 21 January 2015 J.waldmann talk contribs 5,305 bytes −135 →Competition Procedure
• curprev 12:0912:09, 21 January 2015 J.waldmann talk contribs 5,440 bytes +2 →Dates (Preliminary)

20 January 2015

• curprev 15:0115:01, 20 January 2015 J.waldmann talk contribs 5,438 bytes +5,438 Created page with "In 2015, the Termination Competition will be affiliated with [http://conference.mi.fu-berlin.de/cade-25/ CADE-25]. == Dates (Preliminary) == * registration of tools: July 1 ..."