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


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


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



AISB event Bulletin Item

CFP: AISC 2010: Artificial Intelligence and Symbolic Computation


AISC 2010 - 10th International Conference on
	       Theory, Implementations and Applications

	    CNAM, Paris, France, July 5th - July 6th, 2010


Artificial  Intelligence and  Symbolic Computation  are two  views and
approaches for automating  problem solving, in particular mathematical
problem solving.  The two  approaches are based  on heuristics  and on
mathematical  algorithmics, respectively. Artificial  Intelligence can
be  applied to Symbolic  Computation and  Symbolic Computation  can be
applied  to Artificial  Intelligence. Hence,  a wealth  of challenges,
ideas, theoretical insights and  results, methods and algorithms arise
in  the  interaction  of  the  two fields  and  research  communities.
Advanced tools of software technology and system design are needed and
a broad spectrum  of applications is possible by  the combined problem
solving power of the two fields.

Hence, the conference is in the center of interest and interaction for
various research communities:

* Artificial Intelligence  * Logic
* Symbolic Computation     * Software Technology
* Computer Algebra         * Semantic Web Technology
* Automated Reasoning      * Mathematical Knowledge Management
* Formal mathematics       * Computer-based Math Teaching & Didactics
* Machine Learning         * Computer-Supported Publishing
* Automated Discovery      * Language and System Design


Topics of particular interest of the conference include:

 * AI in Symbolic Mathematical Computing
 * Computer Algebra Systems and Automated Theorem Provers
 * Symmetries in AI problems
 * Engineering, Industrial and Operations Research Applications
 * Foundations and Complexity of Symbolic Computation
 * Mathematical Modeling of Multi-Agent Systems
 * Implementations of Symbolic Computation Systems
 * Programming Languages for Symbolic Computation
 * Symbolic Computations for Expert Systems and Machine Learning
 * Symbolic Computation and Ontologies
 * Logic and Symbolic Computing
 * Implementation and Performance Issues
 * Intelligent Interfaces
 * Symbolic Techniques for Document Analysis

Papers on  other topics  with links to  the above research  fields and
topics will also be welcomed for consideration.


The proceedings of the conference will be published as a volume in the
series   Lecture   Notes   in   Artificial  Intelligence   (LNAI)   by
Springer-Verlag. Accepted papers will have to be prepared in LaTeX and
formatted according to the  requirements of the Springer's LNAI series
(the    corresponding   style   files    can   be    downloaded   from
http://www.springer.de/comp/lncs/authors.html  and  are  the same  for


Theoretical and applied research papers on all topics within the scope
of the conference are invited.  Submitted papers (in English) must not
exceed 15 pages  in length (in the LNCS style).  The title page should
contain the title,  author(s) with affiliation(s), e-mail address(es),
listing of keywords  and abstract plus the topics  from the above list
to which the paper is related. The program committee (PC) will subject
all  submitted papers  to a  peer review.  Theoretical papers  will be
judged  on their  originality  and contribution  to  their field,  and
applied papers  on the importance and originality  of the application.
Results must be original and have not been published elsewhere.

The web page for electronic submission is at:


Best Paper Awards

Every  submission automatically  competes  for the  Best Paper  Award.
Papers  which have  been mainly  developed  by (PhD)  students can  be
marked as student papers upon  submission to also compete for the Best
Student Paper Award.

Important Dates

Abstract Submission deadline:            February 19, 2010
Submission deadline:                     February 26, 2010
Notification:                               April 18, 2010
Camera Ready Version:                       April 28, 2010
Conference:                          July 5 - July 6, 2010