Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Sixth Workshop on Proof eXchange for Theorem Proving   This volume of EPTCS contains the proceedings of the Sixth Workshop on Proof
Exchange for Theorem Proving (PxTP 2019), held on 26 August 2019 as part of the
CADE-27 conference in Natal, Brazil. The PxTP workshop series brings together
researchers working on various aspects of communication, integration, and
cooperation between reasoning systems and formalisms, with a special focus on
proofs. The progress in computer-aided reasoning, both automated and
interactive, during the past decades, made it possible to build deduction tools
that are increasingly more applicable to a wider range of problems and are able
to tackle larger problems progressively faster. In recent years, cooperation
between such tools in larger systems has demonstrated the potential to reduce
the amount of manual intervention. Cooperation between reasoning systems relies
on availability of theoretical formalisms and practical tools to exchange
problems, proofs, and models. The PxTP workshop series strives to encourage
such cooperation by inviting contributions on all aspects of cooperation
between reasoning tools, whether automatic or interactive.

4
The categories of this paper are: cond-mat
17
The categories of this paper are: q-fin
11
The categories of this paper are: hep-lat
14
The categories of this paper are: math-ph
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
21
The categories of this paper are: adap-org
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
31
The categories of this paper are: ao-sci
22
The categories of this paper are: chao-dyn
20
The categories of this paper are: acc-phys
24
The categories of this paper are: dg-ga