CSL 2020: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

25 August 2026

  • curprev 04:0804:08, 25 August 2026 Akhilesh talk contribs 391 bytes +21 Cleaned CSL 2020 with new text {{Event |Acronym=CSL 2020 |Title=28th EACSL Annual Conference on Computer Science Logic |Ordinal=28 |Series=CSL |Type=Conference |Field=Computer Science |Start date=2020-01-13 |End date=2020-01-16 |Submission deadline=2019-07-04 |Homepage=https://www.cs.upc.edu/csl2020/ |Event mode=InPerson |City=Barcelona |Country=Spain |Notification=2019-09-30 |Submitted papers=82 |Accepted papers=32 }}

17 August 2026

  • curprev 13:2513:25, 17 August 2026 Akhilesh talk contribs 370 bytes −4 Cleaned CSL 2020 with new text {{Event |Acronym=CSL 2020 |Title=28th EACSL Annual Conference on Computer Science Logic |Ordinal=28 |Series=CSL |Type=Conference |Field=Computer Science |Start date=2020-01-13 |End date=2020-01-16 |Submission deadline=2019-07-04 |Homepage=https://www.cs.upc.edu/csl2020/ |City=Barcelona |Country=Spain |Notification=2019-09-30 |Submitted papers=82 |Accepted papers=32 }}

12 August 2026

  • curprev 11:4811:48, 12 August 2026 Akhilesh talk contribs 374 bytes 0 Cleaned CSL 2020 with new text {{Event |Acronym=CSL 2020 |Title=28th EACSL Annual Conference on Computer Science Logic |Ordinal=28 |Series=CSL |Type=Conference |Field=Computer Science |Start date=2020-01-13 |End date=2020-01-16 |Submission deadline=2019-07-04 |Homepage URL=https://www.cs.upc.edu/csl2020/ |City=Barcelona |Country=Spain |Notification=2019-09-30 |Submitted papers=82 |Accepted papers=32 }}
  • curprev 07:1007:10, 12 August 2026 Akhilesh talk contribs 374 bytes 0 Cleaned CSL 2020 with new text {{Event |Acronym=CSL 2020 |Title=28th EACSL Annual Conference on Computer Science Logic |Ordinal=28 |Series=CSL |Type=Conference |Field=Computer Science |Start date=2020-01-13 |End date=2020-01-16 |Submission deadline=2019-07-04 |Homepage URL=https://www.cs.upc.edu/csl2020/ |City=Barcelona |Country=Spain |Notification=2019/09/30 |Submitted papers=82 |Accepted papers=32 }}

30 July 2026

  • curprev 06:5306:53, 30 July 2026 Akhilesh talk contribs 374 bytes −20 Cleaned CSL 2020 with new text {{Event |Acronym=CSL 2020 |Title=28th EACSL Annual Conference on Computer Science Logic |Ordinal=28 |Series=CSL |Type=Conference |Field=Computer Science |Start date=2020/01/13 |End date=2020/01/16 |Submission deadline=2019/07/04 |Homepage URL=https://www.cs.upc.edu/csl2020/ |City=Barcelona |Country=Spain |Notification=2019/09/30 |Submitted papers=82 |Accepted papers=32 }}

29 July 2026

  • curprev 12:3112:31, 29 July 2026 Akhilesh talk contribs 394 bytes +394 Cleaned CSL 2020 with new text {{Event |Acronym=CSL 2020 |Title=28th EACSL Annual Conference on Computer Science Logic |Ordinal=28 |Series=CSL |Type=Conference |Field=Computer Science |Start date=2020/01/13 |End date=2020/01/16 |Submission deadline=2019/07/04 |Homepage URL=https://www.cs.upc.edu/csl2020/ |City=Barcelona |Country=Spain |Notification=2019/09/30 |Submitted papers=82 |Accepted papers=32 }} === Sources === } (automated(LLM-assisted))
Retrieved from "https://www.openresearch.org/wiki/CSL_2020"