BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:MARS — deadlines and dates
X-WR-CALDESC:Every recorded edition of MARS. https://www.conferences-comput
 er.science/mars/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:mars-2018-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180121
DTEND;VALUE=DATE:20180122
SUMMARY:MARS 2018 — paper deadline
DESCRIPTION:3rd Workshop on Models for Formal Analysis of Real Systems\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nExtended from 12 January 2018.\n
 Held in Thessaloniki\, Greece.\nConference dates: 20 Apr 2018.\nhttps://ww
 w.conferences-computer.science/mars/2018/
URL:https://www.conferences-computer.science/mars/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2018-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180219
DTEND;VALUE=DATE:20180220
SUMMARY:MARS 2018 — notification
DESCRIPTION:3rd Workshop on Models for Formal Analysis of Real Systems\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Thessaloniki\, Greece.\n
 Conference dates: 20 Apr 2018.\nhttps://www.conferences-computer.science/m
 ars/2018/
URL:https://www.conferences-computer.science/mars/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2020-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200120
DTEND;VALUE=DATE:20200121
SUMMARY:MARS 2020 — paper deadline
DESCRIPTION:4th Workshop on Models for Formal Analysis of Real Systems\nDea
 dline 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.\nExtended fr
 om 12 January 2020.\nHeld in Dublin\, Ireland.\nConference dates: 26 Apr 2
 020.\nhttps://www.conferences-computer.science/mars/2020/
URL:https://www.conferences-computer.science/mars/2020/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2020-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200223
DTEND;VALUE=DATE:20200224
SUMMARY:MARS 2020 — notification
DESCRIPTION:4th Workshop on Models for Formal Analysis of Real Systems\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Dublin\, Ireland.\nConfe
 rence dates: 26 Apr 2020.\nhttps://www.conferences-computer.science/mars/2
 020/
URL:https://www.conferences-computer.science/mars/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2022-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220124
DTEND;VALUE=DATE:20220125
SUMMARY:MARS 2022 — paper deadline
DESCRIPTION:5th Workshop on Models for Formal Analysis of Real Systems\nDea
 dline 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.\nExtended fr
 om 10 January 2022.\nHeld in Munich\, Germany.\nConference dates: 2–3 Ap
 r 2022.\nhttps://www.conferences-computer.science/mars/2022/
URL:https://www.conferences-computer.science/mars/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2022-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220219
DTEND;VALUE=DATE:20220220
SUMMARY:MARS 2022 — notification
DESCRIPTION:5th Workshop on Models for Formal Analysis of Real Systems\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nExtended from 14 February 2022.\
 nHeld in Munich\, Germany.\nConference dates: 2–3 Apr 2022.\nhttps://www
 .conferences-computer.science/mars/2022/
URL:https://www.conferences-computer.science/mars/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2024-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240125
DTEND;VALUE=DATE:20240126
SUMMARY:MARS 2024 — paper deadline
DESCRIPTION:6th Workshop on Models for Formal Analysis of Real Systems\nDea
 dline 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.\nExtended fr
 om 15 January 2024.\nHeld in Luxembourg City\, Luxembourg.\nConference dat
 es: 6 Apr 2024.\nhttps://www.conferences-computer.science/mars/2024/
URL:https://www.conferences-computer.science/mars/2024/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2024-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240228
DTEND;VALUE=DATE:20240229
SUMMARY:MARS 2024 — notification
DESCRIPTION:6th Workshop on Models for Formal Analysis of Real Systems\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nExtended from 24 February 2024.\
 nHeld in Luxembourg City\, Luxembourg.\nConference dates: 6 Apr 2024.\nhtt
 ps://www.conferences-computer.science/mars/2024/
URL:https://www.conferences-computer.science/mars/2024/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2026-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260211
DTEND;VALUE=DATE:20260212
SUMMARY:MARS 2026 — paper deadline
DESCRIPTION:7th Workshop on Models for Formal Analysis of Real Systems\nDea
 dline 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.\nExtended fr
 om 21 January 2026.\nHeld in Milan\, Italy.\nConference dates: 12 Apr 2026
 .\nhttps://www.conferences-computer.science/mars/2026/
URL:https://www.conferences-computer.science/mars/2026/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2026-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260311
DTEND;VALUE=DATE:20260312
SUMMARY:MARS 2026 — notification
DESCRIPTION:7th Workshop on Models for Formal Analysis of Real Systems\nNo 
 time zone stated by the organisers\; this site assumes Anywhere on Earth.\
 nShown as an all-day event: the deadline is a moment\, not a day\, so chec
 k the exact time on the conference site.\nHeld in Milan\, Italy.\nConferen
 ce dates: 12 Apr 2026.\nhttps://www.conferences-computer.science/mars/2026
 /
URL:https://www.conferences-computer.science/mars/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2018-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180420
DTEND;VALUE=DATE:20180421
SUMMARY:MARS 2018 — Thessaloniki\, Greece
DESCRIPTION:3rd Workshop on Models for Formal Analysis of Real Systems\nHel
 d in Thessaloniki\, Greece.\nPaper deadline was 21 January 2018.\nhttps://
 www.conferences-computer.science/mars/2018/
URL:https://www.conferences-computer.science/mars/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2020-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200426
DTEND;VALUE=DATE:20200427
SUMMARY:MARS 2020 — Dublin\, Ireland
DESCRIPTION:4th Workshop on Models for Formal Analysis of Real Systems\nHel
 d in Dublin\, Ireland.\nPaper deadline was 20 January 2020.\nhttps://www.c
 onferences-computer.science/mars/2020/
URL:https://www.conferences-computer.science/mars/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2022-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220402
DTEND;VALUE=DATE:20220404
SUMMARY:MARS 2022 — Munich\, Germany
DESCRIPTION:5th Workshop on Models for Formal Analysis of Real Systems\nHel
 d in Munich\, Germany.\nPaper deadline was 24 January 2022.\nhttps://www.c
 onferences-computer.science/mars/2022/
URL:https://www.conferences-computer.science/mars/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2024-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240406
DTEND;VALUE=DATE:20240407
SUMMARY:MARS 2024 — Luxembourg City\, Luxembourg
DESCRIPTION:6th Workshop on Models for Formal Analysis of Real Systems\nHel
 d in Luxembourg City\, Luxembourg.\nPaper deadline was 25 January 2024.\nh
 ttps://www.conferences-computer.science/mars/2024/
URL:https://www.conferences-computer.science/mars/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,MARS
END:VEVENT
BEGIN:VEVENT
UID:mars-2026-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260412
DTEND;VALUE=DATE:20260413
SUMMARY:MARS 2026 — Milan\, Italy
DESCRIPTION:7th Workshop on Models for Formal Analysis of Real Systems\nHel
 d in Milan\, Italy.\nPaper deadline was 11 February 2026.\nhttps://www.con
 ferences-computer.science/mars/2026/
URL:https://www.conferences-computer.science/mars/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,MARS
END:VEVENT
END:VCALENDAR