(mobo import Concept___Events-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
| (4 intermediate revisions by the same user not shown) | |||
| 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 | ||
| − | |Submission | + | |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 | ||
| Line 20: | 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/ |
| − | |||
| − | |||
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-94205-6 | |has Proceedings DOI=https://doi.org/10.1007/978-3-319-94205-6 | ||
|pageCreator=User:Curator 73 | |pageCreator=User:Curator 73 | ||
| Line 35: | Line 29: | ||
|Event Mode=on site | |Event Mode=on site | ||
}} | }} | ||
| + | {{Event Deadline | ||
| + | |Abstract Deadline=2018/01/22 | ||
| + | |Notification Deadline=2018/03/29 | ||
| + | |Camera-Ready Deadline=2018/04/23 | ||
| + | |Submission Deadline=2018/02/04 | ||
| + | }} | ||
| + | {{Event Metric | ||
| + | |Number Of Submitted Papers=108 | ||
| + | |Number Of Accepted Papers=46 | ||
| + | }} | ||
| + | {{S Event}} | ||
''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. | ||
Latest revision as of 14:10, 19 October 2022
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]]
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.
