{
 "generated": "2026-08-13T08:58:19.497509+00:00",
 "source": "https://www.conferences-computer.science/ncfm/",
 "licence": "CC BY-SA 4.0",
 "acronym": "NCFM",
 "name": "National Workshop / Conference on Formal Methods",
 "count": 1,
 "editions": [
  {
   "slug": "ncfm",
   "acronym": "NCFM",
   "year": "2014",
   "edition": null,
   "title": "National Workshop / Conference on Formal Methods",
   "url": "http://www.csibc.org/index.php/about-csi/national-workshop-conference-on-formal-methods-ncfm",
   "page": "https://www.conferences-computer.science/ncfm/2014/",
   "status": null,
   "abstract_deadline": "2014-09-20",
   "paper_deadline": "2014-10-01",
   "paper_deadline_announced": "2014-10-01",
   "paper_extended_days": 0,
   "notification": "2014-10-12",
   "timezone": null,
   "event_start": "2014-10-15",
   "event_end": "2014-10-17",
   "city": "Bengaluru, India",
   "country": "IN",
   "continent": "AS",
   "lat": 12.9716,
   "lon": 77.5946,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "500 words abstract",
   "dblp": null
  }
 ]
}