Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Sixth Workshop on Intersection Types and Related Systems   This volume contains the proceedings of the Sixth Workshop on Intersection
Types and Related Systems (ITRS 2012). The workshop was held in Dubrovnik
(Croatia) on June 29th, 2012, affiliated to Twenty-Seventh Annual ACM/IEEE
Symposium on Logic in Computer Science (LICS 2012). The ITRS workshop aims to
bring together researchers working on both the theory and practical
applications of systems based on intersection types and related approaches
(e.g., union types, refinement types, behavioural types, recursive types, and
so on).

29
The categories of this paper are: funct-an
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
0
The categories of this paper are: hep-ph
36
The categories of this paper are: cmp-lg
4
The categories of this paper are: cond-mat
2
The categories of this paper are: math
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
26
The categories of this paper are: bayes-an
9
The categories of this paper are: nlin
27
The categories of this paper are: comp-gas
23
The categories of this paper are: solv-int
6
The categories of this paper are: astro-ph
28
The categories of this paper are: alg-geom
32
The categories of this paper are: atom-ph