Final CfP: Software Engineering for Answer Set Programming 2007 (SEA'07)

[Tom Crick]

=========================================================================

                        FINAL CALL FOR PAPERS

      Software Engineering for Answer Set Programming 2007 (SEA'07)
                 Tempe, Arizona, USA, 14-16 May 2007
                     http://sea07.cs.bath.ac.uk/     

=========================================================================

Co-located event with the 9th International Conference on Logic
Programming and Nonmonotonic Reasoning (LPNMR 2007)
http://lpnmr2007.googlepages.com/


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


SUBMISSIONS

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. Formal paper proceedings will
be available during the conference and will also be published online.


IMPORTANT DATES

Submission              16 February 2007 - EXTENDED
Notification            12 March 2007
Camera-ready submission 20 April 2007
Workshop                14-16 May 2007


WORKSHOP OFFICIALS

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

Programme Committee:
Martin Brain (University of Bath, UK)
Wolfgang Faber (University of Calabria, Italy)
Enrico Pontelli (New Mexico State University, USA)
Ken Satoh (National Institute of Informatics, Japan)
Tran Cao Son (New Mexico State University, USA)
Tommi Syrjanen (Helsinki University of Technology, Finland)
Richard Watson (Texas Tech University, USA)
Stefan Woltran (Technical University of Vienna, Austria)
Yan Zhang (University of Western Sydney, Australia)