{
 "generated": "2026-08-13T08:58:19.473428+00:00",
 "source": "https://www.conferences-computer.science/for-moves/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FOR-MOVES",
 "name": "Workshop on FORmal MOdeling and VErification of Service-based systems",
 "count": 2,
 "editions": [
  {
   "slug": "for-moves",
   "acronym": "FOR-MOVES",
   "year": "2014",
   "edition": 1,
   "title": "FORmal MOdeling and VErification of Service-based systems",
   "url": "http://lipn.univ-paris13.fr/for-moves/",
   "page": "https://www.conferences-computer.science/for-moves/2014/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2014-08-25",
   "paper_deadline_announced": "2014-08-25",
   "paper_extended_days": 0,
   "notification": "2014-09-15",
   "timezone": null,
   "event_start": "2014-11-03",
   "event_end": null,
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "No formal proceedings (PDF online)",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "8-12 pages LNCS",
   "dblp": null
  },
  {
   "slug": "for-moves",
   "acronym": "FOR-MOVES",
   "year": "2015",
   "edition": 2,
   "title": "2nd Workshop on FORmal MOdeling and VErification of Service-based systems",
   "url": "http://lipn.univ-paris13.fr/for-moves15/",
   "page": "https://www.conferences-computer.science/for-moves/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2015-09-14",
   "paper_deadline_announced": "2015-07-30",
   "paper_extended_days": 46,
   "notification": "2015-09-30",
   "timezone": null,
   "event_start": "2015-11-16",
   "event_end": null,
   "city": "Goa, India",
   "country": "IN",
   "continent": "AS",
   "lat": 15.2993,
   "lon": 74.124,
   "online": false,
   "publisher": "No formal proceedings (PDF online)",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages LNCS (regular) / 6 pages (short / position)",
   "dblp": null
  }
 ]
}