Verification, Model Checking and Abstract Interpretation
{
"id": 2133232142,
"name": "Verification, Model Checking and Abstract Interpretation",
"year": 2019,
"location": "Cascais/Lisbon, Portugal",
"start_date": "2019-01-13",
"end_date": "2019-01-15",
"url": "https://popl19.sigplan.org/track/VMCAI-2019",
"Abstract_Registration_Due": null,
"Submission_Deadline": "2018-10-14"
}
{
"total": 10,
"List": [
{
"conference_instance_id": 2133232142,
"name": "VMCAI 2019",
"year": 2019,
"location": "Cascais/Lisbon, Portugal",
"url": "https://popl19.sigplan.org/track/VMCAI-2019",
"paper_count": 35,
"hindex": 6,
"citation_count": 109,
"start_date": "2019-01-13",
"end_date": "2019-01-15",
"abstract_registration_date": null,
"submission_deadline_date": "2018-10-14",
"notification_due_date": "2018-11-22",
"final_version_due_date": "2018-11-29"
},
{
"conference_instance_id": 2131088302,
"name": "VMCAI 2018",
"year": 2018,
"location": "Los Angeles, CA, USA",
"url": "https://popl18.sigplan.org/track/VMCAI-2018",
"paper_count": 25,
"hindex": 9,
"citation_count": 197,
"start_date": "2018-01-07",
"end_date": "2018-01-09",
"abstract_registration_date": null,
"submission_deadline_date": "2017-10-08",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2130207312,
"name": "VMCAI 2017",
"year": 2017,
"location": "Paris, France",
"url": "http://conf.researchr.org/home/VMCAI-2017",
"paper_count": 31,
"hindex": 8,
"citation_count": 183,
"start_date": "2017-01-15",
"end_date": "2017-01-17",
"abstract_registration_date": null,
"submission_deadline_date": "2016-09-21",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2133069304,
"name": "VMCAI 2016",
"year": 2016,
"location": "St. Petersburg, Florida, United States",
"url": "http://conf.researchr.org/home/VMCAI-2016",
"paper_count": 28,
"hindex": 11,
"citation_count": 430,
"start_date": "2016-01-17",
"end_date": "2016-01-19",
"abstract_registration_date": "2015-09-04",
"submission_deadline_date": "2015-09-11",
"notification_due_date": "2015-10-10",
"final_version_due_date": null
},
{
"conference_instance_id": 2131522834,
"name": "VMCAI 2015",
"year": 2015,
"location": "Mumbai, India",
"url": "http://research.microsoft.com/en-us/events/vmcai2015/",
"paper_count": 28,
"hindex": 11,
"citation_count": 339,
"start_date": "2015-01-12",
"end_date": "2015-01-14",
"abstract_registration_date": "2014-09-05",
"submission_deadline_date": "2014-09-12",
"notification_due_date": "2014-10-10",
"final_version_due_date": "2014-10-31"
}
]
}
Cascais/Lisbon, Portugal
-
2018-10-14
Submission Deadline
-
2019-01-13
Conference Start Date
Recent Conference