English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
PASCO 2007: Call for Papers
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-02-14 (23:08)
From: PASCO 2007 <pasco2007@s...>
Subject: PASCO 2007: Call for Papers

               Parallel Symbolic Computation 2007 (PASCO 2007)

                   July 27-28, 2007 -- London Canada


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

                           Initial Announcement


  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
   * 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
  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 <moreno@orcca.on.ca>
  Local Arrangements:   Eric Schost      <schost@orcca.on.ca>
  Proceedings Editor:   Stephen Watt     <watt@orcca.on.ca>
  Publicity:            Francois Lemaire <lemaire@lifl.fr>
  Administration:       Meg Borthwick    <meg@csd.uwo.ca>

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 (Chair)
  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


  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