IJCAR

International Joint Conference on Automated Reasoning
  1. 2024

    IJCAR 2024

    • 3-6 July
    • Nancy, France
  2. 2022

    IJCAR 2022

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

    IJCAR 2020

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

    IJCAR 2018

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

    IJCAR 2016

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

    IJCAR 2014

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

    IJCAR 2012

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

    IJCAR 2010

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

    IJCAR 2008

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

    IJCAR 2006

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

    IJCAR 2004

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

    IJCAR 2001

    • 18-23 June
    • Siena, Italy