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

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


Read More...

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


Read More...

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


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

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


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

Notice

AISB miscellaneous Bulletin Item

CFP: JOURNAL OF SYMBOLIC COMPUTATION Special Issue

http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-scss.html

JOURNAL OF SYMBOLIC COMPUTATION
    Special Issue on Symbolic Computation in Software Science
	
   http://www.risc.uni-linz.ac.at/people/tkutsia/jsc-scss.html
   ==========================================================

SCOPE
-----
This special issue is related to the topics of the workshop SCSS'08
(http://www.risc.uni-linz.ac.at/conferences/scss2008/): Symbolic
Computation in Software Science, which took place in Hagenberg,
Austria, on July 12-13, 2008. Both participants of the workshop and
other authors are invited to submit contributions.

Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects etc.).
Powerful symbolic algorithms have been developed during the past decades
like resolution, model checking, proving methods for various inductive
domains, rewriting techniques, cylindric algebraic decomposition,
Groebner bases, characteristic sets, telescoping for recurrence
relations, etc. In this special issue, we concentrate on the application
of symbolic algorithms to software science. Topics include but are not
limited to the application of symbolic techniques to:

   * algorithm (program) synthesis
   * algorithm (program) verification
   * termination analysis of algorithms (programs)
   * complexity analysis of algorithms (programs)
   * extraction of specifications from algorithms (programs)
   * generation of inductive assertions for algorithms (programs)
   * algorithm (program) transformations
   * component-based programming
   * querying (e.g. XML)
   * semantic web
   * ...

SUBMISSION
----------
We expect original articles (typically 15-30 pages; submission of larger
papers will be evaluated depending on editorial constraints) that
present high-quality contributions that have not been previously
published and that must not be simultaneously submitted for publication
elsewhere.

Submissions must comply with JSC's author guidelines. They must be
written in English and should be prepared in LaTeX using the "Elsevier
Article Class (elsart.cls)" with "JSC add-on style (yjsco.sty)" and
"Harvard style references (elsart-harv.bst)". The package  "JSC LaTex"
(that contains all the necessary style files and a template) can be
obtained from http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip.

The introduction of the paper MUST explicitly address the following
questions in succinct and informal manner:

   * What is the problem?
   * Why is the problem important?
   * What has been done so far on the problem?
   * What is the main contribution of the paper on the problem?
   * Is the contribution original? Explain why.
   * Is the contribution non-trivial? Explain why.

All the main definitions, theorems and algorithms must be illustrated by
simple but meaningful examples.

Without these, the paper will not be considered.

Submissions to this special issue are hereby encouraged via the
EasyChair submission system:
      http://www.easychair.org/conferences/?conf=jscscss2009.


IMPORTANT DATES
---------------
   * Submission of papers: March 23, 2009.
   * Notification of acceptance/rejection: July 27, 2009.
   * Final version: September 14, 2009.


GUEST EDITOR
------------
   * Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)