Formal Modeling and Analysis of Timed Systems
{
"id": 2130164326,
"name": "Formal Modeling and Analysis of Timed Systems",
"year": 2016,
"location": "Quebec City, Canada",
"start_date": "2016-08-24",
"end_date": "2016-08-26",
"url": "http://formats2016.lsv.fr/",
"Abstract_Registration_Due": "2016-04-15",
"Submission_Deadline": "2016-04-22"
}
{
"total": 6,
"List": [
{
"conference_instance_id": 2130164326,
"name": "FORMATS 2016",
"year": 2016,
"location": "Quebec City, Canada",
"url": "http://formats2016.lsv.fr/",
"paper_count": 16,
"hindex": 8,
"citation_count": 124,
"start_date": "2016-08-24",
"end_date": "2016-08-26",
"abstract_registration_date": "2016-04-15",
"submission_deadline_date": "2016-04-22",
"notification_due_date": "2016-06-10",
"final_version_due_date": "2016-06-22"
},
{
"conference_instance_id": 2132092043,
"name": "FORMATS 2015",
"year": 2015,
"location": "Madrid",
"url": "http://formats2015.unifi.it/call-for-papers/",
"paper_count": 21,
"hindex": 8,
"citation_count": 200,
"start_date": "2015-09-02",
"end_date": "2015-09-04",
"abstract_registration_date": "2015-04-20",
"submission_deadline_date": "2015-04-27",
"notification_due_date": "2015-06-10",
"final_version_due_date": "2015-06-22"
},
{
"conference_instance_id": 2130987842,
"name": "FORMATS 2014",
"year": 2014,
"location": "Florence, Italy",
"url": "http://formats2014.unifi.it/",
"paper_count": 19,
"hindex": 6,
"citation_count": 277,
"start_date": "2014-09-08",
"end_date": "2014-09-10",
"abstract_registration_date": "2014-04-14",
"submission_deadline_date": "2014-04-21",
"notification_due_date": "2014-06-09",
"final_version_due_date": "2014-06-23"
},
{
"conference_instance_id": 2134697580,
"name": "FORMATS 2013",
"year": 2013,
"location": "Buenos Aires, Argentina",
"url": "http://projects.lsv.ens-cachan.fr/formats2013",
"paper_count": 18,
"hindex": 9,
"citation_count": 192,
"start_date": "2013-08-29",
"end_date": "2013-08-31",
"abstract_registration_date": "2013-04-01",
"submission_deadline_date": "2013-04-08",
"notification_due_date": "2013-05-27",
"final_version_due_date": "2013-06-10"
},
{
"conference_instance_id": 2132916488,
"name": "FORMATS 2012",
"year": 2012,
"location": "London",
"url": "http://www2.warwick.ac.uk/fac/cross_fac/dimap/events/formats2012/",
"paper_count": 19,
"hindex": 8,
"citation_count": 168,
"start_date": "2012-09-18",
"end_date": "2012-09-20",
"abstract_registration_date": "2012-05-07",
"submission_deadline_date": "2012-05-11",
"notification_due_date": "2012-06-15",
"final_version_due_date": "2012-07-07"
}
]
}
Quebec City, Canada
Recent Conference