21075 7 10 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 First International Conference, AISoLA 2023Crete, Greece, October 23–28, 2023Selected Papers Bernhard Steffen Primary Author mixed material 9783031737411 Cham Springer Nature 2025 978-3-031-73741-1.pdf.jpg.jpg 7th International Workshop, BrainLes 2021Held in Conjunction with MICCAI 2021Virtual Event, September 27, 2021Revised Selected Papers, Part I Alessandro Crimi Primary Author Spyridon Bakas Primary Author mixed material 9783031089992 Cham Springer Nature 2022 978-3-031-08999-2.pdf.jpg.jpg 4th International Workshop, BrainComp 2019Cetraro, Italy, July 15–19, 2019Revised Selected Papers Katrin Amunts Primary Author Lucio Grandinetti Primary Author Thomas Lippert Primary Author Nicolai Petkov Primary Author mixed material 9783030824273 Springer Springer Nature 2021 978-3-030-82427-3.pdf.jpg.jpg The Ideological Implications of Language Machines Lionel Wee Primary Author mixed material 9781040119235 Routledge Taylor & Francis Group 2025 9781040119235.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