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


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



AISB event Bulletin Item

CFP: Parallel Symbolic Computation 2007 (PASCO 2007)


Parallel Symbolic Computation 2007 (PASCO 2007)

                   July 27-28, 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


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

Invited Speakers:

  The conference is pleased to announce the following invited speakers.

    * Michael A. Bauer, Univ. of Western Ontario
    * Matteo Frigo, Cilk Arts
    * Thierry Gautier, INRIA
    * Anthony D. Kennedy, Edinburg Univ. (Jointly with SNC)
    * Katherine Yelick, Univ. of California at Berkeley 

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
   * 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 (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/pasco2007/site/submission/submission.html .
  To submit a paper, visit http://www.easychair.org/PASCO2007.

  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 16, 2007   *** Extended ***
  Notification:              May  13, 2007    *** Revised  ***
  Camera ready version due:  May  27, 2007    *** Revised  ***
  Workshop:                  July 27-28, 2007

Conference Organization:

  Chair:                Marc Moreno Maza 
  Local Arrangements:   Eric Schost      
  Proceedings Editor:   Stephen Watt     
  Publicity:            Francois Lemaire 
  Administration:       Meg Borthwick    

Program Committee:

  Gene Cooperman, Northeastern University, USA
  Jean-Guillaume Dumas, Universite Joseph Fourier, France
  Jean-Charles Faugere, CNRS, France
  Mark Giesbrecht, University of Waterloo, Canada
  Erich Kaltofen, North Carolina State University, USA
  Anton Leykin, University of Minnesota, USA
  Marc Moreno Maza, University of Western Ontario, Canada
  Jean-Louis Roch, Universite Joseph Fourier, France
  David Saunders, University of Delaware, USA
  William Stein, University of Washington, USA
  Carlo Traverso, Universita di Pisa, Italy
  Gilles Villard, CNRS, France


  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
  The Shared Hierarchical Academic Research Computing Network


  PASCO 2007  http://www.orcca.on.ca/conferences/pasco2007
  SNC 2007    http://www.orcca.on.ca/conferences/snc2007
  ISSAC 2007  http://www.cs.uwaterloo.ca/conferences/issac2007

  Submission  http://www.easychair.org/PASCO2007