The document "IJCAR 2018" was published on "2022-10-19T14:10:47" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:IJCAR 2018.
The document "IJCAR 2018" describes an event in the sense of a conference.
The document "IJCAR 2018" contains information about the event "IJCAR 2018" with start date "2018/07/14" and end date "2018/07/17".
The event "IJCAR 2018" is part of the event series identified by [[Event Series:IJCAR]]
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.
