Difference between revisions of "CADE 2000"

From Openresearch
Jump to navigation Jump to search
(CSV import)
 
Line 1: Line 1:
 
{{Event
 
{{Event
|Start date=17/07/2000
 
 
|Acronym=CADE 2000
 
|Acronym=CADE 2000
 
|Series=CADE
 
|Series=CADE
|End date=20/07/2000
+
|Type=Conference
 +
|Field=Automated Deduction
 +
|Start date=2000/07/17
 +
|End date=2000/07/20
 +
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/
 
|City=Pittsburgh
 
|City=Pittsburgh
 
|Country=USA
 
|Country=USA
|Field=Automated Deduction
+
|presence=presence
|Type=Conference
 
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/
 
 
}}
 
}}

Revision as of 15:08, 26 August 2021

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: Pittsburgh, USA
Loading map...

Table of Contents