{
 "generated": "2026-08-13T08:58:19.469986+00:00",
 "source": "https://www.conferences-computer.science/fmics-avocs/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FMICS-AVoCS",
 "name": "International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and 17th International Workshop on Automated Verification of Critical Systems (AVoCS)",
 "count": 2,
 "editions": [
  {
   "slug": "fmics-avocs",
   "acronym": "FMICS-AVoCS",
   "year": "2016",
   "edition": 1,
   "title": "16th International Workshop on Automated Verification of Critical Systems",
   "url": "http://fmics-avocs.isti.cnr.it/",
   "page": "https://www.conferences-computer.science/fmics-avocs/2016/",
   "status": null,
   "abstract_deadline": "2016-05-02",
   "paper_deadline": "2016-05-09",
   "paper_deadline_announced": "2016-04-25",
   "paper_extended_days": 14,
   "notification": "2016-06-26",
   "timezone": null,
   "event_start": "2016-09-26",
   "event_end": "2016-09-29",
   "city": "Pisa, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 43.7228,
   "lon": 10.4017,
   "online": false,
   "publisher": "EASST",
   "license": "free-copy",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": null
  },
  {
   "slug": "fmics-avocs",
   "acronym": "FMICS-AVoCS",
   "year": "2017",
   "edition": 2,
   "title": "International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and 17th International Workshop on Automated Verification of Critical Systems (AVoCS)",
   "url": "http://www.es.mdh.se/conferences/fmics-avocs-2017/",
   "page": "https://www.conferences-computer.science/fmics-avocs/2017/",
   "status": null,
   "abstract_deadline": "2017-05-21",
   "paper_deadline": "2017-05-28",
   "paper_deadline_announced": "2017-05-21",
   "paper_extended_days": 7,
   "notification": "2017-06-28",
   "timezone": null,
   "event_start": "2017-09-18",
   "event_end": "2017-09-20",
   "city": "Torino, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.0703,
   "lon": 7.6869,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS",
   "dblp": null
  }
 ]
}