Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover
  and Its Applications   This volume contains the proceedings of the Thirteenth International Workshop
on the ACL2 Theorem Prover and Its Applications, ACL2 2015, a two-day workshop
held in Austin, Texas, USA, on October 1-2, 2015. ACL2 workshops occur at
approximately 18-month intervals and provide a major technical forum for
researchers to present and discuss improvements and extensions to the theorem
prover, comparisons of ACL2 with other systems, and applications of ACL2 in
formal verification.
  ACL2 is a state-of-the-art automated reasoning system that has been
successfully applied in academia, government, and industry for specification
and verification of computing systems and in teaching computer science courses.
In 2005, Boyer, Kaufmann, and Moore were awarded the 2005 ACM Software System
Award for their work on ACL2 and the other theorem provers in the Boyer-Moore
family.

33
The categories of this paper are: plasm-ph
37
The categories of this paper are: supr-con
31
The categories of this paper are: ao-sci
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
32
The categories of this paper are: atom-ph
9
The categories of this paper are: nlin
35
The categories of this paper are: mtrl-th
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
18
The categories of this paper are: econ
30
The categories of this paper are: q-alg
10
The categories of this paper are: q-bio
34
The categories of this paper are: chem-ph
19
The categories of this paper are: eess
17
The categories of this paper are: q-fin