CFP: Answer Set Programming 2005 (ASP'05): Advanced in Theory and Implementation (University of Bath, July 2005)

CFP: Answer Set Programming 2005 (ASP'05): Advanced in Theory and Implementation (University of Bath, July 2005)

Post by Tom Cric » Sat, 30 Apr 2005 03:52:38


Answer Set Programming: Advances in Theory and Implementation
University of Bath, Bath, UK, 27th--29th July 2005

(Co-located with the 19th International Joint Conference on Artificial
Intelligence (IJCAI 2005))


Following the success of the ASP'01 workshop (Stanford, USA), as part of
the AAAI Spring Symposium Series, along with the ASP'03 workshop
(Messina, Italy), WASP -- the European Working group on Answer Set
Programming -- is organising ASP'05 together with its final annual
meeting at the University of Bath, UK.

Contributions to this workshop, in the form of articles, position papers
as well as demonstrations, are sought on all aspects of Answer Set
Programming (ASP). The workshop program includes both presentations
(conference-style, demo or poster sessions) with ample time for
discussion and meetings of the interest groups that constitute the core
of WASP. Furthermore, we are planning three open moderated discussion
forums on current issues in ASP. Formal paper proceedings will be
available during the conference and will also be published online.
Awards are available for the best theory, application and implementation
paper, along with the best poster. Travel bursaries may be available for
research students.

PLEASE NOTE the date change for the workshop; this is to allow attendees
to travel to IJCAI 2005.


Vladimir Lifschitz, University of Texas at Austin


Submitted articles/system presentations will undergo peer-review. Due to
the restricted audience, articles already submitted or published
elsewhere are acceptable; please specify when this is applicable. The
paper must be in Springer LNCS format and should not exceed 15 pages
overall. For the system presentations we ask for a short summary of
the system being presented, which will also published in the
proceedings. Online paper submission is available via
[]; only PDF or Postscript
document formats can be accepted by the document submission system.
Accepted articles must be presented at the workshop.

Submission 6th May 2005
Notification 21st May 2005
Camera-ready 21st June 2005
Early registration 30th May 2005
Final registration 1st July 2005
Workshop 27th--29th July 2005


The City of Bath is a UNESCO World Heritage site located in the south
west of England. Founded by the Romans as a thermal spa, Bath became an
important centre of the wool industry in the Middle Ages. In the 18th
century, under King George III, it developed into an elegant town with
neoclassical Palladian buildings, which blend harmoniously with the
Roman baths.

The University of Bath campus is situated in the hills surrounding the
city and is a leading UK University with an international reputation for
quality teaching and research. Further information about the University
of Bath, how to get here and finding your way around is available. A
social programme is scheduled to allow participants to enjoy Bath and
the surrounding area at its best.

Bath can be easily reached by road, train or air. For international
participants, Bath is best served by either Bristol International
Airport or London Heathrow; we strongly discourage using any of the
other London airports. Participants also attending IJCAI 200