NASA Formal Methods Symposium

{ "id": 2131883022, "name": "NASA Formal Methods Symposium", "year": 2019, "location": "Houston, Texas,us", "start_date": "2019-05-07", "end_date": "2019-05-09", "url": "https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html", "Abstract_Registration_Due": "2018-12-07", "Submission_Deadline": "2018-12-14" }
{ "total": 1, "List": [ { "conference_instance_id": 2131883022, "name": "NFM 2019", "year": 2019, "location": "Houston, Texas,us", "url": "https://robonaut.jsc.nasa.gov/R2/pages/nfm2019.html", "paper_count": 22, "hindex": 6, "citation_count": 92, "start_date": "2019-05-07", "end_date": "2019-05-09", "abstract_registration_date": "2018-12-07", "submission_deadline_date": "2018-12-14", "notification_due_date": null, "final_version_due_date": null } ] }
2019-05-07
Houston, Texas,us
  • 2018-12-07

    Abstract Registration Due

  • 2018-12-14

    Submission Deadline

  • 2019-05-07

    Conference Start Date

Recent Conference
  • 1
Rank institutions in
Rank time
to
All/First author
Institution List
Top Authors in
Institution Count Citation Adj. H-index T2_Citation
Filter By