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 miscellaneous Bulletin Item

CFP: JAR Special Issue on TESTS AND PROOFS

http://www.uni-koblenz.de/tap2008/jar.html

Call for  Papers

                           Special Issue on

                           TESTS AND PROOFS

                                of the

                    JOURNAL OF AUTOMATED REASONING



GENERAL INFORMATION

Proofs and tests have, since the onset of software engineering
research, been pursued by distinct communities using rather different
techniques and tools.  In the past few years an increasing number of
research efforts have encountered the need for combining proofs and
tests, dropping earlier dogmatic views of incompatibility and taking
instead the best of what each of these software engineering domains
has to offer.

This special issue has its origins in the Second International
Conference on Tests and Proofs (TAP 2008), which was held in Prato
(Italy) in April 2008.  It will be published by Springer within the
Journal of Automated Reasoning.


TOPICS

Topics of interest include the following:

    * Generation of test data, oracles, or preambles by deductive
      techniques such as
      - theorem proving,
      - model checking,
      - symbolic execution,
      - constraint logic programming,
      etc.
    * Generation of specifications by deduction
    * Verification techniques combining proofs and tests
    * Program proving with the aid of testing techniques
    * Transfer of concepts from testing to proving
      (e.g., coverage criteria)
    * Automatic bug finding
    * Formal frameworks
    * Tool descriptions and experience reports
    * Case studies


SUBMISSIONS

This special issue welcomes original high-quality contributions that
have been neither published in nor submitted to any journals or
refereed conferences.

Authors of papers presented at the TAP 2008 conference are welcome to
submit extended and revised versions of their papers. However,
contributions are not limited to those based on papers presented at
TAP 2008; any other submissions related to Tests and Proofs are highly
welcome.

All submissions should be written in terms understandable by general
readers of the journal. And all submissions will be refereed to usual
journal standards.

Submissions should be formatted according to JAR's author guidelines
(see the link on the special issue's web page below), and preferably
be written in LaTeX. A LaTeX style file can be obtained here:
http://www.springeronline.com/authors/jrnlstylefiles

To submit a paper to the JAR Special Issue on Tests and Proofs, please
proceed as follows: Go to Springer's Editorial Manager at
http://www.editorialmanager.com/jars/default.asp. If you do not yet
have an account, please create one using the REGISTER button at the
top. Once you are registered, please login with role "Author". Under
the heading "New Submissions" there is a link for creating a new
manuscript. Following this link, you are asked to specify the Article
Type. It is essential to select "Special Issue Tests and Proofs" from
the pull down menu. This will ensure that your article is processed
correctly. After clicking "Next" you can fill in the remaining data
and upload a PDF file with your manuscript. You can return to the
Editorial Manager at any time to modify your personal data and to
follow the progress of reviewing.


PAPER SUBMISSIONS DEADLINE

              September 30, 2008


EDITORS

Bernhard Beckert (University of Koblenz, Germany)
Reiner Hhnle (Chalmers University, Gothenburg, Sweden)


FURTHER INFORMATION

For further information visit the web page:
http://www.uni-koblenz.de/tap2008/jar.html

Or send an email to one of us:
tap2008@uni-koblenz.de