Difference between revisions of "CADE 2000"

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 2000
 
|Acronym =CADE 2000
|End date=2000/07/20
+
|End date=2000-07-20
 
|Series  =CADE
 
|Series  =CADE
 
|presence=presence
 
|presence=presence
Line 9: Line 9:
 
|State  =US/PA
 
|State  =US/PA
 
|City    =US/PA/Pittsburgh
 
|City    =US/PA/Pittsburgh
 +
|Year    =2000
 
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/
 
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/
|Start date=2000/07/17}}
+
|Start date=2000-07-17
 +
}}

Latest revision as of 04:27, 6 December 2021


Event Rating

median worst
Pain1.svg Pain5.svg

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

CADE 2000
Event in series CADE
Dates 2000-07-17 (iCal) - 2000-07-20
Presence presence
Homepage: www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/
Location
Location: US/PA/Pittsburgh, US/PA, US
Loading map...

Table of Contents