{
 "generated": "2026-08-13T11:47:39.402416+00:00",
 "source": "https://www.conferences-computer.science/mars/",
 "licence": "CC BY-SA 4.0",
 "acronym": "MARS",
 "name": "Workshop on Models for Formal Analysis of Real Systems",
 "count": 5,
 "editions": [
  {
   "slug": "mars",
   "acronym": "MARS",
   "year": "2018",
   "edition": 3,
   "title": "3rd Workshop on Models for Formal Analysis of Real Systems",
   "url": "http://www.mars-workshop.org/mars2018/",
   "page": "https://www.conferences-computer.science/mars/2018/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2018-01-21",
   "paper_deadline_announced": "2018-01-12",
   "paper_extended_days": 9,
   "notification": "2018-02-19",
   "timezone": null,
   "event_start": "2018-04-20",
   "event_end": null,
   "city": "Thessaloniki, Greece",
   "country": "GR",
   "continent": "EU",
   "lat": 40.6401,
   "lon": 22.9444,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS",
   "dblp": null
  },
  {
   "slug": "mars",
   "acronym": "MARS",
   "year": "2020",
   "edition": 4,
   "title": "4th Workshop on Models for Formal Analysis of Real Systems",
   "url": "http://www.mars-workshop.org/mars2020/",
   "page": "https://www.conferences-computer.science/mars/2020/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2020-01-20",
   "paper_deadline_announced": "2020-01-12",
   "paper_extended_days": 8,
   "notification": "2020-02-23",
   "timezone": "AoE",
   "event_start": "2020-04-26",
   "event_end": null,
   "city": "Dublin, Ireland",
   "country": "IE",
   "continent": "EU",
   "lat": 53.3498,
   "lon": -6.2603,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + references",
   "dblp": null
  },
  {
   "slug": "mars",
   "acronym": "MARS",
   "year": "2022",
   "edition": 5,
   "title": "5th Workshop on Models for Formal Analysis of Real Systems",
   "url": "http://mars-workshop.org/mars2022/",
   "page": "https://www.conferences-computer.science/mars/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2022-01-24",
   "paper_deadline_announced": "2022-01-10",
   "paper_extended_days": 14,
   "notification": "2022-02-19",
   "timezone": "AoE",
   "event_start": "2022-04-02",
   "event_end": "2022-04-03",
   "city": "Munich, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 48.1351,
   "lon": 11.582,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by-nd",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + references",
   "dblp": null
  },
  {
   "slug": "mars",
   "acronym": "MARS",
   "year": "2024",
   "edition": 6,
   "title": "6th Workshop on Models for Formal Analysis of Real Systems",
   "url": "http://mars-workshop.org/mars2024/",
   "page": "https://www.conferences-computer.science/mars/2024/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2024-01-25",
   "paper_deadline_announced": "2024-01-15",
   "paper_extended_days": 10,
   "notification": "2024-02-28",
   "timezone": "AoE",
   "event_start": "2024-04-06",
   "event_end": null,
   "city": "Luxembourg City, Luxembourg",
   "country": "LU",
   "continent": "EU",
   "lat": 49.6116,
   "lon": 6.1319,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by-nd",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + references",
   "dblp": null
  },
  {
   "slug": "mars",
   "acronym": "MARS",
   "year": "2026",
   "edition": 7,
   "title": "7th Workshop on Models for Formal Analysis of Real Systems",
   "url": "http://mars-workshop.org/mars2026/",
   "page": "https://www.conferences-computer.science/mars/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2026-02-11",
   "paper_deadline_announced": "2026-01-21",
   "paper_extended_days": 21,
   "notification": "2026-03-11",
   "timezone": "AoE",
   "event_start": "2026-04-12",
   "event_end": null,
   "city": "Milan, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.4642,
   "lon": 9.19,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by-nd",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages EPTCS + references",
   "dblp": null
  }
 ]
}