Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis   This volume contains the proceedings of HCVS 2016, the Third Workshop on Horn
Clauses for Verification and Synthesis which was held on April 3, 2016 in
Eindhoven, The Netherlands as a satellite event of the European Joint
Conferences on Theory and Practice of Software (ETAPS 2016). Many program
verification and synthesis problems of interest can be modeled directly using
Horn clauses and many recent advances in the CLP and CAV communities have
centered around efficiently solving problems presented as Horn clauses. The
Third Workshop on Horn Clauses for Verification and Synthesis was organised
with the aim to bring together researchers working in the two communities of
Constraint/Logic Programming and Program Verification on the topic of Horn
clause based analysis, verification and synthesis. Horn clauses for
verification and synthesis have been advocated by these two communities in
different times and from different perspectives, and this workshop is organized
to stimulate interaction and a fruitful exchange and integration of
experiences.

27
The categories of this paper are: comp-gas
34
The categories of this paper are: chem-ph
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
15
The categories of this paper are: nucl-ex
20
The categories of this paper are: acc-phys
13
The categories of this paper are: quant-ph
9
The categories of this paper are: nlin
19
The categories of this paper are: eess
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
10
The categories of this paper are: q-bio