Call for Papers
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 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.
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 (2 pages) or full papers (up to 10 pages) in ACM
format. Please use the LaTeX class file: acm_proc_article-sp.cls.
To submit a paper, visit http://www.easychair.org/PASCO2007.
Conference proceedings will be published by ACM and also be in the ACM
Digial 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 15, 2007 (Revised)
- Workshop: July 27-28, 2007
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, Berkeley Univ.
Conference Organization
- General Chair
- Marc Moreno Maza (University of Western Ontario, Canada), moreno(@)orcca.on.ca
- Local Arrangements Chair
- Éric Schost (University of Western Ontario, Canada), schost(@)orcca.on.ca
- Program Committee Chair
- Marc Moreno Maza (University of Western Ontario, Canada), moreno(@)orcca.on.ca
- Proceedings Editor
- Stephen M. Watt (University of Western Ontario, Canada), watt(@)orcca.on.ca
- Publicity
- François Lemaire (Laboratoire d'Informatique Fondamentale de Lille, France),
lemaire(@)lifl.fr
- Administration
- Meg Borthwick (University of Western Ontario, Canada), meg(@)csd.uwo.ca
Program Committee
- Gene Cooperman, Northeastern University, USA
- Jean-Guillaume Dumas, Université Joseph Fourier, France
- Jean-Charles Faugère. 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 (PC Chair)
- Jean-Louis Roch, Université 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
Support from the following organizations is gratefully acknowledged:
Links