{
 "generated": "2026-08-13T08:58:19.513474+00:00",
 "source": "https://www.conferences-computer.science/fmtv/",
 "licence": "CC BY-SA 4.0",
 "acronym": "FMTV",
 "name": "Formal Methods for Timing Verification Workshop",
 "count": 3,
 "editions": [
  {
   "slug": "fmtv",
   "acronym": "FMTV",
   "year": "2014",
   "edition": 1,
   "title": "Formal Methods for Timing Verification Workshop",
   "url": "http://www.merge-project.eu/?page_id=192",
   "page": "https://www.conferences-computer.science/fmtv/2014/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2014-03-04",
   "paper_deadline_announced": "2014-03-04",
   "paper_extended_days": 0,
   "notification": "2014-03-24",
   "timezone": null,
   "event_start": "2014-05-12",
   "event_end": null,
   "city": "Singapore",
   "country": "SG",
   "continent": "AS",
   "lat": 1.3521,
   "lon": 103.8198,
   "online": false,
   "publisher": "PDF online",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6-10 pages LNCS",
   "dblp": null
  },
  {
   "slug": "fmtv",
   "acronym": "FMTV",
   "year": "2015",
   "edition": 2,
   "title": "2nd Formal Methods for Timing Verification Workshop",
   "url": "http://waters2015.inria.fr/challenge",
   "page": "https://www.conferences-computer.science/fmtv/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2015-04-24",
   "paper_deadline_announced": "2015-04-24",
   "paper_extended_days": 0,
   "notification": "2015-05-22",
   "timezone": null,
   "event_start": "2015-07-07",
   "event_end": null,
   "city": "Lund, Sweden",
   "country": "SE",
   "continent": "EU",
   "lat": 55.7047,
   "lon": 13.191,
   "online": false,
   "publisher": "PDF online",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6 pages IEEE",
   "dblp": null
  },
  {
   "slug": "fmtv",
   "acronym": "FMTV",
   "year": "2016",
   "edition": 3,
   "title": "3rd Formal Methods for Timing Verification Workshop",
   "url": "https://waters2016.inria.fr/challenge/",
   "page": "https://www.conferences-computer.science/fmtv/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-05-26",
   "paper_deadline_announced": "2016-04-28",
   "paper_extended_days": 28,
   "notification": "2016-06-07",
   "timezone": null,
   "event_start": "2016-07-05",
   "event_end": null,
   "city": "Toulouse, France",
   "country": "FR",
   "continent": "EU",
   "lat": 43.6047,
   "lon": 1.4442,
   "online": false,
   "publisher": "PDF online",
   "license": "free",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6 pages IEEE",
   "dblp": null
  }
 ]
}