Difference between revisions of "IJCAR 2018"
		
		
		
		
		
		Jump to navigation
		Jump to search
		
				
		
		
	
 (modified through wikirestore by Th)  | 
				 (modified through wikirestore by Th)  | 
				||
| Line 1: | Line 1: | ||
{{Event  | {{Event  | ||
| + | |Acronym=IJCAR 2018  | ||
| + | |Title=9th International Joint Conference on Automated Reasoning  | ||
| + | |Series=IJCAR  | ||
| + | |Type=Conference  | ||
|Field=automated reasoning  | |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  | |Submission deadline=2018/02/04  | ||
|Abstract deadline=2018/01/22  | |Abstract deadline=2018/01/22  | ||
| Line 16: | Line 25: | ||
|Early bird student=350  | |Early bird student=350  | ||
|Registration link=http://www.floc2018.org/register/  | |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  | |has Proceedings DOI=https://doi.org/10.1007/978-3-319-94205-6  | ||
| − | + | |State=GB/ENG}}  | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |State   | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
''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.  | ||
Revision as of 23:36, 24 October 2021
Event Rating
| median | worst | 
|---|---|
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: | Oxford, GB/ENG, United Kingdom | 
| 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.