Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


AISB Convention 2016

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 2016 Convention will be held at the Uni...


Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


AISB YouTube Channel

The AISB has launched a YouTube channel: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

nd CFP: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08)

2nd Call For Papers
       4th International Workshop on Automated
            Specification and Verification
               of Web Systems (WWV'08)

             Siena, Italy, July 4, 2008

              co-located with WFLP'08


Abstract Submission      April 20, 2008
Full Paper Submission    April 27, 2008
Acceptance Notification  May 27, 2008
Camera Ready             June 11, 2008
Workshop                 July 4, 2008


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
* 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.

The previous WWV editions were: WWV'07 (Venice, Italy), WWV'06 
(Paphos, Cyprus), and WWV'05 (Valencia, Spain).


WWV'08 will be held in July in the convention centre of the
University of Siena, Italy:

The workshop will be co-located with WFLP'08:


Siena is one of the nicest city in Italy. The historical centre is
situated  on   top of a   hill and   is made of beautiful medieval 
buildings   and   churches,   all surrounded by ancient walls. The 
countryside of Siena is worldwide famous for its beauty. The Palio 
of Siena is probably the most famous historical fair in Italy. The 
most   important event of it is a horse race  of medieval origins, 
which is held  in the afternoon of July 2nd  in 'Piazza del Campo' 
in the centre of Siena. For more information, please visit


Submissions must be received by April 27, 2008. In addition, an
ASCII version of the title and abstract must have been submitted by
April 20, 2008. 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 
Papers should be submitted electronically via the web-based 
submission site


Accepted papers will be published in a preliminary proceedings
volume, which will be available during the workshop.

After the workshop, the final proceedings are going to be published
in the Elsevier series Electronic Notes in Theoretical Computer
Science (ENTCS).


Rosario Pugliese      Universit degli Studi di Firenze, Italy 
I.V. Ramakrishnan     Stony Brook University, USA


Demis Ballis          University of Udine, Italy
Santiago Escobar      Technical University of Valencia, Spain


Michele Baggi         University of Siena, Italy


Maria Alpuente        Technical University of Valencia, Spain
Demis Ballis          University of Udine, Italy
Gilles Barthe         INRIA Sophia-Antipolis, France
Wlodzimierz Drabent   IDA, Linkpings Universitet, Sweden
                      IPI PAN, Polish Academy of Sciences, Poland
Santiago Escobar      Technical University of Valencia, Spain
Moreno Falaschi       University of Siena, Italy
Mario Florido         University of Porto, Portugal
Thomas A. Henzinger   EPFL, Switzerland
Maria Jose Hidalgo    University of Sevilla, Spain
Temur Kutsia          RISC, Linz, Austria
Massimo Marchiori     University of Padova, Italy
Catherine Meadows     Naval Research Laboratory, USA
Antonio Vallecillo    University of Malaga, Spain