Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Sixth International Symposium on Games, Automata, Logics and
  Formal Verification   This volume contains the proceedings of the Sixth International Symposium on
Games, Automata, Logic and Formal Verification (GandALF 2015). The symposium
took place in Genoa, Italy, on the 21st and 22nd of September 2015. The
proceedings of the symposium contain the abstracts of three invited talks and
13 papers that were accepted after a careful evaluation for presentation at the
conference. The topics of the accepted papers cover algorithmic game theory,
automata theory, formal verification, and modal and temporal logics.

26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th
7
The categories of this paper are: hep-th
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
15
The categories of this paper are: nucl-ex
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
11
The categories of this paper are: hep-lat
17
The categories of this paper are: q-fin