Difference between revisions of "CADE 2013"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by Th)
(modified through wikirestore by orapi)
 
(4 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
{{Event
 
{{Event
|Start date=9/06/2013
+
|Field=Automated Deduction
 
|Acronym=CADE 2013
 
|Acronym=CADE 2013
|Series=CADE
+
|End date=2013-06-14
|End date=14/06/2013
+
|Series =CADE
 +
|Type  =Conference
 +
|Country=US
 +
|State  =US/NY
 +
|City  =US/NY/Lake Placid
 +
|Year  =2013
 +
|Homepage=www.cl.cam.ac.uk/~gp351/cade24/
 +
|Start date=2013-09-06
 +
|Accepted papers=31
 
|Submitted papers=71
 
|Submitted papers=71
|Accepted papers=31
+
}}
|City=Lake Placid
 
|Country=USA
 
|Field=Automated Deduction
 
|Type=Conference
 
|Homepage=www.cl.cam.ac.uk/~gp351/cade24/
 
|State=US/NY}}
 

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