Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings Fifth International Workshop on Classical Logic and
  Computation   Classical Logic and Computation (CL&C) 2014 is the fifth edition of this
workshop series. The workshop series intends to cover all work aiming to
explore computational aspects of classical logic and mathematics. Its focus is
on the exploration of the computational content of mathematical and logical
principles, aiming to bring together researchers from both fields and exchange
ideas. In this fifth edition we received 18 submissions of both short and full
papers. Fourteen (14) of these were selected to present at the meeting in
Vienna, and six (6) full papers were accepted to appear at this ETPCS special
volume. Topics covered by this years submissions included: translations of
classical to intuitionistic proofs, witness extraction from classical proofs,
confluence properties for classical systems, linear logic, constructive
semantics for classical logic (game semantics, realizability), and the study of
calculi based on classical logic (lambda-mu-calculus, continuation calculus).

19
The categories of this paper are: eess
25
The categories of this paper are: patt-sol
3
The categories of this paper are: physics
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
17
The categories of this paper are: q-fin
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
23
The categories of this paper are: solv-int
21
The categories of this paper are: adap-org
14
The categories of this paper are: math-ph
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an