IJCAR

International Joint Conference on Automated Reasoning

  1. 2022

    IJCAR 2022

    • 8-10 August
    • Haifa, Israel
  2. 2020

    IJCAR 2020

    • 1-4 July
    • Paris, France
  3. 2018

    IJCAR 2018

    • 14-17 July
    • Oxford, United Kingdom
  4. 2016

    IJCAR 2016

    • 27 June - 2 July
    • Coimbra, Portugal
  5. 2014

    IJCAR 2014

    • 19-22 July
    • Vienna, Austria
  6. 2012

    IJCAR 2012

    • 26-29 June
    • Manchester, United Kingdom
  7. 2010

    IJCAR 2010

    • 16-19 July
    • Edinburgh, United Kingdom
  8. 2008

    IJCAR 2008

    • 12-15 August
    • Sydney, NSW, Australia
  9. 2006

    IJCAR 2006

    • 17-20 August
    • Seattle, WA, USA
  10. 2004

    IJCAR 2004

    • 4-8 July
    • Cork, Ireland
  11. 2001

    IJCAR 2001

    • 18-23 June
    • Siena, Italy