Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings 10th International Workshop on Parallel and Distributed
  Methods in verifiCation   This volume contains the proceedings of the 10th International Workshop on
Parallel and Distributed Methods in verifiCation (PDMC 2011) that took place in
Snowbird, Utah, on July 14, 2011. The workshop was co-located with 23rd
International Conference on Computer Aided Verification (CAV 2011). The PDMC
workshop series covers all aspects related to the verification and analysis of
very large and complex systems using, in particular, methods and techniques
that exploit contemporary, hence parallel, hardware architectures. To celebrate
the 10th anniversary of PDMC, the workshop consisted of a half day invited
session together and a half day session of regular contributed presentations.

20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
13
The categories of this paper are: quant-ph
25
The categories of this paper are: patt-sol
5
The categories of this paper are: gr-qc
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
18
The categories of this paper are: econ
30
The categories of this paper are: q-alg
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
22
The categories of this paper are: chao-dyn