Formal Methods for Industrial Critical Systems
{
"id": 2134394227,
"name": "Formal Methods for Industrial Critical Systems",
"year": 2015,
"location": "Oslo (Norway)",
"start_date": "2015-06-22",
"end_date": "2015-06-23",
"url": "http://fmics2015.org/",
"Abstract_Registration_Due": "2015-01-19",
"Submission_Deadline": "2015-01-26"
}
{
"total": 6,
"List": [
{
"conference_instance_id": 2134394227,
"name": "FMICS 2015",
"year": 2015,
"location": "Oslo (Norway)",
"url": "http://fmics2015.org/",
"paper_count": 14,
"hindex": 6,
"citation_count": 114,
"start_date": "2015-06-22",
"end_date": "2015-06-23",
"abstract_registration_date": "2015-01-19",
"submission_deadline_date": "2015-01-26",
"notification_due_date": "2015-03-13",
"final_version_due_date": "2015-03-30"
},
{
"conference_instance_id": 2134586578,
"name": "FMICS 2013",
"year": 2013,
"location": "Madrid, Spain",
"url": "http://lvl.info.ucl.ac.be/Fmics2013/Fmics2013",
"paper_count": 14,
"hindex": 5,
"citation_count": 84,
"start_date": "2013-09-23",
"end_date": "2013-09-23",
"abstract_registration_date": null,
"submission_deadline_date": "2013-06-13",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2134704748,
"name": "FMICS 2012",
"year": 2012,
"location": "Paris, France",
"url": "http://fmt.cs.utwente.nl/conferences/fmics2012/",
"paper_count": 17,
"hindex": 8,
"citation_count": 182,
"start_date": "2012-08-27",
"end_date": "2012-08-28",
"abstract_registration_date": "2012-03-28",
"submission_deadline_date": "2012-04-04",
"notification_due_date": "2012-05-25",
"final_version_due_date": "2012-06-08"
},
{
"conference_instance_id": 2130291641,
"name": "FMICS 2011",
"year": 2011,
"location": "Trento",
"url": "http://events.fortiss.org/fmics2011/ ",
"paper_count": 18,
"hindex": 6,
"citation_count": 89,
"start_date": "2011-08-29",
"end_date": "2011-08-30",
"abstract_registration_date": "2011-03-18",
"submission_deadline_date": "2011-03-25",
"notification_due_date": "2011-05-06",
"final_version_due_date": "2011-05-20"
},
{
"conference_instance_id": 2132978390,
"name": "FMICS 2010",
"year": 2010,
"location": "Antwerp, Belgium",
"url": "http://es.fbk.eu/events/fmics2010",
"paper_count": 16,
"hindex": 10,
"citation_count": 196,
"start_date": "2010-09-20",
"end_date": "2010-09-21",
"abstract_registration_date": "2010-04-10",
"submission_deadline_date": "2010-04-18",
"notification_due_date": null,
"final_version_due_date": null
}
]
}
Oslo (Norway)
Recent Conference