Difference between revisions of "CADE 2013"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by Th) |
||
| Line 1: | Line 1: | ||
{{Event | {{Event | ||
| − | | | + | |Field=Automated Deduction |
|Acronym=CADE 2013 | |Acronym=CADE 2013 | ||
| − | |Series=CADE | + | |End date=2013/06/14 |
| − | | | + | |Series =CADE |
| − | | | + | |Type =Conference |
| + | |Country=US | ||
| + | |State =US/NY | ||
| + | |City =US/NY/Lake Placid | ||
| + | |Homepage=www.cl.cam.ac.uk/~gp351/cade24/ | ||
| + | |Start date=2013/09/06 | ||
|Accepted papers=31 | |Accepted papers=31 | ||
| − | | | + | |Submitted papers=71}} |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Revision as of 01:26, 25 October 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 | |