11 results · clear filters Sort: newest oldest name

1. Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022.
   2022 · Germany
   Computer and information sciences
   e12100t
2. International Workshop on Verification and Program Transformation (VPT) (VPT)
   series, 10 events, 2013 to 2022
   Computer and information sciences
   s10d79b
3. Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021.
   2021 · Luxembourg, Luxembourg
   Computer and information sciences
   e120z2s
4. Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020.
   2020 · Dublin, Ireland
   Computer and information sciences
   e120yd4
5. Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019. (VPT)
   2019-01-01 · Genoa, Italy
   Computer and information sciences
   e120xre
6. Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. (VPT)
   2018-01-01 · Thessaloniki, Greece
   Computer and information sciences
   e120wy3
7. Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. (VPT)
   2017-01-01 · Uppsala, Sweden
   Computer and information sciences
   e120wjv
8. Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. (VPT)
   2016-01-01 · Kingdom of the Netherlands
   Computer and information sciences
   e120vmr
9. Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015. (VPT)
   2015-01-01 · London, United Kingdom
   Computer and information sciences
   e120v9f
10. VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014 (VPT)
    2014-07-17/18 · Vienna, Austria
    Computer and information sciences
    e10tybn
11. First International Workshop on Verification and Program Transformation, VPT 2013, Saint Petersburg, Russia, July 12-13, 2013 (VPT)
    2013-07-12/13 · Saint Petersburg, Russia
    Computer and information sciences
    e10tyaq

As JSON: https://labs.confref.org/api/search?series=s10d79b