AISB 2018 Convention

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


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


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


                         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