Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Fourth Workshop on Foundations of Interface Technologies   This volume contains the proceedings of the 4th workshop on Foundations of
Interface Technologies (FIT 2012) which was collocated with ETAPS 2012 in
Tallinn, Estonia, and took place on March 25, 2012. The aim of this workshop is
to bring together researchers who are interested in the formal underpinnings of
interface technologies.

28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex
23
The categories of this paper are: solv-int
34
The categories of this paper are: chem-ph
7
The categories of this paper are: hep-th
22
The categories of this paper are: chao-dyn
18
The categories of this paper are: econ
26
The categories of this paper are: bayes-an
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat