[event] Call for Papers: SEA'11

[Torsten Schaub]

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

CALL FOR PAPERS

Software Engineering for Answer Set Programming 2011 (SEA'11)
Vancouver, Canada, 16 May 2011
http://sea11.cs.bath.ac.uk/

Co-located with the 11th International Conference on Logic Programming
and Nonmonotonic Reasoning (LPNMR 2011) 
http://sites.google.com/site/lpnmr11/


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              20 March 2011
Notification            10 April 2011
Camera-ready submission 24 April 2011
Workshop                16 May 2011


WORKSHOP ORGANISERS

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