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" } ] }
2015-08-24
nanjing
  • 2015-03-09

    Abstract Registration Due

  • 2015-03-12

    Submission Deadline

  • 2015-08-24

    Conference Start Date

Recent Conference
  • 1
Rank institutions in
Rank time
to
All/First author
Institution List
Top Authors in
Institution Count Citation Adj. H-index T2_Citation
Filter By