WScT08: Revision history

15 May 2008

• curprev 16:2116:21, 15 May 2008 Griff talk contribs 4,333 bytes +303 →Registration
• curprev 16:1716:17, 15 May 2008 Rgutierrez talk contribs 4,030 bytes −13 →Registration
• curprev 14:3014:30, 15 May 2008 Thiemann talk contribs 4,043 bytes +10 No edit summary

14 May 2008

• curprev 20:3620:36, 14 May 2008 J.waldmann talk contribs 4,033 bytes +46 →Location
• curprev 20:3320:33, 14 May 2008 J.waldmann talk contribs 3,987 bytes +103 →Date/time
• curprev 11:1311:13, 14 May 2008 Binabik talk contribs 3,884 bytes +154 →Registration

13 May 2008

• curprev 09:0609:06, 13 May 2008 Andreas.gebhardt talk contribs 3,730 bytes +20 →Registration

7 May 2008

• curprev 15:1015:10, 7 May 2008 Contejea talk contribs 3,710 bytes +115 →Registration

24 April 2008

• curprev 11:3711:37, 24 April 2008 Rgutierrez talk contribs 3,595 bytes +34 No edit summary
• curprev 10:4810:48, 24 April 2008 J.waldmann talk contribs 3,561 bytes +31 →Date/time

23 April 2008

• curprev 22:1322:13, 23 April 2008 J.waldmann talk contribs 3,530 bytes +367 →Registration/Program
• curprev 22:0022:00, 23 April 2008 J.waldmann talk contribs 3,163 bytes +488 details on local organization

21 April 2008

• curprev 09:5409:54, 21 April 2008 Blanqui talk contribs 2,675 bytes +1 →Options for location
• curprev 09:5309:53, 21 April 2008 Blanqui talk contribs 2,674 bytes +2 →Options for date/time

15 April 2008

• curprev 14:4614:46, 15 April 2008 J.waldmann talk contribs 2,672 bytes +74 →Workshop on Certified Termination WScT08
• curprev 13:2913:29, 15 April 2008 Fuhs talk contribs 2,598 bytes +30 →Registration/Program
• curprev 09:2009:20, 15 April 2008 Blanqui talk contribs 2,568 bytes +74 →Registration/Program

14 April 2008

• curprev 06:4906:49, 14 April 2008 Thiemann talk contribs 2,494 bytes +216 No edit summary

10 April 2008

• curprev 14:1214:12, 10 April 2008 Thiemann talk contribs m 2,278 bytes +33 No edit summary
• curprev 12:0712:07, 10 April 2008 Akoprowski talk contribs 2,245 bytes +38 No edit summary
• curprev 10:1510:15, 10 April 2008 Griff talk contribs 2,207 bytes +37 →Registration/Program
• curprev 07:5507:55, 10 April 2008 J.waldmann talk contribs 2,170 bytes +17 →Options for location
• curprev 07:4207:42, 10 April 2008 J.waldmann talk contribs 2,153 bytes +252 →Registration/Program
• curprev 07:2607:26, 10 April 2008 J.waldmann talk contribs 1,901 bytes +445 →Options for date/time
• curprev 07:1407:14, 10 April 2008 J.waldmann talk contribs 1,456 bytes +138 →Options for date/time
• curprev 07:0607:06, 10 April 2008 J.waldmann talk contribs 1,318 bytes +2 →Options for location
• curprev 07:0507:05, 10 April 2008 J.waldmann talk contribs 1,316 bytes +2 →Adjacent event(s)
• curprev 07:0507:05, 10 April 2008 J.waldmann talk contribs 1,314 bytes +2 →Options for date/time
• curprev 07:0507:05, 10 April 2008 J.waldmann talk contribs 1,312 bytes +1 →Options for location
• curprev 07:0407:04, 10 April 2008 J.waldmann talk contribs 1,311 bytes +545 →Local Organization

31 March 2008

• curprev 13:0813:08, 31 March 2008 J.waldmann talk contribs 766 bytes +766 New page: = Workshop on Certified Termination WScT08 = This will be a working meeting, with plenty of room for discussion. * location: Leipzig, Germany * date: May 17 - 19, 2008 * local organizer:...