Difference between revisions of "CADE 2000"
Jump to navigation
Jump to search
(CSV import) |
|||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |||
|Acronym=CADE 2000 | |Acronym=CADE 2000 | ||
|Series=CADE | |Series=CADE | ||
− | |End date=20/ | + | |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 | ||
− | | | + | |presence=presence |
− | |||
− | |||
}} | }} |
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 |
Table of Contents | |