IJCAR 2018

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... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","visitedicon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"wmsoverlay":false,"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"overlaylayers":[],"resizable":false,"enablefullscreen":false,"scrollwheelzoom":true,"markercluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","locations":[{"text":"\u003Cb\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E\u003C/b\u003E\u003Chr /\u003E\u003Cdiv class=\"mw-parser-output\"\u003E\u003C/div\u003E","title":"","link":"","lat":51.7520131,"lon":-1.2578499,"icon":""}],"imageoverlays":null}
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.