BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:FSCD — deadlines and dates
X-WR-CALDESC:Every recorded edition of FSCD. https://www.conferences-comput
 er.science/fscd/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:fscd-2020-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200206
DTEND;VALUE=DATE:20200207
SUMMARY:FSCD 2020 — abstract deadline
DESCRIPTION:5th International Conference Formal Structures for Computation 
 and Deduction\nDeadline stated in AoE.\nShown as an all-day event: the dea
 dline is a moment\, not a day\, so check the exact time on the conference 
 site.\nHeld in Paris\, France.\nConference dates: 29 Jun – 5 Jul 2020.\n
 https://www.conferences-computer.science/fscd/2020/
URL:https://www.conferences-computer.science/fscd/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2020-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200209
DTEND;VALUE=DATE:20200210
SUMMARY:FSCD 2020 — paper deadline
DESCRIPTION:5th International Conference Formal Structures for Computation 
 and Deduction\nDeadline stated in AoE.\nShown as an all-day event: the dea
 dline is a moment\, not a day\, so check the exact time on the conference 
 site.\nHeld in Paris\, France.\nConference dates: 29 Jun – 5 Jul 2020.\n
 https://www.conferences-computer.science/fscd/2020/
URL:https://www.conferences-computer.science/fscd/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2020-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200413
DTEND;VALUE=DATE:20200414
SUMMARY:FSCD 2020 — notification
DESCRIPTION:5th International Conference Formal Structures for Computation 
 and Deduction\nNo time zone stated by the organisers\; this site assumes A
 nywhere on Earth.\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 Paris\
 , France.\nConference dates: 29 Jun – 5 Jul 2020.\nhttps://www.conferenc
 es-computer.science/fscd/2020/
URL:https://www.conferences-computer.science/fscd/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2025-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250217
DTEND;VALUE=DATE:20250218
SUMMARY:FSCD 2025 — abstract deadline
DESCRIPTION:10th International Conference on Formal Structures for Computat
 ion and Deduction\nDeadline stated in AoE.\nShown as an all-day event: the
  deadline is a moment\, not a day\, so check the exact time on the confere
 nce site.\nExtended from 10 February 2025.\nHeld in Birmingham\, UK.\nConf
 erence dates: 15–18 Jul 2025.\nhttps://www.conferences-computer.science/
 fscd/2025/
URL:https://www.conferences-computer.science/fscd/2025/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2025-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250222
DTEND;VALUE=DATE:20250223
SUMMARY:FSCD 2025 — paper deadline
DESCRIPTION:10th International Conference on Formal Structures for Computat
 ion and Deduction\nDeadline stated in AoE.\nShown as an all-day event: the
  deadline is a moment\, not a day\, so check the exact time on the confere
 nce site.\nExtended from 17 February 2025.\nHeld in Birmingham\, UK.\nConf
 erence dates: 15–18 Jul 2025.\nhttps://www.conferences-computer.science/
 fscd/2025/
URL:https://www.conferences-computer.science/fscd/2025/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2025-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250430
DTEND;VALUE=DATE:20250501
SUMMARY:FSCD 2025 — notification
DESCRIPTION:10th International Conference on Formal Structures for Computat
 ion and Deduction\nNo time zone stated by the organisers\; this site assum
 es Anywhere on Earth.\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 Bi
 rmingham\, UK.\nConference dates: 15–18 Jul 2025.\nhttps://www.conferenc
 es-computer.science/fscd/2025/
URL:https://www.conferences-computer.science/fscd/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2026-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260123
DTEND;VALUE=DATE:20260124
SUMMARY:FSCD 2026 — abstract deadline
DESCRIPTION:10th International Conference on Formal Structures for Computat
 ion and Deduction\nDeadline stated in AoE.\nShown as an all-day event: the
  deadline is a moment\, not a day\, so check the exact time on the confere
 nce site.\nHeld in Lisbon\, Portugal.\nConference dates: 20–23 Jul 2026.
 \nhttps://www.conferences-computer.science/fscd/2026/
URL:https://www.conferences-computer.science/fscd/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2026-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260130
DTEND;VALUE=DATE:20260131
SUMMARY:FSCD 2026 — paper deadline
DESCRIPTION:10th International Conference on Formal Structures for Computat
 ion and Deduction\nDeadline stated in AoE.\nShown as an all-day event: the
  deadline is a moment\, not a day\, so check the exact time on the confere
 nce site.\nHeld in Lisbon\, Portugal.\nConference dates: 20–23 Jul 2026.
 \nhttps://www.conferences-computer.science/fscd/2026/
URL:https://www.conferences-computer.science/fscd/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2026-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260416
DTEND;VALUE=DATE:20260417
SUMMARY:FSCD 2026 — notification
DESCRIPTION:10th International Conference on Formal Structures for Computat
 ion and Deduction\nNo time zone stated by the organisers\; this site assum
 es Anywhere on Earth.\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 Li
 sbon\, Portugal.\nConference dates: 20–23 Jul 2026.\nhttps://www.confere
 nces-computer.science/fscd/2026/
URL:https://www.conferences-computer.science/fscd/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2020-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20200629
DTEND;VALUE=DATE:20200706
SUMMARY:FSCD 2020 — Paris\, France
DESCRIPTION:5th International Conference Formal Structures for Computation 
 and Deduction\nHeld in Paris\, France.\nPaper deadline was 09 February 202
 0.\nhttps://www.conferences-computer.science/fscd/2020/
URL:https://www.conferences-computer.science/fscd/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2025-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250715
DTEND;VALUE=DATE:20250719
SUMMARY:FSCD 2025 — Birmingham\, UK
DESCRIPTION:10th International Conference on Formal Structures for Computat
 ion and Deduction\nHeld in Birmingham\, UK.\nPaper deadline was 22 Februar
 y 2025.\nhttps://www.conferences-computer.science/fscd/2025/
URL:https://www.conferences-computer.science/fscd/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FSCD
END:VEVENT
BEGIN:VEVENT
UID:fscd-2026-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260720
DTEND;VALUE=DATE:20260724
SUMMARY:FSCD 2026 — Lisbon\, Portugal
DESCRIPTION:10th International Conference on Formal Structures for Computat
 ion and Deduction\nHeld in Lisbon\, Portugal.\nPaper deadline was 30 Janua
 ry 2026.\nhttps://www.conferences-computer.science/fscd/2026/
URL:https://www.conferences-computer.science/fscd/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FSCD
END:VEVENT
END:VCALENDAR