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