(mobo import Concept___Events-migrated) |
m (Text replacement - "Submitting link" to "Submission Link") |
||
Line 6: | Line 6: | ||
|City=Oxford | |City=Oxford | ||
|Country=Country:GB | |Country=Country:GB | ||
− | | | + | |Submission Link=https://easychair.org/conferences/?conf=ijcar2018. |
|Has coordinator=Ian Horrocks | |Has coordinator=Ian Horrocks | ||
|has program chair=Didier Galmiche, Stephan Schulz, Roberto Sebastiani | |has program chair=Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
Revision as of 11:56, 17 October 2022
Deadlines
|
||
Abstract |
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
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.