Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings 11th International Workshop on Automated Specification and
  Verification of Web Systems   These proceedings contain the papers presented at the 11th International
Workshop on Automated Specification and Verification of Web Systems (WWV 2015),
which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the
20th International Symposium on Formal Methods (FM 2015). WWV is a yearly
interdisciplinary forum for researchers originating from the following areas:
declarative, rule-based programming, formal methods, software engineering and
web-based systems. The workshop fosters the cross-fertilisation and advancement
of hybrid methods from such areas.

25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
20
The categories of this paper are: acc-phys
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
5
The categories of this paper are: gr-qc
11
The categories of this paper are: hep-lat
13
The categories of this paper are: quant-ph
7
The categories of this paper are: hep-th
32
The categories of this paper are: atom-ph
23
The categories of this paper are: solv-int