8 results · clear filters Sort: newest oldest name

1. Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings
   2026 · Rennes, France
   Computer and information sciences
   e11ydxr
2. International Workshop on Verification, Model Checking, and Abstract Interpretation (VMCAI)
   series, 27 events, 1997 to 2026
   Computer and information sciences
   s10ar0j
3. Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
   2025 · Denver, United States
   Computer and information sciences
   e11ydwt
4. Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
   2024 · London, United Kingdom
   Computer and information sciences
   e11ydvw
5. Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
   2023 · Boston, United States
   Computer and information sciences
   e11ydty
6. Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
   2022 · Philadelphia, United States
   Computer and information sciences
   e11yds0
7. Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
   2021 · Copenhagen, Denmark
   Computer and information sciences
   e11ydr2
8. Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings (VMCAI 2020)
   2020-01-16/21 · New Orleans, United States
   Computer and information sciences
   e10h7by

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