ICO Alan Turing Lect...
To celebrate the 100 year anniversary of the birth of the world renowned mathematician, code breaker, logician and computer scientist, the first ICO Alan Turing Lecture was held at the Museum of Science and Industry in Manchest...
Read More...
AISB Workshop: Senso...
Poster: http://aisb.org.uk/media/files/stw2012.pdf (media/files/stw2012.pdf) A day of discussion on the Sensorimotor account of Perception, Consciousness and Robotics, its development and contemporary state. The first in a seri...
Read More...
Ms Pac-Man vs Ghosts...
This year's Ms Pac-man vs Ghosts Competition is now open for submissions. The competition allows you to develop AI controllers for the classical arcade game Ms Pac-Man. However, this year the competition takes a unique look at the...
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...
New AISB Website
Happy New Year! Welcome to the new AISB website. Over the coming weeks and months we will be making additional changes to the website, introducing some new content and so on. Please check back regularly to see what's new! During...
Read More...
AISB Website Beta
The AISB's new website is now gone beta. Some of the new features member's can look forward to enjoying will be better integration with the AISB LinkedIn group, frequent news updates, a new member's section and up-to-date AI med...
Read More...
AISB 2011 Convention
The AISB'11 Convention (http://www.aisb.org.uk/convention/aisb11/) was held from 4-7 April at York, organised by Dimitar Kazakov and George Tsoulas.
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...
Alan Turing Year
2012 marks the centenary of Alan Turing's birth. Alan Turing Year (http://www.turingcentenary.eu/), seeks to bring together news of all the events and organisations which will be marking the occasion.
Read More...
Honouring Turing at ...
The AISB's own Convention in 2012 (convention/aisb12) will honour Turing For 2012, AISB and IACAP (The International Association for Computing and Philosophy) have merged their annual symposia/conferences to form the AISB/IA...
Read More...
Notice
AISB event Bulletin Item
CFP: Parallel Symbolic Computation 2007 (PASCO 2007)
Parallel Symbolic Computation 2007 (PASCO 2007)
July 27-28, 2007 -- London Canada
http://www.orcca.on.ca/conferences/pasco2007
C A L L f o r P A P E R S
Initial Announcement
Overview:
The pervasive ubiquity of parallel architectures, from SMPs to multi-core
laptops, has led to a new quest for mathematical algorithms and software
capable of exploiting these computing resources. Symbolic computation
offers exiting, but highly complex, challenges to scientists aiming to
contribute to this quest.
The goal of the present workshop is to stimulate the development of
parallel algorithms and software for achieving high performance in symbolic
computation from grids to home computers. Earlier meetings in this series
include PASCO '94 in Linz, Austria and PASCO '97 in Maui, U.S.A.
PASCO 2007 is affiliated with the 2007 International Symposium on Symbolic
and Algebraic Computation (ISSAC 2007). Co-located with this workshop will
be SNC 2007, the 2007 International Workshop on Symbolic-Numeric 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 PASCO 2007 will include invited presentations, contributed
research papers and posters. Specific topics include, but are not
limited to:
* Parallel computer algebra
* Design of high performance software tools and interfaces
for exact and approximate procedures
* Design and analysis of parallel algorithms for algebraic
computations
* Parallel computing for number theory, geometry, automatic
theorem proving, combinatorial and discrete methods
* Distributed data-structures for matrices and polynomials
* Implementations of solvers on multi-cores, SMPs, clusters,
supercomputers and grids
* Interactive parallel symbolic computation
* Volunteer computing for symbolic problems
* Applications of parallel symbolic computation
The conference invites submission of papers presenting original research,
either in the form of extended abstracts (4 pages) or full papers
(up to 16 pages in 11 point font). A paper template is available at
http://www.orcca.on.ca/conferences/pasco2007/site/submission/submission.html.
To submit a paper, visit http://www.easychair.org/PASCO2007.
Important Dates:
Submission deadline: April 2, 2007
Notification: May 28, 2007
Camera ready version due: June 15, 2007
Workshop: July 27-28, 2007
Conference Organization:
Chair: Marc Moreno Maza |



