(mobo import Concept___Events_With_Academic_Fields-migrated) |
(mobo import Concept___Events-migrated) |
||
Line 5: | Line 5: | ||
|Homepage=http://ijcar2018.org/ | |Homepage=http://ijcar2018.org/ | ||
|City=Oxford | |City=Oxford | ||
− | |Country= | + | |Country=Country:GB |
|Submission deadline=2018/02/04 | |Submission deadline=2018/02/04 | ||
|Abstract deadline=2018/01/22 | |Abstract deadline=2018/01/22 | ||
Line 32: | Line 32: | ||
|End Date=2018/07/17 | |End Date=2018/07/17 | ||
|Academic Field=Automated Reasoning | |Academic Field=Automated Reasoning | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=on site | ||
}} | }} | ||
''Enter your description here. Maybe just paste in the call for papers.'' | ''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. | The 9th International Joint Conference on Automated Reasoning will take place July 14-17, 2018, as part of FLoC 2018 in Oxford, United Kingdom. |
Revision as of 14:30, 6 September 2022
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.