m (Text replacement - "Submitting link" to "Submission Link") |
m (Text replacement - "Registration link" to "Registration Link") |
||
Line 16: | Line 16: | ||
|On site student=500 | |On site student=500 | ||
|Early bird student=350 | |Early bird student=350 | ||
− | |Registration | + | |Registration Link=http://www.floc2018.org/register/ |
|Submitted papers=108 | |Submitted papers=108 | ||
|Accepted papers=46 | |Accepted papers=46 |
Revision as of 12:00, 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.