From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 08AE0BC0A for ; Wed, 4 Apr 2007 04:13:51 +0200 (CEST) Received: from ptibonum.scl.csd.uwo.ca (ptibonum.scl.csd.uwo.ca [129.100.16.102]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l342DniM018510 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 4 Apr 2007 04:13:50 +0200 Received: from ptibonum.scl.csd.uwo.ca (localhost.localdomain [127.0.0.1]) by ptibonum.scl.csd.uwo.ca (8.13.1/8.13.1) with ESMTP id l342Dnhv022243 for ; Tue, 3 Apr 2007 22:13:49 -0400 Received: (from pasco2007@localhost) by ptibonum.scl.csd.uwo.ca (8.13.1/8.13.1/Submit) id l342DnZg022241 for caml-list@inria.fr; Tue, 3 Apr 2007 22:13:49 -0400 Date: Tue, 3 Apr 2007 22:13:49 -0400 From: PASCO 2007 Message-Id: <200704040213.l342DnZg022241@ptibonum.scl.csd.uwo.ca> To: caml-list@inria.fr Subject: PASCO 2007: News and 2nd Call for Papers X-Miltered: at concorde with ID 461309DD.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; issac:01 co-located:01 issac:01 gautier:01 algebra:01 computations:01 matrices:01 solvers:01 lifl:01 algebra:01 28,:98 2007,:98 katherine:98 2007.:98 28,:98 Parallel Symbolic Computation 2007 (PASCO 2007) July 27-28, 2007 -- London Canada http://www.orcca.on.ca/conferences/pasco2007 Second Announcement and C A L L f o r P A P E R S News: Extended Submission Deadline Invited Speakers ACM Proceedings 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. 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 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. 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: 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 Maplesoft Links: 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