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: Symbolic-Numeric Computation 2007 (SNC 2007)

 Symbolic-Numeric Computation 2007 (SNC 2007)

                    July 25-27, 2007 -- London Canada


                         Second Announcement and 

                      C A L L   f o r   P A P E R S

  Extended Submission Deadline
  Invited Speakers
  ACM Proceedings


  Algorithms that combine ideas from symbolic and numeric computation have
  been of increasing interest over the past decade.  The growing demand for
  speed, accuracy and reliability in mathematical computing has accelerated
  the process of blurring the distinction between two areas of research that
  were previously quite separate.

  The goal of the present workshop is to support the interaction and
  integration of symbolic and numeric computing.  Earlier meetings in this
  series include the SNAP 96 Workshop, held in Sophia Antipolis, France,
  and the SNC 2005 meeting, held in Xi'an, China.  Following the tradition,
  Symbolic-Numeric Computation 2007 will be held July 25-27 in London, Canada.

  SNC 2007 is affiliated with the 2007 International Symposium on Symbolic and
  Algebraic Computation (ISSAC 2007).  Co-located with this workshop will be
  PASCO 2007, the 2007 International Workshop on Parallel Symbolic Computation.
  SNC and PASCO will be held immediately prior to the ISSAC 2007 meeting, both
  at the University of Western Ontario, Canada.  ISSAC 2007 will be held
  nearby in Waterloo, Canada.

Invited Speakers:

  The conference is pleased to announce the following invited talks:

  Andre Galligo, University of Nice-Sophia Antipolis (France)
  "Recent trends in aproximate multivariate factorization" 

  Erich Kaltofen, North Carolina State University (USA)
  "On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms" 

  Anthony Kennedy, University of Edinburgh (UK)
  "Automating renormalization of quantum field theories" 

  Nick Trefethen, Oxford University (UK)
  "Computing numerically with functions instead of numbers" 

  Charles Wampler, General Motors (USA)
  "Numerical algebraic geometry and kinematics" 

  Lihong Zhi, Chinese Academy of Sciences (China)
  "Primal and dual methods for solving polynomial systems" 

Call for Papers:

  The program of SNC 2007 will include invited presentations, contributed
  research papers and posters.   Specific topics include, but are not
  limited to:

  * Hybrid symbolic-numeric algorithms
  * Approximate polynomial GCD and factorization
  * Symbolic-numeric methods for solving polynomial systems
  * Resultants and structured matrices for symbolic-numeric computation
  * Differential equations for symbolic-numeric computation
  * Symbolic-numeric methods for geometric computation
  * Symbolic-numeric algorithms in algebraic geometry
  * Symbolic-numeric algorithms for nonlinear optimization
  * Numeric computation of characteristic sets and Gr?bner bases
  * Implementation of symbolic-numeric algorithms
  * Model construction by approximate algebraic algorithms (e.g. numerical
    sparse interpolation, the approximate Buchberger-Moeller algorithm)
  * Applications of symbolic-numeric computation

  The conference invites submission of papers presenting original research,
  either in the form of extended abstracts (2 pages) or full papers
  (up to 10 pages) in ACM format.  A LaTeX class file is available at .

  To submit a paper, visit .

  Conference proceedings will be published by ACM and also be in the 
  ACM Digital Library.  (To do this we have had to revise the due date for
  the camera ready version of accepted articles.)

Important Dates:

  Submission deadline:       April 9, 2007    *** Extended ***
  Notification:              May  13, 2007    *** Revised  ***
  Camera ready version due:  May  27, 2007    *** Revised  ***
  Workshop:                  July 25-27, 2007

Conference Organization:

  General Chair:       Stephen Watt     
  PC Chair:            Jan Verschelde   
  Local Arrangements:  Oleg Golubitsky  
  Proceedings Editor:  Marc Moreno Maza 
  Publicity:           Francois Lemaire 
  Administration:      Meg Borthwick    

Program Committee:

  Dario Bini, Universita di Pisa, Italy
  Robert Corless, University of Western Ontario, Canada
  James Demmel, University of California Berkeley, USA
  Ioannis Emiris, University of Athens, Greece
  Marc Moreno Maza, University of Western Ontario, Canada
  Bernard Mourrain, INRIA Sophia Antipolis, France
  Victor Pan, Lehman College CUNY, USA
  Greg Reid, University of Western Ontario, Canada
  Tateaki Sasaki, University of Tsukuba, Japan
  Andrew Sommese, University of Notre Dame, USA
  Jan Verschelde (PC Chair), University of Illinois at Chicago, USA
  Dongming Wang, Beihang University, China and UPMC-CNRS, France
  Zhonggang Zeng, Northeastern Illinois University, USA


  Support from the following organizations is gratefully acknowledged:

  The Fields Institute for Research in Mathematical Sciences
  The MITACS Network of Centers of Excellence
  The Natural Sciences and Engineering Research Council of Canada
  The University of Western Ontario
  The Ontario Research Centre for Computer Algebra


  SNC 2007
  PASCO 2007
  ISSAC 2007