8 results · clear filters Sort: newest oldest name

1. Proceedings of the 10th International Workshop on Satisfiability Checking and Symbolic Computation (SC-Square 2025) Collocated with The 30th International Conference on Automated Deduction (CADE 2025), Stuttgart, Germany, August 2, 2025.
   2025 · Stuttgart, Germany
   Computer and information sciences
   e11rqna
2. Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), Nancy, France, July 2, 2024.
   2024 · Nancy, France
   Computer and information sciences
   e11mzes
3. Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Tromsø, Norway, July 28, 2023.
   2023 · Tromsø Municipality, Norway
   Computer and information sciences
   e11rqmc
4. Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022.
   2022 · Haifa, Israel
   Computer and information sciences
   e11rqke
5. Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021.
   2021 · College Station, United States
   Computer and information sciences
   e11rqjg
6. Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-square@SIAM AG 2019, Bern, Switzerland, 10th July 2019.
   2019 · Bern, Switzerland
   Computer and information sciences
   e11rqhj
7. Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, SC-Square@FLOC 2018, Oxford, UK, July 11, 2018.
   2018 · Oxford, United Kingdom
   Computer and information sciences
   e11rqgm
8. Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017.
   2017 · Kaiserslautern, Germany
   Computer and information sciences
   e11ehq1

As JSON: https://labs.confref.org/api/search?kind=event&series=s123ebj