m (Text replacement - "=User:Curator 83" to "=Ch") |
(mobo import Concept___Events_With_Academic_Fields-migrated) |
||
Line 4: | Line 4: | ||
|Ordinal=26 | |Ordinal=26 | ||
|Type=Conference | |Type=Conference | ||
− | |||
|Submission deadline=2017/02/18 | |Submission deadline=2017/02/18 | ||
|Homepage=http://www.cse.chalmers.se/~myreen/cade-26/ | |Homepage=http://www.cse.chalmers.se/~myreen/cade-26/ | ||
Line 28: | Line 27: | ||
|Start Date=2017/08/08 | |Start Date=2017/08/08 | ||
|End Date=2017/08/11 | |End Date=2017/08/11 | ||
+ | |Academic Field=Automated Deduction | ||
}} | }} |