{
 "generated": "2026-08-13T08:58:19.484301+00:00",
 "source": "https://www.conferences-computer.science/afm/",
 "licence": "CC BY-SA 4.0",
 "acronym": "AFM",
 "name": "Sixth Automated Formal Methods (AFM) workshop",
 "count": 1,
 "editions": [
  {
   "slug": "afm",
   "acronym": "AFM",
   "year": "2017",
   "edition": 6,
   "title": "Sixth Automated Formal Methods (AFM) workshop",
   "url": "https://ti.arc.nasa.gov/events/nfm-2017/workshops/",
   "page": "https://www.conferences-computer.science/afm/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-04-03",
   "paper_deadline_announced": "2017-03-27",
   "paper_extended_days": 7,
   "notification": "2017-04-24",
   "timezone": null,
   "event_start": "2017-05-19",
   "event_end": "2017-05-20",
   "city": "Menlo Park, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.453,
   "lon": -122.1817,
   "online": false,
   "publisher": "None?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "position / research / reports on work in progress (8 pages ACM SIG)",
   "dblp": null
  }
 ]
}