Difference between revisions of "CADE 2009"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by Th)
(modified through wikirestore by Th)
Line 1: Line 1:
 
{{Event
 
{{Event
|Start date=2/08/2009
+
|Field=Automated Deduction
 
|Acronym=CADE 2009
 
|Acronym=CADE 2009
|Series=CADE
+
|End date=2009/07/08
|End date=7/08/2009
+
|Series =CADE
|Submitted papers=77
+
|Type  =Conference
 +
|Country=CA
 +
|State  =CA/QC
 +
|City  =CA/QC/Montreal
 +
|Homepage=complogic.cs.mcgill.ca/cade22/
 +
|Start date=2009/02/08
 
|Accepted papers=32
 
|Accepted papers=32
|City=Montreal
+
|Submitted papers=77}}
|Country=Canada
 
|Field=Automated Deduction
 
|Type=Conference
 
|Homepage=complogic.cs.mcgill.ca/cade22/
 
|State=CA/QC}}
 

Revision as of 02:26, 25 October 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at CADE 2009/rating

CADE 2009
Event in series CADE
Dates 2009/02/08 (iCal) - 2009/07/08
Homepage: complogic.cs.mcgill.ca/cade22/
Location
Location: CA/QC/Montreal, CA/QC, CA
Loading map...

Papers: Submitted 77 / Accepted 32 (41.6 %)
Table of Contents