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: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CFP: MKM-2007 (Mathematical Knowledge Management)

MKM 2007

              Sixth International Conference on


                      27--30 June 2007
                    Hagenberg --- Austria

                    FIRST CALL FOR PAPERS

 Mathematical Knowledge Management is an innovative field in the
 intersection of mathematics and computer science.  Its development is
 driven on the one hand by the new technological possibilities which
 computer science, the internet, and intelligent knowledge processing
 offer, and on the other hand by the need for new techniques for
 managing the rapidly growing volume of mathematical knowledge.

 The conference is concerned with all aspects of mathematical knowledge
 management.  A (non-exclusive) list of important areas of current
 interest includes:

 Representation of mathematical knowledge
 Repositories of formalized mathematics
 Diagrammatic representations
 Mathematical search and retrieval
 Deduction systems
 Math assistants, tutoring and assessment systems
 Mathematical OCR
 Inference of semantics for semi-formalized mathematics
 Digital libraries
 Authoring languages and tools
 MathML, OpenMath, and other mathematical content standards
 Web presentation of mathematics
 Data mining, discovery, theory exploration
 Computer Algebra Systems
 Collaboration tools for mathematics


 The deadline for submissions is 12 February 2007. Submitted papers should
 not exceed 15 pages, must be original and not submitted for publication.

 All papers submitted to the Conference will be reviewed.
 Submission details will be announced on the conference web pages.


 We we will publish the proceedings in the Springer-Verlag series
 Lecture Notes in Artificial Intelligence (LNAI).

 Authors of accepted papers are expected to present their work
 at the conference.


 12 February 2007: Submission deadline
 12 March    2007: Notification of acceptance
 26 March    2007: Camera ready copies due
 27--30 June 2007: Conference in Hagenberg, Austria

 Wolfgang Windsteiger, Johannes Kepler University, Linz, Austria

 Andrea Asperti       University of Bologna, Italy
 Laurent Bernardin    Maplesoft, Canada
 Jonathan Borwein     Dalhousie University, Canada
 Thierry Bouche       Universite de Grenoble I, France
 Bruno Buchberger     Johannes Kepler University, Linz, Austria
 Paul Cairns          University College London, England
 Olga Caprotti        University of Helsinki, Finland
 Bruce Char           Drexel University, Philadelphia, USA
 Simon Colton         Imperial College London, England
 Mike Dewar           Numerical Algorithms Group, England
 William Farmer       McMaster University, Canada
 Herman Geuvers       Radboud University Nijmegen, The Netherlands
 Tetsuo Ida           University of Tsukuba, Japan
 Mateja Jamnik        University of Cambridge, England
 Fairouz Kamareddine  Heriot-Watt University, Scotland
 Manfred Kerber       University of Birmingham, England (co-chair)
 Michael Kohlhase     International University Bremen, Germany
 Paul Libbrecht       DFKI Saarbruecken, Germany
 Robert Miner         Design Science, USA (co-chair)
 Bengt Nordstrom      Chalmers University of Technology, Sweden
 Ross Reedstrom       Rice University, USA
 Eugenio Rocha        Universidade de Aveiro, Portugal
 Alan Sexton          University of Birmingham, England
 Andrzej Trybulec     University of Bialystok, Poland
 Stephen Watt         University Western Ontario, Canada
 Abdou Youssef        George Washington University, USA



 There will be affiliated workshops with the MKM and  Calculemus conferences. 
 If you are interested in organizing one, contact the co-chairs Manfred Kerber 
 and Robert Miner at