Difference between revisions of "CADE1997"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by Th)
(modified through wikirestore by orapi)
 
(3 intermediate revisions by the same user not shown)
Line 2: Line 2:
 
|Field=Automated Deduction
 
|Field=Automated Deduction
 
|Acronym=CADE 1997
 
|Acronym=CADE 1997
|End date=1997/07/17
+
|End date=1997-07-17
 
|Series =CADE
 
|Series =CADE
 
|Type  =Conference
 
|Type  =Conference
Line 8: Line 8:
 
|State  =AU/QLD
 
|State  =AU/QLD
 
|City  =AU/QLD/Townsville
 
|City  =AU/QLD/Townsville
 +
|Year  =1997
 
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-14/
 
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-14/
|Start date=1997/07/13
+
|Start date=1997-07-13
 
|Accepted papers=42
 
|Accepted papers=42
|Submitted papers=87}}
+
|Submitted papers=87
 +
}}

Latest revision as of 04:09, 6 December 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at CADE1997/rating

CADE1997
Event in series CADE
Dates 1997-07-13 (iCal) - 1997-07-17
Homepage: www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-14/
Location
Location: AU/QLD/Townsville, AU/QLD, AU
Loading map...

Papers: Submitted 87 / Accepted 42 (48.3 %)
Table of Contents