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 50 | older 50) (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"))
- 19:13, 29 May 2013 User account Flowgenerator talk contribs was created by C-Otto talk contribs
- 07:20, 11 March 2013 C-Otto talk contribs deleted page News:News Captionxxxxxxxxxxxxxx (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 09:00, 27 June 2012 C-Otto talk contribs deleted page News:News Captionfsdf (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 08:57, 27 June 2012 C-Otto talk contribs deleted page News:News Captionx (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 08:57, 27 June 2012 C-Otto talk contribs deleted page News:YetAnotherTest (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 20:16, 26 June 2012 C-Otto talk contribs deleted page News:YetAnotherTest (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 20:16, 26 June 2012 C-Otto talk contribs deleted page News:Another Test (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 14:52, 26 June 2012 C-Otto talk contribs deleted page News:Test (content was: " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWi..." (and the only contributor was "C-Otto"))
- 07:27, 29 November 2011 C-Otto talk contribs deleted page Bibtex:Identifier (Author request: content was: " <!-- remove this line if this is not a new publication --> == BibTex == <!-- Please add the BibTeX data below th..." (and the only contributor was "[[Special:Contributions/C)
- 21:37, 7 November 2011 User account Hezzel talk contribs was created by Fuhs talk contribs
- 14:34, 11 April 2011 User account Mmjb talk contribs was created by C-Otto talk contribs
- 14:08, 11 April 2011 User account Cryingshadow talk contribs was created by C-Otto talk contribs
- 08:59, 25 May 2010 C-Otto talk contribs deleted page Complexity:PageProposal (Author request)
- 08:34, 25 May 2010 Georg.moser talk contribs moved page Complexity to Complexity:Old
- 12:46, 9 April 2010 Griff talk contribs moved page Tools:Tool Cime to Tools:Cime (redundant naming)
- 14:43, 21 December 2009 C-Otto talk contribs moved page ITRS to Integer Term Rewriting
- 14:42, 21 December 2009 C-Otto talk contribs moved page Higher Order to Higher Order Rewriting
- 12:52, 24 June 2009 C-Otto talk contribs deleted page Help:Editing (content was: '#REDIRECT http://en.wikipedia.org/wiki/Help:Editing' (and the only contributor was 'C-Otto'))
- 12:15, 23 June 2009 C-Otto talk contribs protected Template:Person ([edit=sysop:move=sysop]) (hist)
- 11:36, 19 May 2009 Rgutierrez talk contribs moved page Tools:MuTerm to Tools:MU-TERM
- 13:43, 14 May 2009 C-Otto talk contribs protected People:Firstname Lastname (Please enter your real name. [create=sysop]) (hist)
- 13:43, 14 May 2009 C-Otto talk contribs deleted page People:Firstname Lastname (content was: '<!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that...' (and the only contributor was 'Polytool'))
- 16:47, 13 May 2009 C-Otto talk contribs protected Template:Tool ([edit=sysop:move=sysop]) (hist)
- 11:48, 10 April 2009 C-Otto talk contribs deleted page TODO (content was: '= TODO = * we should fill in some text for the "About" and "Disclaimers" links (bottom of each page). E.g. how to reach an administrator. * please check t...' (and the only contributor was 'J.waldmann'))
- 22:25, 23 February 2009 C-Otto talk contribs changed group membership for Fab from (none) to bureaucrat
- 09:21, 3 November 2008 Nowonder talk contribs changed group membership for Hzantema from (none) to steering
- 07:43, 2 November 2008 Nowonder talk contribs changed group membership for J.waldmann from (none) to steering
- 07:42, 2 November 2008 Nowonder talk contribs changed group membership for Pons from (none) to steering
- 07:42, 2 November 2008 Nowonder talk contribs changed group membership for Ami from (none) to steering
- 07:41, 2 November 2008 Nowonder talk contribs changed group membership for Slucas from (none) to steering