8 results · clear filters Sort: newest oldest name

1. Verified Software. Theories, Tools and Experiments - 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
   2025 · Menlo Park, United States
   Computer and information sciences
   e11ykvp
2. Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
   2023 · Ames, United States
   Computer and information sciences
   e11ykst
3. Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
   2021 · Los Angeles, United States
   Computer and information sciences
   e11ykqy
4. Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers
   2020 · Los Angeles, United States
   Computer and information sciences
   e11ykp0
5. Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers (VSTTE 2019)
   2019-07-13/14 · New York City, United States
   Computer and information sciences
   e10hw0z
6. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2015, VSTTE)
   2015-07-18/19 · San Francisco, United States
   Computer and information sciences
   e108nqa
7. Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2013, VSTTE)
   2013-05-17/19 · Menlo Park, United States
   Computer and information sciences
   e108nne
8. International Conference on Verified Software: Tools, Theories, Experiments (VSTTE 2012, VSTTE)
   2012-01-28/29 · Philadelphia, United States
   Computer and information sciences
   e108nmg

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