Difference between revisions of "CADE 2013"

From OPENRESEARCH fixed Wiki
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/06/14
+
|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/09/06
+
|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
Pain1.svg Pain5.svg

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
Loading map...

Papers: Submitted 71 / Accepted 31 (43.7 %)
Table of Contents