17 results · clear filters Sort: newest oldest name

1. Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part I
   2026 · Lisbon, Portugal
   Computer and information sciences
   e11c8rc
2. International Joint Conference on Automated Reasoning (IJCAR) (IJCAR)
   series, 16 events, 2001 to 2026
   Computer and information sciences
   s10mnd6
3. Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
   2024 · Nancy, France
   Computer and information sciences
   e11c8qe
4. Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
   2022 · Haifa, Israel
   Computer and information sciences
   e10tgdz
5. Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part I
   2020 · Paris, France
   Computer and information sciences
   e10tgc1
6. Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
   2018 · Oxford, United Kingdom
   Computer and information sciences
   e10tgb3
7. Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
   2016 · Coimbra, Portugal
   Computer and information sciences
   e10tga5
8. Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings
   2014 · Vienna, Austria
   Computer and information sciences
   e10tg97
9. ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012
   2012 · Manchester, United Kingdom
   Computer and information sciences
   e10tfw1
10. Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012
    2012 · Manchester, United Kingdom
    Computer and information sciences
    e10tg1q
11. Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings
    2012 · Manchester, United Kingdom
    Computer and information sciences
    e10tg89
12. Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
    2010 · Edinburgh, United Kingdom
    Computer and information sciences
    e10tg7b
13. Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings
    2008 · Sydney, Australia
    Computer and information sciences
    e10tg6d
14. Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    2006 · Seattle, United States
    Computer and information sciences
    e10tg5f
15. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
    2004 · Cork, Ireland
    Computer and information sciences
    e10tg4h
16. Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004.
    2004 · Cork, Ireland
    Computer and information sciences
    e10tgex
17. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings
    2001 · Siena, Italy
    Computer and information sciences
    e10tg3k

As JSON: https://labs.confref.org/api/search?series=s10mnd6