All public logs
From Termination-Portal.org
Jump to navigationJump to searchCombined display of all available logs of Termination-Portal.org. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
(newest | oldest) View (newer 20 | older 20) (20 | 50 | 100 | 250 | 500)- 10:56, 30 May 2022 Akihisa Yamada talk contribs created page Termination Competition 2022 (Created page with "The Termination and Complexity Competition (termCOMP) 2022 will be affiliated to [https://easychair.org/smart-program/FLoC2022/IJCAR-index.html IJCAR 2022] and takes part in [...")
- 18:27, 20 December 2020 Ffrohn talk contribs created page News:Termination Competition 2021 (Created page with "{{News |text=The Termination Competition 2021 will be affiliated with CADE. |date=December, 2020 }}")
- 18:20, 20 December 2020 Ffrohn talk contribs created page Termination Competition 2021 (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...")
- 13:34, 6 November 2019 Giesl talk contribs changed group membership for Davidkor from (none) to administrator and bureaucrat (David will move the web pages to Github.)
- 12:03, 3 July 2019 User account Davidkor talk contribs was created by Giesl talk contribs
- 08:58, 14 October 2018 Ffrohn talk contribs changed group membership for Giesl from bureaucrat and steering to bureaucrat, steering and administrator
- 12:27, 20 August 2017 User account Epayet talk contribs was created by Fuhs talk contribs
- 21:09, 7 August 2017 User account Christoph Walther talk contribs was created by Giesl talk contribs
- 12:48, 7 July 2016 Thiemann talk contribs moved page Termination Competition 2016 to Termination and Complexity Competition 2016
- 11:58, 2 May 2016 Thiemann talk contribs moved page News:Workshop on Termination 2016: September 5-6 at Computational Logic in the Alps to News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps (corrected date of WST 2016)
- 09:08, 23 July 2015 User account Akihisa Yamada talk contribs was created by Giesl talk contribs
- 21:51, 30 June 2015 User account Sabel talk contribs was created by Giesl talk contribs
- 08:41, 29 July 2014 J.waldmann talk contribs moved page Termination Competition 2014 Questionannaire to Termination Competition 2014 Questionnaire
- 10:33, 12 June 2014 J.waldmann talk contribs moved page Termination Competition 2014 Participants to Termination Competition 2014 Registration
- 08:28, 20 May 2014 User account Albert talk contribs was created by Giesl talk contribs
- 14:39, 4 March 2014 C-Otto talk contribs changed group membership for Ffrohn from (none) to administrator, bureaucrat and steering
- 14:18, 4 March 2014 User account Ffrohn talk contribs was created by Fuhs talk contribs
- 12:21, 3 June 2013 C-Otto talk contribs blocked Flowgenerator talk contribs with an expiration time of indefinite (account creation disabled, autoblock disabled) (Inserting nonsense/gibberish into pages)
- 08:25, 30 May 2013 C-Otto talk contribs protected Help:Contents [create=sysop] (indefinite) (hist)
- 08:25, 30 May 2013 C-Otto talk contribs deleted page Help:Contents (content was: " FlowGenerator a general purpose semantic language The classical problem programmers' face is whether or not, the intent of their programs has been ..." (and the only contributor was "Flowgenerator"))