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


Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


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


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


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


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

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

       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      May 5, 2008    <--- EXTENDED!
Full Paper Submission    May 12, 2008   <--- EXTENDED!
Acceptance Notification  June 13, 2008  <--- EXTENDED!
Camera Ready             June 20, 2008  <--- EXTENDED!
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 May 12, 2008. In addition, an
ASCII version of the title and abstract must have been submitted by
May 5, 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).


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


Michele Baggi         University of Siena, Italy


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


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