38 1 10 Artefacts, Systems and Spectacle in the Age of AI Gordon Fletcher Primary Author mixed material 9781040926000 Oxford Taylor & Francis Group 2026 9781040926000.pdf.jpg.jpg 37th International Conference, CAV 2025 Zagreb, Croatia, July 23–25, 2025 Proceedings, Part I Ruzica Piskac Primary Author Zvonimir Rakamarić Primary Author mixed material 9783031986680 Cham Springer Nature 2025 9783031986680.pdf.jpg.jpg 34th International Conference, CAV 2022Haifa, Israel, August 7–10, 2022Proceedings, Part II Sharon Shoham Primary Author Yakir Vizel Primary Author mixed material 9783031131882 Cham Springer Nature 2022 978-3-031-13188-2.pdf.jpg.jpg 31st International Conference, CAV 2019New York City, NY, USA, July 15–18, 2019Proceedings, Part I Isil Dillig Primary Author Serdar Tasiran Primary Author mixed material 9783030255404 https://www.springernature.com Springer Nature 2019 1006830.pdf.jpg.jpg 33rd International Conference, CAV 2021Virtual Event, July 20–23, 2021Proceedings, Part II Alexandra Silva Primary Author K. Rustan M. Leino Primary Author mixed material 9783030816889 Springer Springer Nature 2021 978-3-030-81688-9.pdf.jpg.jpg 36th International Conference, CAV 2024Montreal, QC, Canada, July 24–27, 2024Proceedings, Part III Arie Gurfinkel Primary Author Vijay Ganesh Primary Author mixed material 9783031656330 Springer Nature Switzerland Springer Nature 2024 978-3-031-65633-0.pdf.jpg.jpg 32nd International Conference, CAV 2020Los Angeles, CA, USA, July 21–24, 2020Proceedings, Part II Shuvendu K. Lahiri Primary Author Chao Wang Primary Author mixed material 9783030532918 Springer Springer Nature 2020 2020_Book_ComputerAidedVerification.pdf.jpg.jpg Second International Conference, AISoLA 2024 Crete, Greece, October 30 – November 3, 2024 Selected Papers Bernhard Steffen Primary Author mixed material 9783032013774 Cham Springer Nature 2026 9783032013774.pdf.jpg.jpg 34th International Conference, TABLEAUX 2025 Reykjavik, Iceland, September 27–29, 2025 Proceedings Gian Luca Pozzato Primary Author Tarmo Uustalu Primary Author mixed material 9783032060853 Cham Springer Nature 2026 9783032060853.pdf.jpg.jpg 11th International Joint Conference, IJCAR 2022Haifa, Israel, August 8–10, 2022Proceedings Jasmin Blanchette Primary Author Laura Kovács Primary Author Dirk Pattinson Primary Author mixed material 9783031107696 Cham Springer Nature 2022 978-3-031-10769-6.pdf.jpg.jpg