English

Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

Logic in Computer Science 2021-09-10 v1 Software Engineering
Authors: Hossein Hojjat , Bishoksan Kafle
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

This volume contains the post-proceedings of the 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place virtually due to Covid-19 pandemic as an affiliated workshop of ETAPS.

Keywords

Horn clauses verification synthesis HCVS workshop proceedings ETAPS

Cite

@article{arxiv.2109.03988,
  title  = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis},
  author = {Hossein Hojjat and Bishoksan Kafle},
  journal= {arXiv preprint arXiv:2109.03988},
  year   = {2021}
}

Related papers

View all related →
Logic in Computer Science · Computer Science
Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
Emanuele De Angelis, Florian Frohn
2025-10-30
Logic in Computer Science · Computer Science
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning
Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich
2019-07-09
Programming Languages · Computer Science
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation
Geoffrey W. Hamilton, Temesghen Kahsai, Maurizio Proietti
2022-11-22
Logic in Computer Science · Computer Science
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis
John P. Gallagher, Philipp Rümmer
2016-07-15
Logic in Computer Science · Computer Science
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis
Temesghen Kahsai, German Vidal
2018-09-13
Logic in Computer Science · Computer Science
Proceedings First Workshop on Horn Clauses for Verification and Synthesis
Nikolaj Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni
2014-12-03
Logic in Computer Science · Computer Science
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis
Laurent Fribourg, Matthias Heizmann
2020-08-07
Logic in Computer Science · Computer Science
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales
2024-04-23
Programming Languages · Computer Science
Proceedings of the Eleventh Workshop on Constraint Handling Rules
Rémy Haemmerlé, Jon Sneyers
2014-06-09
Logic in Computer Science · Computer Science
Proceedings of the International Workshop on Verification of Scientific Software
Stephen F. Siegel, Ganesh Gopalakrishnan
2025-10-15
Logic in Computer Science · Computer Science
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation
Lubos Brim, Jaco van de Pol
2009-12-17
Robotics · Computer Science
Proceedings of the 2020 Workshop on Assessing, Explaining, and Conveying Robot Proficiency for Human-Robot Teaming
Aaron Steinfeld, Michael Goodrich
2020-05-14
Programming Languages · Computer Science
Proceedings of the Fourth International Workshop on Verification and Program Transformation
Geoff Hamilton, Alexei Lisitsa, Andrei P. Nemytykh
2016-07-08
Artificial Intelligence · Computer Science
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software
Pedro Quaresma, Walther Neuper, João Marcos
2020-10-30
Distributed, Parallel, and Cluster Computing · Computer Science
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation
Jiří Barnat, Keijo Heljanko
2011-11-02
Software Engineering · Computer Science
Proceedings Seventh Conference on Systems Software Verification
Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich
2012-11-27
Logic in Computer Science · Computer Science
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software
João Marcos, Walther Neuper, Pedro Quaresma
2022-02-07
Logic in Computer Science · Computer Science
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications
Grant Passmore, Ruben Gamboa
2020-09-29
Logic in Computer Science · Computer Science
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems
Clemens Dubslaff, Bas Luttik
2022-03-18
Logic in Computer Science · Computer Science
Proceedings Fifth International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti
2017-08-24
Artificial Intelligence · Computer Science
Proceedings of NeurIPS 2020 Workshop on Artificial Intelligence for Humanitarian Assistance and Disaster Response
Ritwik Gupta, Eric T. Heim, Edoardo Nemni
2020-12-09
Logic in Computer Science · Computer Science
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
Frédéric Lang, Matthias Volk
2024-03-27
Logic in Computer Science · Computer Science
Proceedings First Workshop on Synthesis
Doron Peled, Sven Schewe
2012-07-04
Logic in Computer Science · Computer Science
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation
John P. Gallagher, Rob van Glabbeek, Wendelin Serwe
2018-03-26
Programming Languages · Computer Science
Proceedings Seventh International Workshop on Verification and Program Transformation
Alexei Lisitsa, Andrei Nemytykh
2019-08-20