Call for Participati...

The AISB Convention is an annual conference organised by the ( The 2017 Convention will be held at the University of Bath, UK, with t...


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


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


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



AISB event Bulletin Item

CFP: Symbolic-Numeric Computation 2007 (SNC 2007)

                Symbolic-Numeric Computation 2007 (SNC 2007)

                    July 25-27, 2007 -- London Canada


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


  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.

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 Grbner 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 (3 pages) or full papers
  (up to 16 pages in 11 point font).  A paper template is available at .

  To submit a paper, visit .

Important Dates:

  Submission deadline:       April 2, 2007
  Notification:              May 28, 2007
  Camera ready version due:  June 15, 2007
  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