AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


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