AI Europe 2016

  Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...


Read More...

AISB convention 2017

  In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

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


Read More...

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


Read More...
012345

Notice

AISB event Bulletin Item

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

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

2nd 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/


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             

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. 
After the workshop, the final proceedings are going to be published in
the Elsevier series Electronic Notes in Theoretical Computer Science 
(ENTCS, ISSN: 1571-0661).

INVITED SPEAKERS

Paolo Traverso       ITC-IRST, Italy
Joost Visser         Software Improvement Group, The Netherlands

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 

Jesus Almendros      University of Almeria, Spain
Maria Alpuente       Technical University of Valencia, Spain
Uwe Assmann          Linkpings Universitet, Sweden
Demis Ballis         University of Udine, Italy
Gilles Barthe        INRIA Sophia-Antipolis, France
Tevfik Bultan        University of California, Santa Barbara, USA
Santiago Escobar     Technical University of Valencia, Spain
Moreno Falaschi      University of Siena, Italy
Nora Koch            Ludwig Maximilians Universitt Mnchen, Germany
Temur Kutsia         RISC Linz, Austria
Massimo Marchiori    University of Padova, Italy
Tiziana Margaria     University of Potsdam, Germany
Catherine Meadows    Naval Research Laboratory, USA
Sebastian Schaffert  Salzburg Research, Austria