Call for papers: 2nd Workshop on Software Engineering for Answer Set Programming (SEA'09)

[Marina De Vos]

[apologies for multiple posts; please distribute]
-------------------------------------------------

CALL FOR PAPERS

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)