Symposium on Logic in Computer Science: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 16:4216:42, 28 October 2024 Dale A Miller talk contribs m 6,406 bytes +40 Corrected link. undo

curprev 07:1807:18, 26 February 2024 Bruce Esrig talk contribs m 6,366 bytes +184 →History: from the *third* ... correcting Alvy Ray Smith's count undo

curprev 07:1807:18, 16 October 2023 Tea2min talk contribs 6,182 bytes +76 →2014: Different Martin Hofmann. (Martin Hofmann links to an article about a Czech actor.)) undo

curprev 09:4409:44, 13 May 2022 Felix QW talk contribs 6,106 bytes +10 →History: Updated information. undo Tag: 2017 wikitext editor

curprev 15:4715:47, 27 July 2021 193.55.177.138 talk 6,096 bytes +231 →Test-of-Time Award undo

curprev 21:4121:41, 12 April 2021 Tom.Reding talk contribs m 5,865 bytes +25 +{{Authority control}} (2 IDs from Wikidata), WP:GenFixes on undo Tag: AWB

curprev 20:1320:13, 4 October 2020 Cyfal talk contribs m 5,840 bytes +1 spelling of the title (WP:Typo Team) (see https://dl.acm.org/doi/10.5555/788022.788992) undo

curprev 05:5305:53, 30 September 2020 Cnwilliams talk contribs m 5,839 bytes +35 Disambiguated: Robert Harper → Robert Harper (computer scientist) undo

curprev 18:4018:40, 23 September 2020 RJFJR talk contribs 5,804 bytes −113 →LICS Awards: rev order so chrono undo
curprev 14:5214:52, 23 September 2020 Narky Blert talk contribs 5,917 bytes +150 Link to DAB page -> redlink. cleanup tag undo

curprev 03:0003:00, 16 August 2020 FrescoBot talk contribs m 5,767 bytes −2 Bot: link syntax and minor changes undo

curprev 09:0509:05, 14 August 2020 Narky Blert talk contribs 5,769 bytes +35 Link to DAB page -> redlink undo

curprev 18:0618:06, 27 July 2020 Kj cheetham talk contribs 5,734 bytes +41 Added {{More citations needed}} tag (TW) undo

curprev 11:5711:57, 17 July 2020 Dale A Miller talk contribs 5,693 bytes +374 →LICS Awards undo
curprev 11:5311:53, 17 July 2020 Dale A Miller talk contribs 5,319 bytes +96 →2007 undo
curprev 11:5111:51, 17 July 2020 Dale A Miller talk contribs 5,223 bytes +1,192 →Test-of-Time Award undo

curprev 20:0920:09, 17 December 2018 David Eppstein talk contribs 4,031 bytes −18 not a stub undo

curprev 15:1215:12, 23 December 2017 Tennesseerudolphs talk contribs m 4,049 bytes +3 →Kleene award undo

curprev 05:4605:46, 19 July 2017 137.226.53.94 talk 4,046 bytes −4 →External links: LICS website has moved. I inserted the new URL. undo

curprev 19:4019:40, 13 March 2017 Jax 0677 talk contribs 4,050 bytes +18 →External links: {{IEEE conferences}} undo

curprev 23:2523:25, 2 January 2016 Martin Ziegler talk contribs m 4,032 bytes −28 links to LICS home page and awards updated undo

curprev 04:4304:43, 14 August 2015 David Eppstein talk contribs 4,060 bytes +2 →History: avoid confusing pronoun undo
curprev 03:5403:54, 14 August 2015 David Eppstein talk contribs 4,058 bytes +60 →History: forgot to include author info in ref undo
curprev 02:4902:49, 14 August 2015 David Eppstein talk contribs 3,998 bytes +448 ACM–IEEE undo
curprev 02:4502:45, 14 August 2015 David Eppstein talk contribs m 3,550 bytes 0 David Eppstein moved page Logic in Computer Science (IEEE symposium) to Symposium on Logic in Computer Science: Move to an unambiguous and more accurate name (no longer solely IEEE) undo

curprev 14:3514:35, 12 May 2015 24.130.62.208 talk 3,550 bytes +94 →Test-of-Time Award undo

curprev 02:5402:54, 11 February 2015 Fgnievinski talk contribs 3,456 bytes −33 removed Category:Institute of Electrical and Electronics Engineers; added Category:IEEE conferences using HotCat undo
curprev 02:5202:52, 11 February 2015 Fgnievinski talk contribs 3,489 bytes +63 added Category:Institute of Electrical and Electronics Engineers using HotCat undo

curprev 20:4020:40, 4 February 2015 129.67.117.92 talk 3,426 bytes +70 →Test-of-Time Award undo

curprev 00:0100:01, 3 February 2015 FrescoBot talk contribs m 3,356 bytes −1 Bot: link syntax undo

curprev 18:2918:29, 30 November 2014 MadScientistX11 talk contribs m 3,357 bytes 0 MadScientistX11 moved page IEEE Symposium on Logic in Computer Science to Logic in Computer Science (IEEE symposium): Previous title was too hard to differentiate from another article with the same name except for capitalization undo

curprev 15:3515:35, 16 November 2014 88.73.43.235 talk 3,357 bytes +6 →2010: fixed name links to wrong persons undo
curprev 15:3415:34, 16 November 2014 88.73.43.235 talk 3,351 bytes +3 →2011: fixed link to wrong person undo
curprev 15:3315:33, 16 November 2014 88.73.43.235 talk 3,348 bytes +500 →Test-of-Time Award: added 2010, 2009 awards, fixed some name links undo
curprev 15:2715:27, 16 November 2014 88.73.43.235 talk 2,848 bytes +521 →Test-of-Time Award: added 2012, 2011 awards undo

curprev 14:0114:01, 11 November 2014 88.73.63.196 talk 2,327 bytes +807 added LICS award section undo

curprev 16:1116:11, 3 April 2014 Masssly talk contribs 1,520 bytes −1 clean up using AWB undo

curprev 17:5417:54, 22 August 2011 Nick Number talk contribs m 1,521 bytes +1 sp conference WP:TYPO undo

curprev 07:2607:26, 9 September 2009 Hermel talk contribs m 1,520 bytes −45 fixed redlink undo

curprev 12:2812:28, 8 September 2009 Hermel talk contribs 1,565 bytes −20 wikilink added undo

curprev 17:5717:57, 21 July 2009 Hermel talk contribs 1,585 bytes +347 →History: awards undo

curprev 20:5020:50, 9 May 2009 Miym talk contribs m 1,238 bytes −27 →External links: cat undo

curprev 07:1707:17, 4 May 2009 Hermel talk contribs 1,265 bytes +345 proceedings cover artwork undo

curprev 09:4709:47, 11 December 2008 Hermel talk contribs m 920 bytes +39 category logic in computer science undo

curprev 16:3716:37, 18 August 2008 Hermel talk contribs 881 bytes +120 see also undo

curprev 15:5515:55, 13 March 2008 Kaustuv talk contribs 761 bytes −33 Why is there a notability tag on possibly the largest logic and computation conference? Take objections to removal in talk. undo

curprev 10:5410:54, 12 February 2008 Hermel talk contribs 794 bytes +21 No edit summary undo
curprev 10:5310:53, 12 February 2008 Hermel talk contribs 773 bytes +225 No edit summary undo

curprev 20:0420:04, 16 January 2008 SmackBot talk contribs m 548 bytes +18 Date/fix the maintenance tags or gen fixes using AWB undo

curprev 05:5605:56, 15 January 2008 Merciful Neptune talk contribs 530 bytes +15 Notability of this conference? undo

28 October 2024

26 February 2024

16 October 2023

13 May 2022

27 July 2021

12 April 2021

4 October 2020

30 September 2020

23 September 2020

16 August 2020

14 August 2020

27 July 2020

17 July 2020

17 December 2018

23 December 2017

19 July 2017

13 March 2017

2 January 2016

14 August 2015

12 May 2015

11 February 2015

4 February 2015

3 February 2015

30 November 2014

16 November 2014

11 November 2014

3 April 2014

22 August 2011

9 September 2009

8 September 2009

21 July 2009

9 May 2009

4 May 2009

11 December 2008

18 August 2008

13 March 2008

12 February 2008

16 January 2008

15 January 2008