IJCAR 2018

From Openresearch
Jump to: navigation, search
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
Loading map...

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.