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)
 
(One intermediate revision by the same user not shown)
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
 +
}}

Latest revision as of 03:39, 6 December 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