AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB event Bulletin Item

CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)

http://wwv07.dimi.uniud.it/

 Preliminary Call For Papers

    3rd International Workshop on Automated
         Specification and Verification
              of Web Systems (WWV'07)

       San Servolo island, Venice (Italy)
                December 14, 2007

          http://wwv07.dimi.uniud.it/
*******************************************************************

SCOPE

The  increased  complexity  of Web sites and the explosive growth of
Web-based applications has turned their design and construction into
a  challenging problem. Nowadays, many companies have diverted their
Web   sites   into   interactive,   completely-automated,  Web-based
applications (such  as  Amazon, on-line banking, or travel agencies)
with  a  high complexity that requires appropriate specification and
verification  techniques and tools. Systematic, formal approaches to
the  analysis  and  verification  can  address  the problems of this
particular  domain  with  automated  and  reliable  tools  that also
incorporate semantic aspects.

We solicit original papers on formal methods and techniques applied
to Web sites, Web services or Web-based applications, such as:

* rule-based approaches to Web site analysis, certification,
   specification, verification, and optimization
* formal models for describing and reasoning about Web sites
* model-checking, synthesis and debugging of Web sites
* abstract interpretation and program transformation applied
   to the semantic Web
* intelligent tutoring and advisory systems for Web specifications
   authoring
* Web quality and Web metrics
* Web usability and accessibility
* Testing and evaluation of Web systems and applications

The WWV series provides a forum for researchers from the communities
of Rule-based programming, Automated Software Engineering, and
Web-oriented research to facilitate the cross-fertilization and the
advancement of hybrid methods that combine the three areas.

LOCATION

WWV'07 will be held in December in the convention centre of the
island of San Servolo, Venice, Italy.

SUBMISSION PROCEDURE

Submissions must be received by October 21, 2007. In addition, an
ASCII version of the title and abstract must have been submitted by
October 14, 2007. Submitted papers should be at most 15 pages in the
Electronic Notes in Theoretical Computer Science  (ENTCS) style, and
should include an abstract and the author's information. See the
author's instructions of ENTCS style at http://www.entcs.org.

PUBLICATION

Accepted papers will be published in a preliminary proceedings volume,
which will be available during the workshop. Publication of the workshop
post-proceedings in the Elsevier series Electronic Notes in Theoretical
Computer Science (ENTCS) is envisaged.

PROGRAM CO-CHAIRS

Santiago Escobar (Technical University of Valencia, Spain)
Massimo Marchiori (University of Padova, Italy)

WORKSHOP CHAIR

Demis Ballis (University of Udine, Italy)

PROGRAM COMMITTEE

(to be announced)

IMPORTANT DATES

Abstract Submission      October 14, 2007
Full Paper Submission    October 21, 2007
Acceptance Notification  November 12, 2007
Camera Ready             November 23, 2007
Workshop                 December 14, 2007 (tentative)