(mobo import Concept___Events_With_Academic_Fields-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 4: | Line 4: | ||
|Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/ | |Homepage=www.cs.miami.edu/home/geoff/Conferences/CADE//Archive/CADE-17/ | ||
|City=Pittsburgh | |City=Pittsburgh | ||
− | |Country= | + | |Country=Country:US |
− | |||
|pageCreator=User:Curator 84 | |pageCreator=User:Curator 84 | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
Line 14: | Line 13: | ||
|End Date=2000/07/20 | |End Date=2000/07/20 | ||
|Academic Field=Automated Deduction | |Academic Field=Automated Deduction | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=presence | ||
}} | }} |