Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings 8th International Workshop on Automated Specification and
  Verification of Web Systems   This volume contains the final and revised versions of the papers presented
at the 8th International Workshop on Automated Specification and Verification
of Web Systems (WWV 2012). The workshop was held in Stockholm, Sweden, on June
16, 2012, as part of DisCoTec 2012.
  WWV is a yearly workshop that aims at providing an interdisciplinary forum to
facilitate the cross-fertilization and the advancement of hybrid methods that
exploit concepts and tools drawn from Rule-based programming, Software
engineering, Formal methods and Web-oriented research. WWV has a reputation for
being a lively, friendly forum for presenting and discussing work in progress.
The proceedings have been produced after the symposium to allow the authors to
incorporate the feedback gathered during the event in the published papers.
  All papers submitted to the workshop were reviewed by at least three Program
Committee members or external referees. The Program Committee held an
electronic discussion leading to the acceptance of all papers for presentation
at the workshop. In addition to the presentation of the contributed papers, the
scientific programme included the invited talks by two outstanding speakers:
Rocco De Nicola (IMT, Institute for Advanced Studies Lucca, Italy) and Jos\`e
Luiz Fiadeiro (Royal Holloway, United Kingdom).

18
The categories of this paper are: econ
3
The categories of this paper are: physics
23
The categories of this paper are: solv-int
27
The categories of this paper are: comp-gas
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
0
The categories of this paper are: hep-ph
9
The categories of this paper are: nlin
37
The categories of this paper are: supr-con
10
The categories of this paper are: q-bio
22
The categories of this paper are: chao-dyn
14
The categories of this paper are: math-ph
4
The categories of this paper are: cond-mat
26
The categories of this paper are: bayes-an
21
The categories of this paper are: adap-org