Theorem Proving with Analytic Tableaux and Related Methods
{
"id": 2131091187,
"name": "Theorem Proving with Analytic Tableaux and Related Methods",
"year": 2017,
"location": "Brasília, Brazil",
"start_date": "2017-09-26",
"end_date": "2017-09-29",
"url": "http://tableaux2017.cic.unb.br/",
"Abstract_Registration_Due": null,
"Submission_Deadline": "2017-04-25"
}
{
"total": 5,
"List": [
{
"conference_instance_id": 2131091187,
"name": "TABLEAUX 2017",
"year": 2017,
"location": "Brasília, Brazil",
"url": "http://tableaux2017.cic.unb.br/",
"paper_count": 23,
"hindex": 6,
"citation_count": 88,
"start_date": "2017-09-26",
"end_date": "2017-09-29",
"abstract_registration_date": null,
"submission_deadline_date": "2017-04-25",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2134860968,
"name": "TABLEAUX 2015",
"year": 2015,
"location": "Wroclaw, Poland",
"url": "http://tableaux2015.ii.uni.wroc.pl",
"paper_count": 24,
"hindex": 8,
"citation_count": 144,
"start_date": "2015-09-21",
"end_date": "2015-09-24",
"abstract_registration_date": null,
"submission_deadline_date": "2015-04-10",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2131899638,
"name": "TABLEAUX 2013",
"year": 2013,
"location": "Nancy, France",
"url": "http://tableaux13.loria.fr",
"paper_count": 22,
"hindex": 8,
"citation_count": 143,
"start_date": "2013-09-16",
"end_date": "2013-09-19",
"abstract_registration_date": null,
"submission_deadline_date": "2013-04-15",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2130546144,
"name": "Tableaux 2011",
"year": 2011,
"location": "Bern, Switzerland",
"url": "http://www.tableaux11.unibe.ch",
"paper_count": 24,
"hindex": 10,
"citation_count": 246,
"start_date": "2011-07-05",
"end_date": "2011-07-05",
"abstract_registration_date": null,
"submission_deadline_date": "2011-01-31",
"notification_due_date": null,
"final_version_due_date": null
},
{
"conference_instance_id": 2132998925,
"name": "Tableaux 2009",
"year": 2009,
"location": "Oslo, Norway",
"url": "http://heim.ifi.uio.no/martingi/Tableaux09",
"paper_count": 25,
"hindex": 11,
"citation_count": 363,
"start_date": "2009-07-06",
"end_date": "2009-07-10",
"abstract_registration_date": "2009-01-19",
"submission_deadline_date": "2009-01-26",
"notification_due_date": "2009-03-24",
"final_version_due_date": "2009-04-24"
}
]
}
Brasília, Brazil
-
2017-04-25
Submission Deadline
-
2017-09-26
Conference Start Date
Recent Conference