Nasuto on BBC Radio
Slawomir Nasuto from University of Reading and a Research Officer of AISB Committee has recently participated in the BBC4 Frontiers programme Build Me a Brain. Different teams around the world including researchers from Reading g...
Read More...
Call for Proposals
AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...
Read More...
Mark Bishop on BBC ...
Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...
Read More...
AISB YouTube Channel
The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...
Read More...
Lighthill Debates
The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video
Read More...
Notice
AISB event Bulletin Item
CFP: Symbolic-Numeric Computation 2007 (SNC 2007)
Symbolic-Numeric Computation 2007 (SNC 2007)
July 25-27, 2007 -- London Canada
http://www.orcca.on.ca/conferences/snc2007
Second Announcement and
C A L L f o r P A P E R S
News:
Extended Submission Deadline
Invited Speakers
ACM Proceedings
Overview:
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
http://www.orcca.on.ca/conferences/snc2007/site/submission/submission.html .
To submit a paper, visit http://www.easychair.org/SNC2007 .
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 |



