Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Sixth Workshop on Formal Languages and Analysis of
  Contract-Oriented Software   The ability to negotiate contracts for a wide range of aspects and to provide
services conforming to them is a most pressing need in service-oriented
architectures. High-level models of contracts are making their way into the
area, but application developers are still left to their own devices when it
comes to writing code that will comply with a contract concluded before service
provision. At the programming language level, contracts appear as separate
concerns that crosscut through application logic. Therefore there is a need for
contract analysis tools that extract abstracted models from applications so
they become amenable to formal reasoning using formal language techniques.
  Since its inception, the aim of of FLACOS has been that of bringing together
researchers and practitioners working on language- or application-based
solutions to these problems through the formalization of contracts, the design
of appropriate abstraction mechanisms, and tools and techniques for analysis of
contracts, and analysis, testing and monitoring of conformance to contracts by
applications.

6
The categories of this paper are: astro-ph
11
The categories of this paper are: hep-lat
31
The categories of this paper are: ao-sci
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
30
The categories of this paper are: q-alg
23
The categories of this paper are: solv-int
33
The categories of this paper are: plasm-ph
32
The categories of this paper are: atom-ph
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
26
The categories of this paper are: bayes-an
5
The categories of this paper are: gr-qc