Thursday, February 4, 2010

[DMANET] CFP: PASCO 2010 || July 21-23, 2010 - Grenoble, France


Parallel Symbolic Computation 2010 (PASCO 2010)

July 21-23, 2010 -- Grenoble, France

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

Initial Announcement


The International Workshop on Parallel and Symbolic Computation (PASCO)
is a series of workshops dedicated to the promotion and advancement of
parallel algorithms and software in all areas of symbolic mathematical
computation. The pervasive ubiquity of parallel architectures and memory
hierarchy has led to the emergence of a new quest for parallel
mathematical algorithms and software capable of exploiting the various
levels of parallelism: from hardware acceleration technologies (multicore
and multi-processor system on chip, GPGPU, FPGA) to cluster and global
computing platforms. To push up the limits of symbolic and algebraic
computations, beyond the optimization of the application itself, the
effective use of a large number of resources --memory and general
or specialized computing units-- is expected to enhance the performance
multi-criteria objectives: time, energy consumption, resource usage,
reliability. In this context, the design and the implementation of
mathematical algorithms with provable and adaptive performances is a
major challenge.

Earlier meetings in the PASCO series include PASCO'94 (Linz, Austria),
PASCO'97 (Maui, U.S.A.), PASCO'07 (London, Canada).
PASCO 2010 is affiliated with the 2010 International Symposium on Symbolic
and Algebraic Computation (ISSAC) in Munich, Germany. Immediately prior to
the ISSAC 2010 meeting, PASCO will be held in Grenoble, France.

The workshop PASCO 2010 will be a three-day event including invited
presentations and tutorials, contributed research papers and posters.
Specific topics include, but are not limited to:
* Design and analysis of parallel algorithms for computer algebra
* Practical parallel implementation of symbolic or symbolic-numeric
* High-performance software tools and libraries for computer algebra
* Applications of high-performance computer algebra
* Distributed data-structures for computer algebra
* Hardware acceleration technologies (multi-cores, GPUs, FPGAs) applied
to computer algebra
* Cache complexity and cache-oblivious algorithms for computer algebra
* Compile-time and run-time techniques for automating optimization and
platform adaptation of computer algebra algorithms

Call for Papers:

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. As in previous years, PASCO 2010 will publish formal
proceedings of the accepted papers.

Important Dates

Paper submission deadline: April 2 (Fri), 2010
Notification of acceptance: May 10 (Mon), 2010
Camera-ready version of paper due: May 28 (Fri), 2010
Tutorials and Workshop in Grenoble: July 21-23 (Wed-Fri), 2010

Conference Chairs:

Marc Moreno Maza (University of Western Ontario, Canada)
Jean-Louis Roch (Grenoble University, France)

Local Arrangements Chairs:

Jean-Guillaume Dumas (Grenoble University, France)
Thierry Gautier (INRIA Grenoble, France)
Clement Pernet (Grenoble University, France)

Publicity Chair:

Daniel Cordeiro (Grenoble University, France)


Daniele Herzog (INRIA Grenoble, France)
Christian Seguy (CNRS, France)
Ahlem Zammit-Boubaker (INRIA Grenoble, France)


PASCO 2010
ISSAC 2010

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.