Verified Software: Theories, Tools, Experiments
{
"id": 2131385505,
"name": "Verified Software: Theories, Tools, Experiments",
"year": 2016,
"location": "Toronto, Canada",
"start_date": "2016-07-17",
"end_date": "2016-07-18",
"url": "http://www.cs.toronto.edu/~chechik/vstte16/",
"Abstract_Registration_Due": "2016-04-25",
"Submission_Deadline": "2016-05-02"
}
{
"total": 5,
"List": [
{
"conference_instance_id": 2131385505,
"name": "VSTTE 2016",
"year": 2016,
"location": "Toronto, Canada",
"url": "http://www.cs.toronto.edu/~chechik/vstte16/",
"paper_count": 15,
"hindex": 5,
"citation_count": 87,
"start_date": "2016-07-17",
"end_date": "2016-07-18",
"abstract_registration_date": "2016-04-25",
"submission_deadline_date": "2016-05-02",
"notification_due_date": "2016-06-06",
"final_version_due_date": null
},
{
"conference_instance_id": 2132892584,
"name": "VSTTE 2015",
"year": 2015,
"location": "San Francisco",
"url": "https://sites.google.com/site/vstte2015/",
"paper_count": 13,
"hindex": 6,
"citation_count": 77,
"start_date": "2015-07-18",
"end_date": "2015-07-19",
"abstract_registration_date": "2015-04-27",
"submission_deadline_date": null,
"notification_due_date": "2014-12-08",
"final_version_due_date": null
},
{
"conference_instance_id": 2131129038,
"name": "VSTTE 2014",
"year": 2014,
"location": "Vienna, Austria",
"url": "http://vsl2014.at/floc-ws",
"paper_count": 18,
"hindex": 8,
"citation_count": 145,
"start_date": "2014-07-09",
"end_date": "2014-07-23",
"abstract_registration_date": null,
"submission_deadline_date": "2014-03-10",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2134927099,
"name": "VSTTE 2013",
"year": 2013,
"location": "Atherton, CA",
"url": "https://sites.google.com/site/vstte2013/home/cfp",
"paper_count": 17,
"hindex": 10,
"citation_count": 258,
"start_date": "2013-05-17",
"end_date": "2013-05-19",
"abstract_registration_date": "2013-02-22",
"submission_deadline_date": "2013-03-01",
"notification_due_date": "2013-03-29",
"final_version_due_date": null
},
{
"conference_instance_id": 2132296460,
"name": "VSTTE 2012",
"year": 2012,
"location": "Philadelphia, USA",
"url": "https://sites.google.com/site/vstte2012/",
"paper_count": 26,
"hindex": 11,
"citation_count": 448,
"start_date": "2012-01-28",
"end_date": "2012-01-29",
"abstract_registration_date": null,
"submission_deadline_date": "2011-08-31",
"notification_due_date": "2011-10-20",
"final_version_due_date": "2011-11-15"
}
]
}
Toronto, Canada
Recent Conference