Interactive Theorem Proving
{
"id": 2132693847,
"name": "Interactive Theorem Proving",
"year": 2015,
"location": "nanjing",
"start_date": "2015-08-24",
"end_date": "2015-08-27",
"url": "http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/",
"Abstract_Registration_Due": "2015-03-09",
"Submission_Deadline": "2015-03-12"
}
{
"total": 3,
"List": [
{
"conference_instance_id": 2132693847,
"name": "ITP 2015",
"year": 2015,
"location": "nanjing",
"url": "http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/",
"paper_count": 33,
"hindex": 11,
"citation_count": 355,
"start_date": "2015-08-24",
"end_date": "2015-08-27",
"abstract_registration_date": "2015-03-09",
"submission_deadline_date": "2015-03-12",
"notification_due_date": "2015-05-15",
"final_version_due_date": "2015-06-05"
},
{
"conference_instance_id": 2130543462,
"name": "ITP 2014",
"year": 2014,
"location": "Vienna",
"url": "http://www.cs.uwyo.edu/~ruben/itp-2014/Main/CallForPapers",
"paper_count": 37,
"hindex": 16,
"citation_count": 524,
"start_date": "2014-07-14",
"end_date": "2014-07-17",
"abstract_registration_date": "2014-01-24",
"submission_deadline_date": "2014-01-31",
"notification_due_date": "2014-03-21",
"final_version_due_date": "2014-04-18"
},
{
"conference_instance_id": 2134570169,
"name": "ITP 2011",
"year": 2011,
"location": "Nijmegen, The Netherlands",
"url": "http:// http://itp2011.cs.ru.nl/",
"paper_count": 29,
"hindex": 14,
"citation_count": 528,
"start_date": "2011-08-22",
"end_date": "2011-08-25",
"abstract_registration_date": "2011-02-13",
"submission_deadline_date": "2011-02-20",
"notification_due_date": "2011-04-18",
"final_version_due_date": "2011-05-15"
}
]
}
nanjing
Recent Conference
Institution List
Top Authors in
Institution |
Count
|
Citation
| Adj. |
H-index
|
T2_Citation
|
Authors
Count
Citation
Adj.
H-index
T2_Citation
Publication Trend