{
 "generated": "2026-08-13T11:47:39.324466+00:00",
 "source": "https://www.conferences-computer.science/fvsbs/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FVSBS",
 "name": "International track on Formal Verification of Service Based Systems",
 "count": 5,
 "editions": [
  {
   "slug": "fvsbs",
   "acronym": "FVSBS",
   "year": "2015",
   "edition": 3,
   "title": "3rd International track on Formal Verification of Service Based Systems",
   "url": "http://www-inf.it-sudparis.eu/WETICE/FVSBS/",
   "page": "https://www.conferences-computer.science/fvsbs/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2015-02-28",
   "paper_deadline_announced": "2015-02-28",
   "paper_extended_days": 0,
   "notification": "2015-03-27",
   "timezone": null,
   "event_start": "2015-06-15",
   "event_end": "2015-06-17",
   "city": "Larnaca, Cyprus",
   "country": "CY",
   "continent": "EU",
   "lat": 34.9182,
   "lon": 33.6201,
   "online": false,
   "publisher": "?",
   "license": "pay",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6 pages IEEE (full) / 4 pages IEEE (short)",
   "dblp": null
  },
  {
   "slug": "fvsbs",
   "acronym": "FVSBS",
   "year": "2016",
   "edition": 4,
   "title": "4th International track on Formal Verification of Service Based Systems",
   "url": "https://lipn.univ-paris13.fr/fvsbs2016",
   "page": "https://www.conferences-computer.science/fvsbs/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-02-25",
   "paper_deadline_announced": "2016-02-25",
   "paper_extended_days": 0,
   "notification": "2016-03-28",
   "timezone": null,
   "event_start": "2016-06-13",
   "event_end": "2016-06-16",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6 pages IEEE (full) / 4 pages IEEE (short)",
   "dblp": null
  },
  {
   "slug": "fvsbs",
   "acronym": "FVSBS",
   "year": "2017",
   "edition": 5,
   "title": "5th International track on Formal Verification of Service Based Systems",
   "url": "http://lipn.univ-paris13.fr/fvsbs/",
   "page": "https://www.conferences-computer.science/fvsbs/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-03-15",
   "paper_deadline_announced": "2017-02-15",
   "paper_extended_days": 28,
   "notification": "2017-04-09",
   "timezone": null,
   "event_start": "2017-06-21",
   "event_end": "2017-06-23",
   "city": "Poznań, Poland",
   "country": "PL",
   "continent": "EU",
   "lat": 52.4064,
   "lon": 16.9252,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6 pages IEEE (full) / 4 pages IEEE (short)",
   "dblp": null
  },
  {
   "slug": "fvsbs",
   "acronym": "FVSBS",
   "year": "2018",
   "edition": 6,
   "title": "6th International track on Formal Verification of Service Based Systems",
   "url": "https://lipn.univ-paris13.fr/fvsbs/fvsbs18/",
   "page": "https://www.conferences-computer.science/fvsbs/2018/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2018-02-28",
   "paper_deadline_announced": "2018-02-28",
   "paper_extended_days": 0,
   "notification": "2018-03-30",
   "timezone": null,
   "event_start": "2018-06-27",
   "event_end": "2018-06-29",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6 pages IEEE (full) / 4 pages IEEE (short)",
   "dblp": null
  },
  {
   "slug": "fvsbs",
   "acronym": "FVSBS",
   "year": "2019",
   "edition": 7,
   "title": "7th International track on Formal Verification of Service Based Systems",
   "url": "https://lipn.univ-paris13.fr/fvsbs19/",
   "page": "https://www.conferences-computer.science/fvsbs/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-03-12",
   "paper_deadline_announced": "2019-02-20",
   "paper_extended_days": 20,
   "notification": "2019-03-22",
   "timezone": null,
   "event_start": "2019-06-12",
   "event_end": "2019-06-14",
   "city": "Napoly, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 40.8518,
   "lon": 14.2681,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6 pages IEEE (full) / 4 pages IEEE (short)",
   "dblp": null
  }
 ]
}