Software
plays a crucial role in modern society. While software keeps
on growing in size and complexity, it is more than ever required to be
delivered on time, free of error and meeting the most stringent
efficiency requirements. Thus more demands are placed on the software
developer, and consequently, the need for methods and tools that
support the programmer in every aspect of the software development
process is widely recognized.

Practical
logic-based software development methods and tools are the main topic
of this workshop. Logic plays a fundamental role in analysis,
verification and optimization in all programming languages,
not only in those based directly on logic. The use of logic-based
techniques in software development is a very active area in
computing; emerging programming paradigms and growing complexity of the
properties to be verified pose new challenges for the community, while
emerging reasoning techniques can be exploited.

The 19thWorkshop on Logic-based methods in Programming Environments
will take place in Pasadena (California, USA) as a satellite workshop
of the 25th International Conference on Logic Programming (ICLP 2009,
14-17 July 2009). The aim of this workshop is to provide an informal
meeting for researchers working on logic-based methods and tools which
support program development and analysis. As in recent years we
interpret the workshop topics to include not only environmental tools
for logic programming but increasingly also logic-based environmental
tools for programming in general, so that this workshop can be possibly
interesting for a wider scientific community. In addition to papers
describing more conceptual and theoretical work, papers
describing the implementation of, and experience with, such
tools will be welcome.

Areas particularly relevant to the workshop include (but are not
limited to):

Static and dynamic
analysis

Debugging and testing

Program verification and validation,

Code generation from
specifications,

Termination analysis,

Constraints

Rewriting

Profiling and performance
analysis,

Type and mode analysis,

Module systems,

Optimization
tools,

Program understanding,

Refactoring

Logical meta-languages

Authors who are interested in taking part in the workshop, but are
unsure if their work falls
within its scope, are invited to contact the organizers and will be
given suitable advice.

All papers must describe original, previously
unpublished
research, and must not simultaneously be submitted for
publication elsewhere. They must be written in English. Papers must not
exceed 15
pages in the Springer LNCS format.