(mobo import Concept___Event_For_Confident-migrated) |
m (Text replacement - "Homepage=" to "Official Website=") |
||
| (7 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=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 | ||
|has workshop chair=Alberto Griggio | |has workshop chair=Alberto Griggio | ||
| − | |Has PC member=Carlos Areces, Alessandro Artale, Arnon Avron, Franz Baader, Clark Barrett, Peter Baumgartner, | + | |Has PC member=Carlos Areces, Alessandro Artale, Arnon Avron, Franz Baader, Clark Barrett, Peter Baumgartner, Christoph Benzmüller |
|Attendance fee currency=£ | |Attendance fee currency=£ | ||
|On site regular=600 | |On site regular=600 | ||
| Line 21: | 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 32: | Line 25: | ||
|Start Date=2018/07/14 | |Start Date=2018/07/14 | ||
|End Date=2018/07/17 | |End Date=2018/07/17 | ||
| + | |Academic Field=Automated Reasoning | ||
| + | |Event Status=as scheduled | ||
| + | |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
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.
