Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25--26, 2020

DOI10.4204/EPTCS.320zbMATH Open1466.68013arXiv2008.02483OpenAlexW3047420299MaRDI QIDQ4994112FDOQ4994112

Authors:

Publication date: 16 June 2021

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde U. and IMDEA Software Institute) et al., Neil Jones (U. Copenhagen) et al., Michael Leuschel (Heinrich-Heine U.) and Maurizio Proietti (IASI-CNR) et al.. These invited papers are followed by 4 regular papers accepted at VPT 2020 and the papers of HCVS 2020 which consist of three contributed papers and an invited paper on the third competition of solvers for Constrained Horn Clauses. In addition, the abstracts (in HTML format) of 3 invited talks at VPT 2020 by Andrzej Skowron (U. Warsaw), Sophie Renault (EPO) and Moa Johansson (Chalmers U.), are included.

Full work available at URL: https://arxiv.org/abs/2008.02483

Recommendations

• Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27--28, 2021
• Proceedings of the 8th workshop on Horn clauses for verification and synthesis, HCVS, virtual, March 28, 2021
• Proceedings of the third workshop on Horn clauses for verification and synthesis, HCVS 2016, Eindhoven, The Netherlands, April 3, 2016
• Proceedings of the first workshop on Horn clauses for verification and synthesis, HCVS 2014, Vienna, Austria, July 17, 2014
• Proceedings of the fifth workshop on Horn clauses for verification and synthesis, HCVS 2018, Oxford, UK, July 13, 2018

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Proceedings of the 9th international workshop on verification and program transformation, VPT, Luxembourg, Luxembourg, March 27--28, 2021
• Proceedings of the 8th workshop on Horn clauses for verification and synthesis, HCVS, virtual, March 28, 2021
• Proceedings of the fifth workshop on Horn clauses for verification and synthesis, HCVS 2018, Oxford, UK, July 13, 2018
• Proceedings of the first workshop on Horn clauses for verification and synthesis, HCVS 2014, Vienna, Austria, July 17, 2014
• Proceedings of the third workshop on Horn clauses for verification and synthesis, HCVS 2016, Eindhoven, The Netherlands, April 3, 2016

This page was built for publication: Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25--26, 2020

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994112)