International Joint Conference on Automated Reasoning

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