CSL 2025: 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 558 bytes +21 Cleaned CSL 2025 with new text {{Event |Acronym=CSL 2025 |Title=Computer Science Logic 2025 |Ordinal=33 |Series=CSL |Type=Conference |Field=Computer Science Logic |Start date=2025-02-10 |End date=2025-02-14 |Submission deadline=2024-07-23 |Homepage=https://csl2025.github.io/ |Event mode=InPerson |City=Amsterdam |Country=Netherlands |Abstract deadline=2024-07-18 |Notification=2024-10-27 |Camera ready=2024-11-24 |Has host organization=European Association for Computer Science Logic (EACSL) |Has...

21 August 2026

  • curprev 09:3109:31, 21 August 2026 Akhilesh talk contribs 537 bytes 0 Cleaned CSL 2025 with new text {{Event |Acronym=CSL 2025 |Title=Computer Science Logic 2025 |Ordinal=33 |Series=CSL |Type=Conference |Field=Computer Science Logic |Start date=2025-02-10 |End date=2025-02-14 |Submission deadline=2024-07-23 |Homepage=https://csl2025.github.io/ |City=Amsterdam |Country=Netherlands |Abstract deadline=2024-07-18 |Notification=2024-10-27 |Camera ready=2024-11-24 |Has host organization=European Association for Computer Science Logic (EACSL) |Has general chair=Jörg E...

12 August 2026

  • curprev 11:4811:48, 12 August 2026 Akhilesh talk contribs 537 bytes 0 Cleaned CSL 2025 with new text {{Event |Acronym=CSL 2025 |Title=Computer Science Logic 2025 |Ordinal=33 |Series=CSL |Type=Conference |Field=Computer Science Logic |Start date=2025-02-10 |End date=2025-02-14 |Submission deadline=2024-07-23 |Homepage=https://csl2025.github.io/ |City=Amsterdam |Country=Netherlands |Abstract deadline=2024-07-18 |Notification=2024-10-27 |Camera ready=2024-11-24 |Has host organization=European Association for Computer Science Logic (EACSL) |has general chair=Jörg E...
  • curprev 07:1007:10, 12 August 2026 Akhilesh talk contribs 537 bytes 0 Cleaned CSL 2025 with new text {{Event |Acronym=CSL 2025 |Title=Computer Science Logic 2025 |Ordinal=33 |Series=CSL |Type=Conference |Field=Computer Science Logic |Start date=2025-02-10 |End date=2025-02-14 |Submission deadline=2024-07-23 |Homepage=https://csl2025.github.io/ |City=Amsterdam |Country=Netherlands |Abstract deadline=2024/07/18 |Notification=2024/10/27 |Camera ready=2024/11/24 |Has host organization=European Association for Computer Science Logic (EACSL) |has general chair=Jörg E...

30 July 2026

  • curprev 06:5306:53, 30 July 2026 Akhilesh talk contribs 537 bytes −20 Cleaned CSL 2025 with new text {{Event |Acronym=CSL 2025 |Title=Computer Science Logic 2025 |Ordinal=33 |Series=CSL |Type=Conference |Field=Computer Science Logic |Start date=2025/02/10 |End date=2025/02/14 |Submission deadline=2024/07/23 |Homepage=https://csl2025.github.io/ |City=Amsterdam |Country=Netherlands |Abstract deadline=2024/07/18 |Notification=2024/10/27 |Camera ready=2024/11/24 |Has host organization=European Association for Computer Science Logic (EACSL) |has general chair=Jörg E...

29 July 2026

  • curprev 12:3112:31, 29 July 2026 Akhilesh talk contribs 557 bytes +557 Cleaned CSL 2025 with new text {{Event |Acronym=CSL 2025 |Title=Computer Science Logic 2025 |Ordinal=33 |Series=CSL |Type=Conference |Field=Computer Science Logic |Start date=2025/02/10 |End date=2025/02/14 |Submission deadline=2024/07/23 |Homepage=https://csl2025.github.io/ |City=Amsterdam |Country=Netherlands |Abstract deadline=2024/07/18 |Notification=2024/10/27 |Camera ready=2024/11/24 |Has host organization=European Association for Computer Science Logic (EACSL) |has general chair=Jörg E...
Retrieved from "https://www.openresearch.org/wiki/CSL_2025"