Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Proceedings of the 19th Workshop on Logic-based methods in Programming
  Environments (WLPE 2009)   This volume contains the papers presented at the 19th Workshop on Logic-
based methods in Programming Environments (WLPE'09), which was held in
Pasadena, USA, on July 14th, 2009.
  WLPE aims at providing an informal meeting for researchers working on
logic-based methods and tools which support program development and analy- sis.
This year, we have continued and consolidated the shift in focus from en-
vironmental tools for logic programming to logic-based environmental tools for
programming in general, so that this workshop can be possibly interesting for a
wider scientific community.
  All the papers submitted to WLPE'09 have gone through a careful process of
peer reviewing, with at least three reviews for each paper and a subsequent
in-depth discussion in the Program Committee.

34
The categories of this paper are: chem-ph
36
The categories of this paper are: cmp-lg
22
The categories of this paper are: chao-dyn
6
The categories of this paper are: astro-ph
32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
35
The categories of this paper are: mtrl-th
14
The categories of this paper are: math-ph
7
The categories of this paper are: hep-th
27
The categories of this paper are: comp-gas
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
17
The categories of this paper are: q-fin
9
The categories of this paper are: nlin