(mobo import Concept___Events_With_Metrics-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
Line 3: | Line 3: | ||
|Title=9th International Joint Conference on Automated Reasoning | |Title=9th International Joint Conference on Automated Reasoning | ||
|Type=Conference | |Type=Conference | ||
− | | | + | |Official Website=http://ijcar2018.org/ |
|City=Oxford | |City=Oxford | ||
|Country=Country:GB | |Country=Country:GB |
Latest revision as of 14:10, 19 October 2022
Deadlines
|
||
Abstract |
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Metrics
Submitted Papers
108
Accepted Papers
46
Venue
Oxford, United Kingdom of Great Britain and Northern Ireland
Warning: Venue is missing. The map might not show the exact location.
Enter your description here. Maybe just paste in the call for papers.
The 9th International Joint Conference on Automated Reasoning will take place July 14-17, 2018, as part of FLoC 2018 in Oxford, United Kingdom.