CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


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


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


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



AISB event Bulletin Item


AISC 2008 - 9th International Conference on 
         Theory, Implementations and Applications
         Birmingham, UK, 31 July - 2 August 2008

	           AISC 2008 is part of the
       Conferences in Intelligent Computer Mathematics
             Birmingham, UK, 28 July-2 August 2008

                       CALL FOR PAPERS

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,
    * symbolic computation,
    * computer algebra,
    * automated reasoning,
    * formal mathematics,
    * mathematical knowledge management,
    * automated discovery,
    * machine learning,
    * logic,
    * software technology,
    * semantic web technology,
    * computer-based math teaching and didactics,
Topics of particular interest of the conference include:

    * AI in Symbolic Mathematical Computing
    * Computer Algebra Systems and Automated Theorem Provers
    * Integration of Logical Reasoning and Computer Algebra
    * Symmetries in AI problems,
    * Engineering, Industrial and Operations Research Applications
    * Foundations and Complexity of Symbolic Computation
    * Mathematical Modeling of Multi-Agent Systems
    * Programming Languages for Symbolic Computation
    * Symbolic Computations for Expert Systems and Machine Learning
    * Implementations of Symbolic Computation Systems
    * 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 and are the same for LNCS 
and LNAI).


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:

Important Dates

Submission deadline: 24 February 2008
Notification: 23 March 2008
Camera Ready Version: 27 April
Conference: 31 July - 2 August 2008

Programme Committee

Volker Sorge	(University of Birmingham, UK), Chair
Alessandro Armando	(University of Genoa, Italy)
Christoph Benzmller	(Universitt des Saarlandes, Germany)
Bruno Buchberger	(RISC, Austria)
Russell Bradford	(University of Bath, UK)
Jacques Calmet	(University of Karlsruhe, Germany)
John Campbell	(University College London, UK)
Jacques Carette	(McMaster University, Canada)
Arjeh Cohen	(Eindhoven University of Technology, The Netherlands)
Simon Colton	(Imperial College London, UK)
Timothy Daly	(Carnegie Mellon, USA)
Lucas Dixon	(University of Edinburgh, UK)
William M. Farmer	(McMaster University, Canada)
Martin Charles Golumbic	(University of Haifa, Israel)
Hoon Hong	(North Carolina State University, USA)
Tetsuo Ida	(University of Tsukuba, Japan)
Tom Kelsey	(University of St Andrews, UK)
Petr Lisonek	(Simon Frasier University, Canada)
George Labahn	(University of Waterloo, Canada)
Renaud Rioboo	(Universit Pierre et Marie Curie - LIP6, France)
Karem Sakallah	(University of Michigan, USA)
Jrg Siekmann	(Universitt des Saarlandes, DFKI, Germany)
Elena Smirnova	(Texas Instruments, USA)
Stephen M. Watt	(University of Western Ontario, Canada)
Wolfgang Windsteiger	(RISC, Austria)
Dongming Wang	(Beihang University, China and UPMC-CNRS, France)