Difference between revisions of "IJCAR 2018"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by Th)
(modified through wikirestore by orapi)
 
(3 intermediate revisions by the same user not shown)
Line 18: Line 18:
 
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-94205-6
 
|has Proceedings DOI=https://doi.org/10.1007/978-3-319-94205-6
 
|Acronym        =IJCAR 2018
 
|Acronym        =IJCAR 2018
|End date      =2018/07/17
+
|End date      =2018-07-17
 
|Series        =IJCAR
 
|Series        =IJCAR
 
|Type          =Conference
 
|Type          =Conference
Line 24: Line 24:
 
|State          =GB/ENG
 
|State          =GB/ENG
 
|City          =GB/ENG/Oxford
 
|City          =GB/ENG/Oxford
 +
|Year          =2018
 
|Homepage      =http://ijcar2018.org/
 
|Homepage      =http://ijcar2018.org/
|Start date    =2018/07/14
+
|Start date    =2018-07-14
 
|Title          =9th International Joint Conference on Automated Reasoning
 
|Title          =9th International Joint Conference on Automated Reasoning
 
|Accepted papers=46
 
|Accepted papers=46
|Submitted papers=108}}
+
|Submitted papers=108
 +
}}
 
''Enter your description here. Maybe just paste in the call for papers.''
 
''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.
 
The 9th International Joint Conference on Automated Reasoning will take place July 14-17, 2018, as part of FLoC 2018 in Oxford, United Kingdom.

Latest revision as of 04:13, 6 December 2021


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.