Difference between revisions of "CADE 2013"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
Line 2: | Line 2: | ||
|Field=Automated Deduction | |Field=Automated Deduction | ||
|Acronym=CADE 2013 | |Acronym=CADE 2013 | ||
− | |End date=2013 | + | |End date=2013-06-14 |
|Series =CADE | |Series =CADE | ||
|Type =Conference | |Type =Conference | ||
Line 8: | Line 8: | ||
|State =US/NY | |State =US/NY | ||
|City =US/NY/Lake Placid | |City =US/NY/Lake Placid | ||
+ | |Year =2013 | ||
|Homepage=www.cl.cam.ac.uk/~gp351/cade24/ | |Homepage=www.cl.cam.ac.uk/~gp351/cade24/ | ||
− | |Start date=2013 | + | |Start date=2013-09-06 |
|Accepted papers=31 | |Accepted papers=31 | ||
|Submitted papers=71}} | |Submitted papers=71}} |
Revision as of 03:02, 19 November 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at CADE 2013/rating
CADE 2013 | |
---|---|
Event in series | CADE |
Dates | 2013-09-06 (iCal) - 2013-06-14 |
Homepage: | www.cl.cam.ac.uk/~gp351/cade24/ |
Location | |
Location: | US/NY/Lake Placid, US/NY, US |
Papers: | Submitted 71 / Accepted 31 (43.7 %) |
Table of Contents | |