IJCAR 2018

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search


Event Rating

median worst
Pain1.svg Pain5.svg

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
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}}} (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.