{
 "generated": "2026-08-13T11:47:39.295089+00:00",
 "source": "https://www.conferences-computer.science/fmas/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FMAS",
 "name": "Workshop on Formal Methods for Autonomous Systems",
 "count": 2,
 "editions": [
  {
   "slug": "fmas",
   "acronym": "FMAS",
   "year": "2025",
   "edition": 7,
   "title": "7th Workshop on Formal Methods for Autonomous Systems",
   "url": "https://fmasworkshop.github.io/FMAS2025/",
   "page": "https://www.conferences-computer.science/fmas/2025/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2025-08-22",
   "paper_deadline_announced": "2025-08-22",
   "paper_extended_days": 0,
   "notification": "2025-10-06",
   "timezone": "AoE",
   "event_start": "2025-11-17",
   "event_end": "2025-11-19",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages + references (regular / Experience report) / 6 pages + references (vision / research previews)",
   "dblp": "fmas"
  },
  {
   "slug": "fmas",
   "acronym": "FMAS",
   "year": "2026",
   "edition": 8,
   "title": "8th Workshop on Formal Methods for Autonomous Systems",
   "url": "https://fmasworkshop.github.io/FMAS2026/",
   "page": "https://www.conferences-computer.science/fmas/2026/",
   "status": null,
   "abstract_deadline": "2026-08-14",
   "paper_deadline": "2026-08-17",
   "paper_deadline_announced": "2026-08-17",
   "paper_extended_days": 0,
   "notification": "2026-10-06",
   "timezone": "AoE",
   "event_start": "2026-11-17",
   "event_end": "2026-11-18",
   "city": "Southampton, England",
   "country": "GB",
   "continent": "EU",
   "lat": 50.9097,
   "lon": -1.4044,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages + references (regular / Experience report) / 6 pages + references (vision / research previews)",
   "dblp": "fmas"
  }
 ]
}