Event:IJCAR 2018

Deadlines

2018-03-29

2018-01-22

2018-04-23

2018-02-04

22 Jan 2018

Abstract

4 Feb 2018

Submission

29 Mar 2018

Notification

23 Apr 2018

Camera-Ready

Metrics

Submitted Papers

108

Accepted Papers

46

Venue

Oxford, United Kingdom of Great Britain and Northern Ireland

Loading map...

{"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"auto","height":"350px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[{"text":"","title":"","link":"","lat":51.7520131,"lon":-1.2578499,"icon":""}],"imageoverlays":null}

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.