Jump to content

User contributions for Ffrohn

Results for Ffrohn talk block log uploads logs

A user with 136 edits. Account created on 4 March 2014.

10:0110:01, 25 August 2026 diff hist −10 Termination Competition 2026 →Results current

08:5208:52, 21 August 2026 diff hist +561 Termination Competition 2026 No edit summary

09:4209:42, 26 July 2026 diff hist −4 Termination Competition 2026 →Results
09:4109:41, 26 July 2026 diff hist +46 Termination Competition 2026 →Live Results
09:3909:39, 26 July 2026 diff hist +94 Termination Competition 2026 →Live Results
09:3809:38, 26 July 2026 diff hist 0 N File:Presentation wst26.pdf No edit summary current

23:0123:01, 23 July 2026 diff hist +12 Termination Competition 2026 No edit summary
23:0123:01, 23 July 2026 diff hist +2 Termination Competition 2026 No edit summary

07:2207:22, 16 July 2026 diff hist 0 WST No edit summary current
07:2107:21, 16 July 2026 diff hist +49 WST No edit summary
07:2007:20, 16 July 2026 diff hist +51 21st International Workshop on Termination No edit summary current

09:0409:04, 9 July 2026 diff hist +168 Termination Competition 2026 No edit summary

10:0110:01, 26 June 2026 diff hist +443 Termination Competition 2026 No edit summary

08:0808:08, 23 June 2026 diff hist +93 Termination Competition 2026 →Registration
08:0408:04, 23 June 2026 diff hist +281 Termination Competition 2026 →Changes with respect to 2025

13:3613:36, 16 June 2026 diff hist +46 21st International Workshop on Termination No edit summary
13:3213:32, 16 June 2026 diff hist 0 N File:TermCOMP26 program.png No edit summary current

07:4007:40, 27 April 2026 diff hist −9 Termination Competition 2026 No edit summary
07:3907:39, 27 April 2026 diff hist +2,879 N Termination Competition 2026 technical details Created page with "== Execution Environment == Starting from 2025, TermComp runs on the RWTH HPC cluster. Tools must be submitted as Docker images. The competition will run using Apptainer (wh..." current

09:2309:23, 23 February 2026 diff hist −337 21st International Workshop on Termination →Program Committee
09:1309:13, 23 February 2026 diff hist +35 Termination Portal →Recent News current
08:3908:39, 23 February 2026 diff hist +85 Termination Competition 2026 No edit summary

10:1510:15, 18 February 2026 diff hist −1 Termination Competition 2026 →Dates
10:0910:09, 18 February 2026 diff hist −47 Termination Competition 2026 →Changes with respect to 2025
10:0810:08, 18 February 2026 diff hist −121 Termination Competition 2026 →Competition Procedure

15:4215:42, 11 February 2026 diff hist 0 Termination Competition 2026 →Changes with respect to 2025
08:4008:40, 11 February 2026 diff hist −48 Termination Competition 2026 No edit summary
08:2208:22, 11 February 2026 diff hist +5,947 N Termination Competition 2026 Created page with "The Termination and Complexity Competition (TermComp) 2026 will be affiliated with [https://termination-portal.org/wiki/21st_International_Workshop_on_Termination WST 2026], w..."

13:2013:20, 19 January 2026 diff hist +21 21st International Workshop on Termination →Important Dates

15:0015:00, 15 January 2026 diff hist −2 WST No edit summary
15:0015:00, 15 January 2026 diff hist +69 WST No edit summary
14:5914:59, 15 January 2026 diff hist +83 WST No edit summary
14:5814:58, 15 January 2026 diff hist +49 Termination Portal →Recent News
14:5714:57, 15 January 2026 diff hist +11,437 N 21st International Workshop on Termination Created page with "July 25, 2026, Lisbon, Portugal. As part of [https://www.floc26.org FLoC 2026] and co-located with [https://www.floc26.org/ijcar IJCAR 2026]. ==Background== The Workshop..."

10:5110:51, 31 October 2025 diff hist +47 TPDB →Data current

07:1407:14, 2 October 2025 diff hist −1 Termination Competition 2025 technical details →Execution Environment current

09:3609:36, 18 September 2025 diff hist +7 Termination Competition Steering Committee No edit summary current
09:3609:36, 18 September 2025 diff hist +5 Termination Competition →Organization

09:0909:09, 8 September 2025 diff hist −23 Termination Competition 2025 →Live Results current
08:3608:36, 8 September 2025 diff hist +149 Termination Competition →History of Termination Competitions

10:1110:11, 3 September 2025 diff hist +15 Termination Competition 2025 No edit summary

14:4114:41, 19 August 2025 diff hist +70 C Programs →Proposed semantics current

10:0510:05, 5 August 2025 diff hist +17 Termination Competition 2025 →Dates

20:2520:25, 30 July 2025 diff hist +65 Termination Competition 2025 technical details No edit summary
08:2808:28, 30 July 2025 diff hist −345 Termination Competition 2025 technical details No edit summary

13:4713:47, 24 July 2025 diff hist +196 Termination Competition 2025 technical details →Testing Locally

Retrieved from "http://termination-portal.org/wiki/Special:Contributions/Ffrohn"