BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:CSL — deadlines and dates
X-WR-CALDESC:Every recorded edition of CSL. https://www.conferences-compute
 r.science/csl/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:csl-2017-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170324
DTEND;VALUE=DATE:20170325
SUMMARY:CSL 2017 — abstract deadline
DESCRIPTION:26th EACSL Annual Conference on Computer Science Logic\nNo time
  zone stated by the organisers\; this site assumes Anywhere on Earth.\nSho
 wn as an all-day event: the deadline is a moment\, not a day\, so check th
 e exact time on the conference site.\nHeld in Stockholm\, Sweden.\nConfere
 nce dates: 20–24 Aug 2017.\nhttps://www.conferences-computer.science/csl
 /2017/
URL:https://www.conferences-computer.science/csl/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2017-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170331
DTEND;VALUE=DATE:20170401
SUMMARY:CSL 2017 — paper deadline
DESCRIPTION:26th EACSL Annual Conference on Computer Science Logic\nNo time
  zone stated by the organisers\; this site assumes Anywhere on Earth.\nSho
 wn as an all-day event: the deadline is a moment\, not a day\, so check th
 e exact time on the conference site.\nHeld in Stockholm\, Sweden.\nConfere
 nce dates: 20–24 Aug 2017.\nhttps://www.conferences-computer.science/csl
 /2017/
URL:https://www.conferences-computer.science/csl/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2017-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170531
DTEND;VALUE=DATE:20170601
SUMMARY:CSL 2017 — notification
DESCRIPTION:26th EACSL Annual Conference on Computer Science Logic\nNo time
  zone stated by the organisers\; this site assumes Anywhere on Earth.\nSho
 wn as an all-day event: the deadline is a moment\, not a day\, so check th
 e exact time on the conference site.\nHeld in Stockholm\, Sweden.\nConfere
 nce dates: 20–24 Aug 2017.\nhttps://www.conferences-computer.science/csl
 /2017/
URL:https://www.conferences-computer.science/csl/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2020-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190704
DTEND;VALUE=DATE:20190705
SUMMARY:CSL 2020 — paper deadline
DESCRIPTION:28th International Conference on Computer Science Logic\nNo tim
 e zone stated by the organisers\; this site assumes Anywhere on Earth.\nSh
 own as an all-day event: the deadline is a moment\, not a day\, so check t
 he exact time on the conference site.\nHeld in Barcelona\, Catalonia\, Spa
 in.\nConference dates: 13–16 Jan 2020.\nhttps://www.conferences-computer
 .science/csl/2020/
URL:https://www.conferences-computer.science/csl/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2020-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190930
DTEND;VALUE=DATE:20191001
SUMMARY:CSL 2020 — notification
DESCRIPTION:28th International Conference on Computer Science Logic\nNo tim
 e zone stated by the organisers\; this site assumes Anywhere on Earth.\nSh
 own as an all-day event: the deadline is a moment\, not a day\, so check t
 he exact time on the conference site.\nHeld in Barcelona\, Catalonia\, Spa
 in.\nConference dates: 13–16 Jan 2020.\nhttps://www.conferences-computer
 .science/csl/2020/
URL:https://www.conferences-computer.science/csl/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2021-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200708
DTEND;VALUE=DATE:20200709
SUMMARY:CSL 2021 — paper deadline
DESCRIPTION:29th International Conference on Computer Science Logic\nDeadli
 ne stated in AoE.\nShown as an all-day event: the deadline is a moment\, n
 ot a day\, so check the exact time on the conference site.\nExtended from 
 01 July 2020.\nHeld in Online.\nConference dates: 25–28 Jan 2021.\nhttps
 ://www.conferences-computer.science/csl/2021/
URL:https://www.conferences-computer.science/csl/2021/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2021-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200925
DTEND;VALUE=DATE:20200926
SUMMARY:CSL 2021 — notification
DESCRIPTION:29th International Conference on Computer Science Logic\nNo tim
 e zone stated by the organisers\; this site assumes Anywhere on Earth.\nSh
 own as an all-day event: the deadline is a moment\, not a day\, so check t
 he exact time on the conference site.\nHeld in Online.\nConference dates: 
 25–28 Jan 2021.\nhttps://www.conferences-computer.science/csl/2021/
URL:https://www.conferences-computer.science/csl/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2022-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210705
DTEND;VALUE=DATE:20210706
SUMMARY:CSL 2022 — abstract deadline
DESCRIPTION:30th International Conference on Computer Science Logic\nDeadli
 ne stated in AoE.\nShown as an all-day event: the deadline is a moment\, n
 ot a day\, so check the exact time on the conference site.\nHeld in Götti
 ngen\, Germany (hybrid).\nConference dates: 14–19 Feb 2022.\nhttps://www
 .conferences-computer.science/csl/2022/
URL:https://www.conferences-computer.science/csl/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2022-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210712
DTEND;VALUE=DATE:20210713
SUMMARY:CSL 2022 — paper deadline
DESCRIPTION:30th International Conference on Computer Science Logic\nDeadli
 ne stated in AoE.\nShown as an all-day event: the deadline is a moment\, n
 ot a day\, so check the exact time on the conference site.\nHeld in Götti
 ngen\, Germany (hybrid).\nConference dates: 14–19 Feb 2022.\nhttps://www
 .conferences-computer.science/csl/2022/
URL:https://www.conferences-computer.science/csl/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2022-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210930
DTEND;VALUE=DATE:20211001
SUMMARY:CSL 2022 — notification
DESCRIPTION:30th International Conference on Computer Science Logic\nNo tim
 e zone stated by the organisers\; this site assumes Anywhere on Earth.\nSh
 own as an all-day event: the deadline is a moment\, not a day\, so check t
 he exact time on the conference site.\nHeld in Göttingen\, Germany (hybri
 d).\nConference dates: 14–19 Feb 2022.\nhttps://www.conferences-computer
 .science/csl/2022/
URL:https://www.conferences-computer.science/csl/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2023-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220709
DTEND;VALUE=DATE:20220710
SUMMARY:CSL 2023 — abstract deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Warsaw\, Po
 land.\nConference dates: 13–16 Feb 2023.\nhttps://www.conferences-comput
 er.science/csl/2023/
URL:https://www.conferences-computer.science/csl/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2023-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220716
DTEND;VALUE=DATE:20220717
SUMMARY:CSL 2023 — paper deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Warsaw\, Po
 land.\nConference dates: 13–16 Feb 2023.\nhttps://www.conferences-comput
 er.science/csl/2023/
URL:https://www.conferences-computer.science/csl/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2023-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220930
DTEND;VALUE=DATE:20221001
SUMMARY:CSL 2023 — notification
DESCRIPTION:International Conference on Computer Science Logic\nNo time zon
 e stated by the organisers\; this site assumes Anywhere on Earth.\nShown a
 s an all-day event: the deadline is a moment\, not a day\, so check the ex
 act time on the conference site.\nHeld in Warsaw\, Poland.\nConference dat
 es: 13–16 Feb 2023.\nhttps://www.conferences-computer.science/csl/2023/
URL:https://www.conferences-computer.science/csl/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2024-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230724
DTEND;VALUE=DATE:20230725
SUMMARY:CSL 2024 — abstract deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Naples\, It
 aly.\nConference dates: 19–23 Feb 2024.\nhttps://www.conferences-compute
 r.science/csl/2024/
URL:https://www.conferences-computer.science/csl/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2024-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230731
DTEND;VALUE=DATE:20230801
SUMMARY:CSL 2024 — paper deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Naples\, It
 aly.\nConference dates: 19–23 Feb 2024.\nhttps://www.conferences-compute
 r.science/csl/2024/
URL:https://www.conferences-computer.science/csl/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2024-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20231027
DTEND;VALUE=DATE:20231028
SUMMARY:CSL 2024 — notification
DESCRIPTION:International Conference on Computer Science Logic\nNo time zon
 e stated by the organisers\; this site assumes Anywhere on Earth.\nShown a
 s an all-day event: the deadline is a moment\, not a day\, so check the ex
 act time on the conference site.\nHeld in Naples\, Italy.\nConference date
 s: 19–23 Feb 2024.\nhttps://www.conferences-computer.science/csl/2024/
URL:https://www.conferences-computer.science/csl/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2025-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240718
DTEND;VALUE=DATE:20240719
SUMMARY:CSL 2025 — abstract deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Amsterdam\,
  Netherlands.\nConference dates: 10–14 Feb 2025.\nhttps://www.conference
 s-computer.science/csl/2025/
URL:https://www.conferences-computer.science/csl/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2025-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240723
DTEND;VALUE=DATE:20240724
SUMMARY:CSL 2025 — paper deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Amsterdam\,
  Netherlands.\nConference dates: 10–14 Feb 2025.\nhttps://www.conference
 s-computer.science/csl/2025/
URL:https://www.conferences-computer.science/csl/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2025-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20241027
DTEND;VALUE=DATE:20241028
SUMMARY:CSL 2025 — notification
DESCRIPTION:International Conference on Computer Science Logic\nNo time zon
 e stated by the organisers\; this site assumes Anywhere on Earth.\nShown a
 s an all-day event: the deadline is a moment\, not a day\, so check the ex
 act time on the conference site.\nHeld in Amsterdam\, Netherlands.\nConfer
 ence dates: 10–14 Feb 2025.\nhttps://www.conferences-computer.science/cs
 l/2025/
URL:https://www.conferences-computer.science/csl/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2026-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250715
DTEND;VALUE=DATE:20250716
SUMMARY:CSL 2026 — abstract deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Paris\, Fra
 nce.\nConference dates: 23–28 Feb 2026.\nhttps://www.conferences-compute
 r.science/csl/2026/
URL:https://www.conferences-computer.science/csl/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2026-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250721
DTEND;VALUE=DATE:20250722
SUMMARY:CSL 2026 — paper deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Paris\, Fra
 nce.\nConference dates: 23–28 Feb 2026.\nhttps://www.conferences-compute
 r.science/csl/2026/
URL:https://www.conferences-computer.science/csl/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2026-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20251020
DTEND;VALUE=DATE:20251021
SUMMARY:CSL 2026 — notification
DESCRIPTION:International Conference on Computer Science Logic\nNo time zon
 e stated by the organisers\; this site assumes Anywhere on Earth.\nShown a
 s an all-day event: the deadline is a moment\, not a day\, so check the ex
 act time on the conference site.\nHeld in Paris\, France.\nConference date
 s: 23–28 Feb 2026.\nhttps://www.conferences-computer.science/csl/2026/
URL:https://www.conferences-computer.science/csl/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2027-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260708
DTEND;VALUE=DATE:20260709
SUMMARY:CSL 2027 — abstract deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Brighton\, 
 UK.\nConference dates: 25–29 Jan 2027.\nhttps://www.conferences-computer
 .science/csl/2027/
URL:https://www.conferences-computer.science/csl/2027/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2027-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260715
DTEND;VALUE=DATE:20260716
SUMMARY:CSL 2027 — paper deadline
DESCRIPTION:International Conference on Computer Science Logic\nDeadline st
 ated in AoE.\nShown as an all-day event: the deadline is a moment\, not a 
 day\, so check the exact time on the conference site.\nHeld in Brighton\, 
 UK.\nConference dates: 25–29 Jan 2027.\nhttps://www.conferences-computer
 .science/csl/2027/
URL:https://www.conferences-computer.science/csl/2027/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2027-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20261015
DTEND;VALUE=DATE:20261016
SUMMARY:CSL 2027 — notification
DESCRIPTION:International Conference on Computer Science Logic\nNo time zon
 e stated by the organisers\; this site assumes Anywhere on Earth.\nShown a
 s an all-day event: the deadline is a moment\, not a day\, so check the ex
 act time on the conference site.\nHeld in Brighton\, UK.\nConference dates
 : 25–29 Jan 2027.\nhttps://www.conferences-computer.science/csl/2027/
URL:https://www.conferences-computer.science/csl/2027/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2017-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170820
DTEND;VALUE=DATE:20170825
SUMMARY:CSL 2017 — Stockholm\, Sweden
DESCRIPTION:26th EACSL Annual Conference on Computer Science Logic\nHeld in
  Stockholm\, Sweden.\nPaper deadline was 31 March 2017.\nhttps://www.confe
 rences-computer.science/csl/2017/
URL:https://www.conferences-computer.science/csl/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2020-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200113
DTEND;VALUE=DATE:20200117
SUMMARY:CSL 2020 — Barcelona\, Catalonia\, Spain
DESCRIPTION:28th International Conference on Computer Science Logic\nHeld i
 n Barcelona\, Catalonia\, Spain.\nPaper deadline was 04 July 2019.\nhttps:
 //www.conferences-computer.science/csl/2020/
URL:https://www.conferences-computer.science/csl/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2021-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210125
DTEND;VALUE=DATE:20210129
SUMMARY:CSL 2021 — Online
DESCRIPTION:29th International Conference on Computer Science Logic\nHeld i
 n Online.\nPaper deadline was 08 July 2020.\nhttps://www.conferences-compu
 ter.science/csl/2021/
URL:https://www.conferences-computer.science/csl/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2022-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220214
DTEND;VALUE=DATE:20220220
SUMMARY:CSL 2022 — Göttingen\, Germany (hybrid)
DESCRIPTION:30th International Conference on Computer Science Logic\nHeld i
 n Göttingen\, Germany (hybrid).\nPaper deadline was 12 July 2021.\nhttps:
 //www.conferences-computer.science/csl/2022/
URL:https://www.conferences-computer.science/csl/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2023-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230213
DTEND;VALUE=DATE:20230217
SUMMARY:CSL 2023 — Warsaw\, Poland
DESCRIPTION:International Conference on Computer Science Logic\nHeld in War
 saw\, Poland.\nPaper deadline was 16 July 2022.\nhttps://www.conferences-c
 omputer.science/csl/2023/
URL:https://www.conferences-computer.science/csl/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2024-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240219
DTEND;VALUE=DATE:20240224
SUMMARY:CSL 2024 — Naples\, Italy
DESCRIPTION:International Conference on Computer Science Logic\nHeld in Nap
 les\, Italy.\nPaper deadline was 31 July 2023.\nhttps://www.conferences-co
 mputer.science/csl/2024/
URL:https://www.conferences-computer.science/csl/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2025-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250210
DTEND;VALUE=DATE:20250215
SUMMARY:CSL 2025 — Amsterdam\, Netherlands
DESCRIPTION:International Conference on Computer Science Logic\nHeld in Ams
 terdam\, Netherlands.\nPaper deadline was 23 July 2024.\nhttps://www.confe
 rences-computer.science/csl/2025/
URL:https://www.conferences-computer.science/csl/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2026-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260223
DTEND;VALUE=DATE:20260301
SUMMARY:CSL 2026 — Paris\, France
DESCRIPTION:International Conference on Computer Science Logic\nHeld in Par
 is\, France.\nPaper deadline was 21 July 2025.\nhttps://www.conferences-co
 mputer.science/csl/2026/
URL:https://www.conferences-computer.science/csl/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CSL
END:VEVENT
BEGIN:VEVENT
UID:csl-2027-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20270125
DTEND;VALUE=DATE:20270130
SUMMARY:CSL 2027 — Brighton\, UK
DESCRIPTION:International Conference on Computer Science Logic\nHeld in Bri
 ghton\, UK.\nPaper deadline was 15 July 2026.\nhttps://www.conferences-com
 puter.science/csl/2027/
URL:https://www.conferences-computer.science/csl/2027/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,CSL
END:VEVENT
END:VCALENDAR