IJCAR International Joint Conference on Automated Reasoning Search within this conference 2020 IJCAR 2020 1-4 July Paris, France Automated Reasoning 63 Papers 2 Volumes 2018 IJCAR 2018 14-17 July Oxford, United Kingdom Automated Reasoning 46 Papers 1 Volume 2016 IJCAR 2016 27 June - 2 July Coimbra, Portugal Automated Reasoning 38 Papers 1 Volume 2014 IJCAR 2014 19-22 July Vienna, Austria Automated Reasoning 40 Papers 1 Volume 2012 IJCAR 2012 26-29 June Manchester, United Kingdom Automated Reasoning 44 Papers 1 Volume 2010 IJCAR 2010 16-19 July Edinburgh, United Kingdom Automated Reasoning 43 Papers 1 Volume 2008 IJCAR 2008 12-15 August Sydney, NSW, Australia Automated Reasoning 44 Papers 1 Volume 2006 IJCAR 2006 17-20 August Seattle, WA, USA Automated Reasoning 53 Papers 1 Volume 2004 IJCAR 2004 4-8 July Cork, Ireland Automated Reasoning 36 Papers 1 Volume 2001 IJCAR 2001 18-23 June Siena, Italy Automated Reasoning 59 Papers 1 Volume