Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings of Second International Symposium on Games, Automata, Logics
  and Formal Verification   This volume contains the Proceedings of the Second International Symposium on
Games, Automata, Languages, and Formal Verification (GandALF 2011). The
conference was held in Minori (Amalfi Coast, Italy), from the 15th to the 17th
of June 2011. The aim of the GandALF Symposium is to provide a forum for
researchers from different areas and with different background, that share a
common interest in game theory, mathematical logic, automata theory, and their
applications to the specification, design, and verification of complex systems.
This proceedings contain the abstracts of three invited talks and nineteen
regular papers that have been selected through a rigorous reviewing process
according to originality, quality, and relevance to the topics of the
symposium.

13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
34
The categories of this paper are: chem-ph
4
The categories of this paper are: cond-mat