Software Engineering for Answer Set Programming 2009 (SEA'09)
Potsdam, Germany, 18 September 2009
http://sea09.cs.bath.ac.uk/

Co-located with the 10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)
http://www.cs.uni-potsdam.de/lpnmr09/


OVERVIEW

Over the last ten years, answer set programming (ASP) has grown from a pure theoretical knowledge representation and reasoning formalism to a computational approach with a
very strong formal backing. At present, ASP is seen as the computational embodiment of non-monotonic reasoning incorporating techniques of databases, knowledge
representation, logic and constraint programming. ASP has become an appealing tool for knowledge representation and reasoning and thanks to the increasing efficiency of the
implementations of ASP solvers, the field has now started to tackle many industrially-relevant applications.

Writing complex programs in any language is not an easy task, with ASP being no exception. Most of the modern popular programming languages have an abundance of tools and
development methodologies to facilitate and improve the coding process. Given the differences in for example language design, execution, and application domains for languages
such as Java and C++, the existing methodologies and tools that are available are mostly not suitable for ASP. Therefore development tools and software engineering
methodologies specifically designed for ASP are required.

This workshop aims to bring together researchers who are currently working on or are interested in the development of dedicated tools, techniques, and methodologies to
facilitate the development of answer set programs.


TOPICS

Authors are invited to submit original research or system description papers on software engineering tools or techniques for answer set programming. The list of topics of
interest includes but is not limited to:

* Modelling tools
* (Domain-specific) front and/or back-ends
* Methodologies
* Debuggers
* (Graphical) User Interfaces
* Integrated Development Environments (IDEs)
* Software engineering metrics


SUBMISSION

Submitted articles will undergo peer-review. The paper must be in Springer LNCS format and should not exceed 15 pages overall. Submission should be via PDF to both workshop
chairs. Papers will be published in the Bath technical report series and on CEUR (http://ceur-ws.org/).

IMPORTANT DATES

Submission 1 July 2009
Notification 1 August 2009
Camera-ready submission 1 September 2009
Workshop 18 September 2009


WORKSHOP OFFICIALS

Workshop Chairs:
Marina De Vos (University of Bath, UK)
Torsten Schaub (University of Potsdam, Germany)

Programme Committee:
Marcello Balduccini (Kodak Research Labs, USA)
Martin Brain (University of Bath, UK)
Wolfgang Faber (University of Calabria, Italy)
Enrico Pontelli (New Mexico State University, USA)
Alessandra Russo (Imperial College London, UK)
Tran Cao Son (New Mexico State University, USA)
Hans Tompits (Vienna University of Technology, Austria)
Richard Watson (Texas Tech University, USA)
Stefan Woltran (Technical University of Vienna, Austria)