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.6 required=5.0 tests=NO_REAL_NAME autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 58081BCAB for ; Sat, 24 Nov 2007 18:14:46 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAGLUR0eBZBBm/2dsb2JhbACOSg X-IronPort-AV: E=Sophos;i="4.21,460,1188770400"; d="scan'208";a="6136615" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Nov 2007 16:39:21 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id lAOFdIY3013192 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 24 Nov 2007 16:39:19 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8CAOrTR0eBZBBm/2dsb2JhbACOSg X-IronPort-AV: E=Sophos;i="4.21,460,1188770400"; d="scan'208";a="19633699" Received: from ptibonum.scl.csd.uwo.ca ([129.100.16.102]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Nov 2007 16:39:18 +0100 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 lAOFdH4K020888 for ; Sat, 24 Nov 2007 10:39:17 -0500 Received: (from cms2007@localhost) by ptibonum.scl.csd.uwo.ca (8.13.1/8.13.1/Submit) id lAOFdHLb020887 for caml-list@inria.fr; Sat, 24 Nov 2007 10:39:17 -0500 Date: Sat, 24 Nov 2007 10:39:17 -0500 From: cms2007@scl.csd.uwo.ca To: caml-list@inria.fr Subject: CMS Winter 2007 Meeting: Computer Algebra Session Message-ID: <20071124153917.GA20882@ptibonum.scl.csd.uwo.ca> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.4.1i X-Miltered: at discorde with ID 474845A6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; algebra:01 algebra:01 formalizing:01 parametric:01 orthogonal:01 matrices:01 10,:98 farmer:98 jacobson:98 functions:01 algorithm:01 linear:02 linear:02 quadratic:02 algorithmic:02 C A L L for P A R T I C I P A T I O N Algorithmic Challenges in Polynomial and Linear Algebra CMS Winter Meeting, London Ontario December 8-10, 2007 The Canadian Mathematical Society Winter 2007 Meeting will be held Dec 8-10 in London, Ontario. This is a scientifically rich meeting with seven plenary speakers, seventeen scientific sessions and student workshops. Within the meeting is a computer algebra stream, comprising a conference plenary talk E. Kaltofen: "Expressing a Fraction of Two Determinants as a Determinant" and a scientific session with 15 speakers: "Algorithmic Challenges in Polynomial and Linear Algebra" For more information about the CMS meeting, please see the CMS Meeting website http://www.math.ca/Events/winter07/ The abstracts of the computer algebra session may be found at: http://www.cms.math.ca/Events/winter07/abs/pdf/pla.pdf Sunday December 9 ================= Part 1. 8:30 W. Eberly, "On the Reliability of Block Wiedemann and Lanczos Algorithms -- Another Piece of the Puzzle" 9:00 G. Labahn, "Conditioning of the Generalized Hankel Eigenvalue Problem" 9:30 A. Storjohann, "Faster algorithms for the Frobenius canonical form" Part 2. 10:30 J. Carette, "Algorithm families, or how to write less code that does more" 11:00 W. Farmer, "Formalizing the Context in Computational Mathematics" Part 3. 16:00 M. Jacobson, "Computing the Regulator of a Real Quadratic Field" 16:30 J. Borwein, "Computationally discovered and proved generating functions" Monday December 10 ================= Part 4. 8:30 I. Kotsireas, "Systems of Polynomial Equations in Combinatorial Design Theory" 9:00 Songxin Liang, "A New Maple Package for Solving Parametric Polynomial Systems" 9:30 E. Schost, "Conversion algorithms for orthogonal polynomials" Part 5. 10:30 M. Moreno Maza, "Triangular decomposition of polynomial systems: from practice to high performance" 11:00 Yuzhen Xie, "Solving Polynomial Systems Symbolically and in Parallel" Plenary Talk. 15:00 E. Kaltofen, "Expressing a Fraction of Two Determinants as a Determinant" Part 6. 16:00 Carlos Beltran, "On the complexity of approximating solutions of systems of polynomial equations" 16:30 Mark Giesbrecht, "New Algorithms for Lacunary Polynomials" 17:00 John May, "A Symbolic-Numeric Approach to Computing Inertia of Products of Matrices of Rational Numbers"