CFP: Answer Set Programming 2005 (ASP'05): Advanced in Theory and Implementation (Uni

FINAL CALL FOR PAPERS

Answer Set Programming: Advances in Theory and Implementation
University of Bath, Bath, UK, 27th--29th July 2005
[http://asp05.cs.bath.ac.uk]

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

OVERVIEW:

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.


INVITED SPEAKER:

Vladimir Lifschitz, University of Texas at Austin


SUBMISSIONS:

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
[http://asp05.cs.bath.ac.uk/easychair/submit/]; only PDF or Postscript
document formats can be accepted by the document submission system.
Accepted articles must be presented at the workshop.


IMPORTANT DATES:
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


LOCATION:

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 2005 after the
workshop might find it convenient to book flights between Bristol and
Edinburgh.


WORKSHOP OFFICIALS:

Organising Chair:
Marina De Vos (University of Bath, UK)

Programme Committee Chairs:
Alessandro Provetti (University of Messina, Italy)
Marina De Vos (University of Bath, UK)

Programme Committee:
Francesco Buccafurri (UniversitÃ_ Mediterranea di Reggio
Calabria, Italy)
Stefania Costantini (UniversitÃ_ degli Studi dell' Aquila, Italy)
Michael Gelfond (Texas Tech University, USA)
Tomi Janhunen (Helsinki University of Technology, Finland)
Tran Cao Son (New Mexico State University, USA)
Dirk Vermier (Vrije Universiteit Brussel, Belgium)
Richard Watson (Texas Tech University, USA)
Stefan Woltran (Vienna University of Technology, Austria)

Local Organising Committee:
Tom Crick (University of Bath, UK)
Martin Brain (University of Bath, UK)
Jonathan Needham (University of Bath, UK)


SPONSORED BY:

IST, under the Future and Emerging Technologies (FET) programme
WASP (European Working group on Answer Set Programming)
The Nuffield Foundation
University of Bath, Department of Computer Science
Bath Narrowboats


-----------------------------------------------
Tom Crick
Mathematical Logic & Symbolic Computation Group
Department of Computer Science
University of Bath
tc@cs.bath.ac.uk
http://www.cs.bath.ac.uk/~tc