View source for IJCAR 2018

{{Event
|Acronym=IJCAR 2018
|Title=9th International Joint Conference on Automated Reasoning
|Series=IJCAR
|Type=Conference
|Field=automated reasoning
|Start date=2018/07/14
|End date=2018/07/17
|Homepage=http://ijcar2018.org/
|City=Oxford
|Country=United Kingdom
|Submission deadline=2018/02/04
|Abstract deadline=2018/01/22
|Notification=2018/03/29
|Camera ready=2018/04/23
|Submitting link=https://easychair.org/conferences/?conf=ijcar2018.
|Has coordinator=Ian Horrocks
|has program chair=Didier Galmiche, Stephan Schulz, Roberto Sebastiani
|has workshop chair=Alberto Griggio
|Has PC member=Carlos Areces, Alessandro Artale, Arnon Avron, Franz Baader, Clark Barrett, Peter Baumgartner, Christoph Benzmüller
|Attendance fee currency=£
|On site regular=600
|Early bird regular=450
|On site student=500
|Early bird student=350
|Registration link=http://www.floc2018.org/register/
|Submitted papers=108
|Accepted papers=46
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-94205-6
}}
''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.
Abstract deadline	January 22, 2018 +
Acceptance rate	42.6 +
Accepted papers	46 +
Acronym	IJCAR 2018 +
Attendance fee currency	£ +
Camera ready due	April 23, 2018 +
Early bird regular	450.00 +
Early bird student	350.00 +
End date	July 17, 2018 +
Event in series	IJCAR +
Event type	Conference +
Has PC member	Carlos Areces +, Alessandro Artale +, Arnon Avron +, Franz Baader +, Clark Barrett +, Peter Baumgartner + and Christoph Benzmüller +
Has Submitting link	https://easychair.org/conferences/?conf=ijcar2018. +
Has coordinates	51° 45' 7", -1° 15' 28"Latitude: 51.752013888889 Longitude: -1.25785 +
Has coordinator	Ian Horrocks +
Has location city	Oxford +
Has location country	Category:UK +
Has program chair	Didier Galmiche +, Stephan Schulz + and Roberto Sebastiani +
Has workshop chair	Alberto Griggio +
Homepage	http://ijcar2018.org/ +
IsA	Event +
Notification	March 29, 2018 +
On site regular	600.00 +
On site student	500.00 +
Registration link	http://www.floc2018.org/register/ +
Start date	July 14, 2018 +
Submission deadline	February 4, 2018 +
Submitted papers	108 +
Title	9th International Joint Conference on Automated Reasoning +