{
 "generated": "2026-08-13T11:47:39.311776+00:00",
 "source": "https://www.conferences-computer.science/from/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FROM",
 "name": "Tenth Working Formal Methods Symposium",
 "count": 5,
 "editions": [
  {
   "slug": "from",
   "acronym": "FROM",
   "year": "2022",
   "edition": 6,
   "title": "6th Working Formal Methods Symposium",
   "url": "https://project.inria.fr/from22/",
   "page": "https://www.conferences-computer.science/from/2022/",
   "status": null,
   "abstract_deadline": "2022-07-18",
   "paper_deadline": "2022-07-25",
   "paper_deadline_announced": "2022-07-15",
   "paper_extended_days": 10,
   "notification": "2022-08-25",
   "timezone": null,
   "event_start": "2022-09-19",
   "event_end": "2022-09-20",
   "city": "Iasi, Romania",
   "country": "RO",
   "continent": "EU",
   "lat": 47.1585,
   "lon": 27.6014,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "?",
   "dblp": "from"
  },
  {
   "slug": "from",
   "acronym": "FROM",
   "year": "2023",
   "edition": 7,
   "title": "7th Working Formal Methods Symposium",
   "url": "https://from2023.cs.unibuc.ro/",
   "page": "https://www.conferences-computer.science/from/2023/",
   "status": null,
   "abstract_deadline": "2023-08-04",
   "paper_deadline": "2023-08-04",
   "paper_deadline_announced": "2023-07-25",
   "paper_extended_days": 10,
   "notification": "2023-08-25",
   "timezone": null,
   "event_start": "2023-09-21",
   "event_end": "2023-09-22",
   "city": "Bucharest, Romania",
   "country": "RO",
   "continent": "EU",
   "lat": 44.4268,
   "lon": 26.1025,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages EPTCS / 8 pages (short)",
   "dblp": "from"
  },
  {
   "slug": "from",
   "acronym": "FROM",
   "year": "2024",
   "edition": 8,
   "title": "8th Working Formal Methods Symposium",
   "url": "https://from2024.uvt.ro/from2024/",
   "page": "https://www.conferences-computer.science/from/2024/",
   "status": null,
   "abstract_deadline": "2024-06-30",
   "paper_deadline": "2024-06-30",
   "paper_deadline_announced": "2024-06-30",
   "paper_extended_days": 0,
   "notification": "2024-07-19",
   "timezone": null,
   "event_start": "2024-09-16",
   "event_end": "2024-09-18",
   "city": "Timișoara, Romania",
   "country": "RO",
   "continent": "EU",
   "lat": 45.7489,
   "lon": 21.2087,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages EPTCS / 8 pages (short)",
   "dblp": "from"
  },
  {
   "slug": "from",
   "acronym": "FROM",
   "year": "2025",
   "edition": 9,
   "title": "9th Working Formal Methods Symposium",
   "url": "https://fromsymposium.github.io/",
   "page": "https://www.conferences-computer.science/from/2025/",
   "status": null,
   "abstract_deadline": "2025-06-22",
   "paper_deadline": "2025-06-22",
   "paper_deadline_announced": "2025-06-07",
   "paper_extended_days": 15,
   "notification": "2025-07-22",
   "timezone": null,
   "event_start": "2025-09-17",
   "event_end": "2025-09-19",
   "city": "Iași, România",
   "country": "RO",
   "continent": "EU",
   "lat": 47.1585,
   "lon": 27.6014,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages EPTCS / 8 pages (short)",
   "dblp": "from"
  },
  {
   "slug": "from",
   "acronym": "FROM",
   "year": "2026",
   "edition": 10,
   "title": "Tenth Working Formal Methods Symposium",
   "url": "https://from2026.uvt.ro/",
   "page": "https://www.conferences-computer.science/from/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2026-07-06",
   "paper_deadline_announced": "2026-06-30",
   "paper_extended_days": 6,
   "notification": "2026-07-25",
   "timezone": null,
   "event_start": "2026-09-15",
   "event_end": "2026-09-17",
   "city": "Timișoara, Romania",
   "country": "RO",
   "continent": "EU",
   "lat": 45.7489,
   "lon": 21.2087,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages EPTCS / 8 pages (short)",
   "dblp": "from"
  }
 ]
}