BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:FMAS — deadlines and dates
X-WR-CALDESC:Every recorded edition of FMAS. https://www.conferences-comput
 er.science/fmas/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:fmas-2025-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250822
DTEND;VALUE=DATE:20250823
SUMMARY:FMAS 2025 — paper deadline
DESCRIPTION:7th Workshop on Formal Methods for Autonomous Systems\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 conference site.\nHeld in Paris\, 
 France.\nConference dates: 17–19 Nov 2025.\nhttps://www.conferences-comp
 uter.science/fmas/2025/
URL:https://www.conferences-computer.science/fmas/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMAS
END:VEVENT
BEGIN:VEVENT
UID:fmas-2025-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20251006
DTEND;VALUE=DATE:20251007
SUMMARY:FMAS 2025 — notification
DESCRIPTION:7th Workshop on Formal Methods for Autonomous Systems\nNo time 
 zone stated by the organisers\; this site assumes Anywhere on Earth.\nShow
 n 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\, France.\nConference d
 ates: 17–19 Nov 2025.\nhttps://www.conferences-computer.science/fmas/202
 5/
URL:https://www.conferences-computer.science/fmas/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMAS
END:VEVENT
BEGIN:VEVENT
UID:fmas-2026-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260814
DTEND;VALUE=DATE:20260815
SUMMARY:FMAS 2026 — abstract deadline
DESCRIPTION:8th Workshop on Formal Methods for Autonomous Systems\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 conference site.\nHeld in Southamp
 ton\, England.\nConference dates: 17–18 Nov 2026.\nhttps://www.conferenc
 es-computer.science/fmas/2026/
URL:https://www.conferences-computer.science/fmas/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMAS
END:VEVENT
BEGIN:VEVENT
UID:fmas-2026-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260817
DTEND;VALUE=DATE:20260818
SUMMARY:FMAS 2026 — paper deadline
DESCRIPTION:8th Workshop on Formal Methods for Autonomous Systems\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 conference site.\nHeld in Southamp
 ton\, England.\nConference dates: 17–18 Nov 2026.\nhttps://www.conferenc
 es-computer.science/fmas/2026/
URL:https://www.conferences-computer.science/fmas/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMAS
END:VEVENT
BEGIN:VEVENT
UID:fmas-2026-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20261006
DTEND;VALUE=DATE:20261007
SUMMARY:FMAS 2026 — notification
DESCRIPTION:8th Workshop on Formal Methods for Autonomous Systems\nNo time 
 zone stated by the organisers\; this site assumes Anywhere on Earth.\nShow
 n as an all-day event: the deadline is a moment\, not a day\, so check the
  exact time on the conference site.\nHeld in Southampton\, England.\nConfe
 rence dates: 17–18 Nov 2026.\nhttps://www.conferences-computer.science/f
 mas/2026/
URL:https://www.conferences-computer.science/fmas/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,FMAS
END:VEVENT
BEGIN:VEVENT
UID:fmas-2025-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20251117
DTEND;VALUE=DATE:20251120
SUMMARY:FMAS 2025 — Paris\, France
DESCRIPTION:7th Workshop on Formal Methods for Autonomous Systems\nHeld in 
 Paris\, France.\nPaper deadline was 22 August 2025.\nhttps://www.conferenc
 es-computer.science/fmas/2025/
URL:https://www.conferences-computer.science/fmas/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FMAS
END:VEVENT
BEGIN:VEVENT
UID:fmas-2026-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20261117
DTEND;VALUE=DATE:20261119
SUMMARY:FMAS 2026 — Southampton\, England
DESCRIPTION:8th Workshop on Formal Methods for Autonomous Systems\nHeld in 
 Southampton\, England.\nPaper deadline was 17 August 2026.\nhttps://www.co
 nferences-computer.science/fmas/2026/
URL:https://www.conferences-computer.science/fmas/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,FMAS
END:VEVENT
END:VCALENDAR