Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings First Workshop on Quantitative Formal Methods: Theory and
  Applications   This volume contains the papers presented at the 1st workshop on Quantitative
Formal Methods: Theory and Applications, which was held in Eindhoven on 3
November 2009 as part of the International Symposium on Formal Methods 2009.
This volume contains the final versions of all contributions accepted for
presentation at the workshop.

25
The categories of this paper are: patt-sol
14
The categories of this paper are: math-ph
0
The categories of this paper are: hep-ph
18
The categories of this paper are: econ
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
10
The categories of this paper are: q-bio
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
31
The categories of this paper are: ao-sci
34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th