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

CFP: Automated Specification and Verification of Web Systems WWV 2009

CALL FOR PAPERS                       *
   *                                                         *
   *                       WWV 2009                          *
   * Automated Specification and Verification of Web Systems *
   *             5th International Workshop                  *
   *                                                         *
   *       Castle of Hagenberg, Austria. July 17, 2009       *
   *     *
   *                                                         *
   *               Part of the RISC Summer 2009              *
   * *


Abstract Submission       February 2, 2009
Full Paper Submission     February 9, 2009
Acceptance Notification   April 20, 2009
Camera Ready              June 1, 2009
Workshop                  July 17, 2009


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
* algebraic methods for verification and certification of
    Web systems
* 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'08 (Siena, Italy), WWV'07 (Venice,
Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain).


WWV'09 will be held at the Research Institute for Symbolic
Computation (RISC), which is an institute of the Johannes Kepler
University in Linz. It is located in the Castle of Hagenberg,
a romantic, medieval castle amidst the lovely, hilly landscape
of the Mhlviertel region, 20 km north east of Linz, the provincial
capital of Upper Austria, located halfway between Salzburg and Vienna.

For more information about RISC, please visit:

The workshop is a part of the RISC Summer 2009 conference series:


Submissions must be received by February 9, 2009. In addition, an
ASCII version of the title and abstract must be submitted by
February 2, 2009. Submitted papers should be prepared in LaTeX,
formatted according to the Springer llncs style, and should not
exceed 15 pages.

Submission is web-based via this link:


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

After the workshop, a special issue of the Journal of Symbolic
Computation on the topic of the WWV workshop is planned.


Demis Ballis          University of Udine, Italy
Temur Kutsia          Johannes Kepler University Linz, Austria


Temur Kutsia          Johannes Kepler University Linz, Austria
Wolfgang Schreiner    Johannes Kepler University Linz, Austria


Franois Bry  	      Ludwig Maximilian University of Munich, Germany
Axel Polleres 	      National University of Ireland, Galway, Ireland


Maria Alpuente  	 Technical University of Valencia, Spain
Demis Ballis 	     University of Udine, Italy
Wlodzimierz Drabent  Linkping University, Sweden, and
	                 Institute Of Computer Science,
                    Polish Academy of Sciences, Poland
Santiago Escobar 	 Technical University of Valencia, Spain
Moreno Falaschi 	 University of Siena, Italy
Mrio Florido 	     University of Porto, Portugal
Temur Kutsia 	     Johannes Kepler University Linz, Austria
Massimo Marchiori 	 University of Padova, Italy
Mircea Marin 	     University of Tsukuba, Japan
Catherine Meadows 	 Naval Research Laboratory, USA
Rosario Pugliese 	 University of Florence, Italy
I.V. Ramakrishnan 	 Stony Brook University, USA
Antonio Vallecillo 	 University of Malaga, Spain