User contributions for J.waldmann
Results for J.waldmann talk block log uploads logs
A user with 577 edits. Account created on 29 March 2008.
1 September 2025
- 21:4921:49, 1 September 2025 diff hist +73 WST No edit summary
18 June 2025
- 15:1015:10, 18 June 2025 diff hist −156 20th International Workshop on Termination No edit summary current
- 15:0615:06, 18 June 2025 diff hist +49 Termination Portal →Recent News
6 May 2025
- 11:4611:46, 6 May 2025 diff hist −1 WST typo
- 10:5610:56, 6 May 2025 diff hist +48 WST add wst link
20 December 2024
- 14:4114:41, 20 December 2024 diff hist +9 20th International Workshop on Termination No edit summary
3 July 2024
- 15:2915:29, 3 July 2024 diff hist 0 WST add ref
- 15:2815:28, 3 July 2024 diff hist +46 WST add ref
28 June 2024
- 19:5319:53, 28 June 2024 diff hist +209 WST replaced inaccessible URLs with links to archive.org
- 19:4619:46, 28 June 2024 diff hist +43 WST No edit summary
- 19:4319:43, 28 June 2024 diff hist +44 WST No edit summary
- 19:4219:42, 28 June 2024 diff hist +44 WST No edit summary
- 19:3919:39, 28 June 2024 diff hist +43 WST No edit summary
31 January 2024
- 17:4717:47, 31 January 2024 diff hist +221 N 20th International Workshop on Termination Created page with "The 20th Intl. Workshop on Termination will take place at [https://informatik.htwk-leipzig.de/ HTWK Leipzig, Germany], in summer 2025. [https://www.imn.htwk-leipzig.de/~waldma..."
- 17:3917:39, 31 January 2024 diff hist +4 WST No edit summary
7 December 2023
- 09:3609:36, 7 December 2023 diff hist +77 WST add WST 2025 plan
5 March 2019
26 July 2018
- 17:5417:54, 26 July 2018 diff hist −3 News:Termination Competition 2019 No edit summary current
- 17:5417:54, 26 July 2018 diff hist +604 N News:Workshop on Termination 2020 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..." current
- 17:5217:52, 26 July 2018 diff hist +563 N News:Termination Competition 2019 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..."
- 17:3917:39, 26 July 2018 diff hist −4 Termination Competition 2019 No edit summary
- 17:3917:39, 26 July 2018 diff hist +299 N Termination Competition 2019 Created page with "We intend to be part of [https://tacas.info/toolympics.php Toolympics], with results presented during TACAS'19, April 16-17, Prague. We intend to run on Starexec, but the act..."
- 17:3617:36, 26 July 2018 diff hist −1 Termination Competition →Upcoming Competitions
- 17:3617:36, 26 July 2018 diff hist +516 Termination Competition →Annual International Termination Competition
- 17:1517:15, 26 July 2018 diff hist +57 Termination Competition No edit summary
- 17:1217:12, 26 July 2018 diff hist +45 WST No edit summary
- 17:1117:11, 26 July 2018 diff hist +144 WST No edit summary
16 July 2018
- 12:4412:44, 16 July 2018 diff hist −1 TPDB →Sources
- 10:1510:15, 16 July 2018 diff hist +221 TPDB →Tools
15 July 2018
- 18:1418:14, 15 July 2018 diff hist +187 TPDB →Sources
- 18:0618:06, 15 July 2018 diff hist +39 TPDB →Data
- 18:0518:05, 15 July 2018 diff hist +41 TPDB →Sources
- 18:0418:04, 15 July 2018 diff hist +305 TPDB →Sources
- 13:1513:15, 15 July 2018 diff hist +5 WST No edit summary
- 13:1313:13, 15 July 2018 diff hist +36 WST No edit summary
- 13:0813:08, 15 July 2018 diff hist +47 WST No edit summary
6 September 2017
- 19:3519:35, 6 September 2017 diff hist +1 Termination Competition →History of Termination Competitions
- 19:3519:35, 6 September 2017 diff hist +80 Termination Competition →History of Termination Competitions
- 19:3219:32, 6 September 2017 diff hist +79 Termination Competition →History of Termination Competitions
- 19:2919:29, 6 September 2017 diff hist −11 Termination Competition 2017 No edit summary
- 19:2819:28, 6 September 2017 diff hist +86 Termination Competition 2017 →Dates
- 00:2200:22, 6 September 2017 diff hist +3 Termination Competition 2017 →Dates
5 September 2017
16 August 2017
- 13:0413:04, 16 August 2017 diff hist +2 Termination Competition 2016 Data No edit summary current
- 09:4209:42, 16 August 2017 diff hist −1 Termination Competition 2017 →StarExec Information
26 July 2017
- 22:1422:14, 26 July 2017 diff hist +77 Termination Competition 2017 Registration →Solvers current
- 22:0422:04, 26 July 2017 diff hist +7 Termination Competition 2017 Registration →Solvers
1 June 2017
10 April 2017
- 15:4215:42, 10 April 2017 diff hist +4 Termination Competition 2016 Data No edit summary