(mobo import Concept___Events-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
Line 3: | Line 3: | ||
|Title=International Conference on Automated Deduction | |Title=International Conference on Automated Deduction | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=http://www.cadeinc.org/ |
|City=Paris | |City=Paris | ||
|pageCreator=User:Curator 89 | |pageCreator=User:Curator 89 |
Latest revision as of 13:01, 19 October 2022
Deadlines
Venue
Paris
Warning: Venue is missing. The map might not show the exact location.
Part of IJCAR 2020.