Difference between revisions of "IJCAR 2018"
Jump to navigation
Jump to search
(modified through wikirestore by Th) |
(modified through wikirestore by orapi) |
||
(3 intermediate revisions by the same user not shown) | |||
Line 18: | Line 18: | ||
|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 | ||
|Acronym =IJCAR 2018 | |Acronym =IJCAR 2018 | ||
− | |End date =2018 | + | |End date =2018-07-17 |
|Series =IJCAR | |Series =IJCAR | ||
|Type =Conference | |Type =Conference | ||
Line 24: | Line 24: | ||
|State =GB/ENG | |State =GB/ENG | ||
|City =GB/ENG/Oxford | |City =GB/ENG/Oxford | ||
+ | |Year =2018 | ||
|Homepage =http://ijcar2018.org/ | |Homepage =http://ijcar2018.org/ | ||
− | |Start date =2018 | + | |Start date =2018-07-14 |
|Title =9th International Joint Conference on Automated Reasoning | |Title =9th International Joint Conference on Automated Reasoning | ||
|Accepted papers=46 | |Accepted papers=46 | ||
− | |Submitted papers=108}} | + | |Submitted papers=108 |
+ | }} | ||
''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 04:13, 6 December 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
List of all ratings can be found at IJCAR 2018/rating
IJCAR 2018 | |
---|---|
9th International Joint Conference on Automated Reasoning
| |
Event in series | IJCAR |
Dates | 2018-07-14 (iCal) - 2018-07-17 |
Homepage: | http://ijcar2018.org/ |
Submitting link: | https://easychair.org/conferences/?conf=ijcar2018. |
Location | |
Location: | GB/ENG/Oxford, GB/ENG, GB |
Important dates | |
Abstracts: | 2018/01/22 |
Submissions: | 2018/02/04 |
Notification: | 2018/03/29 |
Camera ready due: | 2018/04/23 |
Registration link: | http://www.floc2018.org/register/ |
Early bird student: | £ 350 / {{{Early bird fee reduced}}} (reduced) |
On site student: | £ 500 / {{{On site fee reduced}}} (reduced) |
Early bird regular: | £ 450 |
On site regular: | £ 600 |
Papers: | Submitted 108 / Accepted 46 (42.6 %) |
Committees | |
Organizers: | Ian Horrocks |
PC chairs: | Didier Galmiche, Stephan Schulz, Roberto Sebastiani |
Workshop chairs: | Alberto Griggio |
PC members: | Carlos Areces, Alessandro Artale, Arnon Avron, Franz Baader, Clark Barrett, Peter Baumgartner, Christoph Benzmüller |
Table of Contents | |
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.