Theory and Applications of Satisfiability Testing
{
"id": 2133474137,
"name": "Theory and Applications of Satisfiability Testing",
"year": 2016,
"location": "Bordeaux, France",
"start_date": "2016-07-05",
"end_date": "2016-07-08",
"url": "http://sat2016.labri.fr/",
"Abstract_Registration_Due": "2016-02-14",
"Submission_Deadline": "2016-02-21"
}
{
"total": 7,
"List": [
{
"conference_instance_id": 2133474137,
"name": "SAT 2016",
"year": 2016,
"location": "Bordeaux, France",
"url": "http://sat2016.labri.fr/",
"paper_count": 38,
"hindex": 14,
"citation_count": 708,
"start_date": "2016-07-05",
"end_date": "2016-07-08",
"abstract_registration_date": "2016-02-14",
"submission_deadline_date": "2016-02-21",
"notification_due_date": "2016-04-03",
"final_version_due_date": "2016-04-23"
},
{
"conference_instance_id": 2130289921,
"name": "SAT 2015",
"year": 2015,
"location": "Austin, Texas, USA",
"url": "http://www.cs.utexas.edu/~marijn/sat15/",
"paper_count": 49,
"hindex": 13,
"citation_count": 487,
"start_date": "2015-09-24",
"end_date": "2015-09-27",
"abstract_registration_date": "2015-04-22",
"submission_deadline_date": "2015-04-29",
"notification_due_date": "2015-06-28",
"final_version_due_date": "2015-07-22"
},
{
"conference_instance_id": 2132062022,
"name": "SAT 2014",
"year": 2014,
"location": "Vienna, Austria",
"url": "http://vsl2014.at",
"paper_count": 87,
"hindex": 15,
"citation_count": 784,
"start_date": "2014-07-19",
"end_date": "2014-07-22",
"abstract_registration_date": null,
"submission_deadline_date": "2014-03-01",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2134698614,
"name": "SAT 2013",
"year": 2013,
"location": "Helsinki, Finland",
"url": "http://sat2013.cs.helsinki.fi/index.html",
"paper_count": 93,
"hindex": 12,
"citation_count": 501,
"start_date": "2013-07-08",
"end_date": "2013-07-12",
"abstract_registration_date": "2013-02-01",
"submission_deadline_date": "2013-02-08",
"notification_due_date": "2013-04-03",
"final_version_due_date": null
},
{
"conference_instance_id": 2132883185,
"name": "SAT 2011",
"year": 2011,
"location": "Ann Arbor, USA - United States of America",
"url": "",
"paper_count": 112,
"hindex": 17,
"citation_count": 789,
"start_date": "2011-06-19",
"end_date": "2011-06-19",
"abstract_registration_date": null,
"submission_deadline_date": "2011-02-18",
"notification_due_date": null,
"final_version_due_date": null
}
]
}
Bordeaux, France
Recent Conference