Difference between revisions of "IJCAR 2018"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=IJCAR 2018 |Title=9th International Joint Conference on Automated Reasoning |Series=IJCAR |Type=Conference |Field=automated reasoning |Start date=2018/07/14 |...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| Line 28: | Line 28: | ||
|Accepted papers=46 | |Accepted papers=46 | ||
|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=OhlhoffM | ||
| + | |pageEditor=OhlhoffM | ||
| + | |contributionType=1 | ||
}} | }} | ||
''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 19:41, 1 April 2022
| 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: | Oxford, United Kingdom |
| 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}}}Property "Early bird fee reduced" (as page type) with input value "{{{Early bird fee reduced}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. (reduced) |
| On site student: | £ 500 / {{{On site fee reduced}}}Property "On site fee reduced" (as page type) with input value "{{{On site fee reduced}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. (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.