{ "total": 21, "List": [ { "conference_instance_id": 2130789124, "name": "FM 2021", "year": 2021, "location": "Beijing, China", "url": "http://formalmethods2021.csp.escience.cn/", "paper_count": 0, "hindex": 0, "citation_count": 0, "start_date": "2021-11-20", "end_date": "2021-11-26", "abstract_registration_date": "2021-04-30", "submission_deadline_date": "2021-04-30", "notification_due_date": "2021-07-16", "final_version_due_date": "2021-08-16" }, { "conference_instance_id": 2133339746, "name": "FM 2019", "year": 2019, "location": "Porto, Portugal ", "url": "http://formalmethods2019.inesctec.pt/", "paper_count": 158, "hindex": 10, "citation_count": 472, "start_date": "2019-10-07", "end_date": "2019-10-11", "abstract_registration_date": "2019-03-28", "submission_deadline_date": "2019-04-11", "notification_due_date": "2019-06-11", "final_version_due_date": "2019-07-09" }, { "conference_instance_id": 2130825003, "name": "FM 2018", "year": 2018, "location": "Oxford, UK", "url": "https://www.fm2018.org/", "paper_count": 125, "hindex": 12, "citation_count": 516, "start_date": "2018-07-15", "end_date": "2018-07-17", "abstract_registration_date": "2018-01-08", "submission_deadline_date": "2018-01-22", "notification_due_date": "2018-04-09", "final_version_due_date": "2018-05-09" }, { "conference_instance_id": 2130313513, "name": "FM 2016", "year": 2016, "location": "Limassol, Cyprus", "url": "http://fm2016.cs.ucy.ac.cy/", "paper_count": 176, "hindex": 20, "citation_count": 1538, "start_date": "2016-11-07", "end_date": "2016-11-11", "abstract_registration_date": "2016-05-16", "submission_deadline_date": "2016-05-30", "notification_due_date": "2016-08-08", "final_version_due_date": null }, { "conference_instance_id": 2134251567, "name": "FM 2015", "year": 2015, "location": "Oslo, Norway", "url": "http://fm2015.ifi.uio.no/", "paper_count": 142, "hindex": 20, "citation_count": 1412, "start_date": "2015-06-22", "end_date": "2015-06-26", "abstract_registration_date": "2015-01-02", "submission_deadline_date": "2015-01-09", "notification_due_date": "2015-03-13", "final_version_due_date": null } ] }