18 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 with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
   2025 · Reykjavík, Iceland
   Computer and information sciences
   e11wr8w
4. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
   series, 32 events, 1992 to 2025
   Computer and information sciences
   s10anr4
5. 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
6. LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024
   2024 · Port Louis, Mauritius
   Computer and information sciences
   e11h14h
7. LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024
   2024 · Port Louis, Mauritius
   Computer and information sciences
   e11h15f
8. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
   series, 33 events, 1990 to 2024
   Computer and information sciences
   s10a7nr
9. LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023.
   2023 · Manizales, Colombia
   Computer and information sciences
   e11h13k
10. Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
    2023 · Prague, Czech Republic
    Computer and information sciences
    e11wr7y
11. Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
    2022 · Haifa, Israel
    Computer and information sciences
    e10tgdz
12. International Conference on Automated Deduction (CADE 2021)
    2021-07-12/15 · online
    Computer and information sciences
    e12frkz
13. Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
    2021 · Birmingham, United Kingdom
    Computer and information sciences
    e11wr60
14. International Conference on Automated Deduction (CADE)
    series, 25 events, 1980 to 2021
    MathematicsComputer and information sciences
    s124vhp
15. International Joint Conference on Automated Reasoning (IJCAR 2020)
    2020-06-29 to 2020-07-02 · Paris, France · online
    Computer and information sciences
    e1248m3
16. 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
17. LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020.
    2020 · Alicante, Spain
    Computer and information sciences
    e11h12n
18. International Joint Conference on Automated Reasoning (IJCAR)
    series, 10 events, 2004 to 2020
    Computer and information sciences
    s126hz0

As JSON: https://labs.confref.org/api/search?discipline=Q2555318&from=2020&to=2029