Wednesday, July 25  

8:158:50  Registration  
8:509:00  SNC Opening and Welcome  
SNC Morning  
Session chair: Jan Verschelde  
9:009:55  Invited Talk: Nick Trefethen. Computing Numerically with Functions instead of Numbers 

9:5510:00  Pause  
10:0010:25  Tateaki Sasaki and Fujio Kako. Computing Floatingpoint Groebner Bases Stably 

10:2510:50  Victor Y. Pan, Brian Murphy, Rhys Rosholt, Guoliang Qian and Yuqing Tang. Real RootFinding 

10:5011:10  Break  
11:1011:35  Dhavide Aruliah, Rob Corless, Laureano GonzalezVega and Azar Shakoori. Geometric Applications of the Bezout Matrix 

11:3512:00  Dhavide Aruliah, Rob Corless, Laureano GonzalezVega and Azar Shakoori. Companion Matrix Pencils for Hermite Interpolants 

12:00 1:30  Lunch  
SNC Afternoon  
Session chair: Greg Reid  
1:30 2:25  Invited Talk: Lihong Zhi. Numerical Optimization in Hybrid Symbolicnumeric Computation 

2:25 2:30  Pause  
2:30 2:55  Wenshin Lee. From QuotientDifference to Generalized Eigenvalues and Sparse Polynomial Interpolation 

2:55 3:20  Helfried Peyrl and Pablo Parrilo. A Macaulay2 Package for Computing Sum of Squares Decompositions 

3:20 3:45  Rob Corless and Nargol Rezvani. The Nearest Polynomial of Lower Degree 

3:45 4:05  Break  
4:05 4:30  Hiroshi Kai, Nanami Nakagawa and MatuTarow Noda. Hybrid Integral for Parametrized Rational Functions 

4:30 4:55  John P. May, David Saunders and David Wood. Numerical Techniques for Computing the Inertia of Products of Matrices of Rational Numbers 

4:55 5:20  Masaru Sanuki and Tateaki Sasaki. Computing Approximate GCD's in Illconditioned Cases 
Thursday, July 26  

8:159:00  Registration 
SNC Morning  
Session chair: Andrew Sommese  
9:00 9:55  Invited Talk: Charles Wampler. Numerical Algebraic Geometry and Kinematics 
9:5510:00  Pause 
10:0010:25  Barry Dayton. Numerical Local Rings and Local Solution of Nonlinear Systems 
10:2510:50  Dmytro Chibisov and Ernst W. Mayr. Motion Planning for 6RRobots: Multiple Tasks with Constrained Velocity and Orientation of the EndEffector 
10:5011:10  Break 
11:1011:35  Hiroshi Sekigawa. The Nearest Polynomial with a Zero in a Given Domain 
11:3512:00  Bin Li, Jiawang Nie and Lihong Zhi. Approximate GCDs of Polynomials and SDP Relaxation 
12:00 1:30  Lunch 
SNC Afternoon  
Session chair: Bernard Mourrain  
1:30 2:25  Invited Talk: Andre Galligo. Approximate Bivariate Factorization: a Geometric Viewpoint 
2:25 2:30  Pause 
2:30 2:55  Daiju Inaba and Tateaki Sasaki. A Numerical Study of Extended Hensel Series 
2:55 3:20  Amir Hashemi. PolynomialTime Algorithm for Hilbert Series of Borel Type Ideals 
3:20 3:45  Poteaux Adrien. Computing Monodromy Groups defined by Plane Algebraic Curves 
3:45 4:05  Break 
4:05 4:30  Mario Fioravanti, Laureano GonzalezVega, and Andreas Seidl. Real Implicitization of Curves and Geometric Extraneous Components 
4:30 4:55  Laureano GonzalezVega, Rob Corless, Dhavide Aruliah, Ignacio F. Rua and Azar
Shakoori. Computing the Topology of a Real Algebraic Plane Curve whose Equation is not Directly Available 
Friday, July 27  

8:158:50  Registration  
8:509:00  PASCO Opening and Welcome  
SNCPASCO Morning  
Session chair: Marc Moreno Maza  
9:009:55  [PASCO] Invited Talk: Katherine Yelick. Productivity and Performance Using Partitioned Global Address Space Languages 

9:5510:00  Pause  
10:0010:25  [SNC] Victor Pan. The Schur Aggregation for Solving Linear Systems of Equations 

10:2510:45  Break  
Session chair: Tateaki Sasaki  
10:4511:10  [PASCO] JeanGuillaume Dumas, Philippe ElbazVincent, Pascal Giorgi and Anna
Urbanska. Parallel Computation of the Rank of Large Sparse Matrices from Algebraic KTheory 

11:1011:35  [SNC] Marc Normandin, Adam Vajda and Sreeram Valluri. Matched Filtering a Gravitational Wave Pulsar Signal Involving Reciprocal Gamma Functions 

11:3511:40  Pause  
11:4012:35  [SNC] Invited Talk: Erich Kaltofen. On Probabilistic Analysis of Randomization in Hybrid SymbolicNumeric Algorithms 

12:352:00  Lunch  
SNCPASCO Afternoon  
Session chair: Stephen Watt  
2:002:25  Paul DeMarco. Parallel and Distributed Computation Using Maple 11 

2:252:30  Pause  
2:303:25  Invited Talk: Anthony Kennedy. Automating Renormalization of Quantum Field Theories 

3:253:30  Pause  
3:303:55  [PASCO] David Saunders, Bruce Char and Bryan Youse. LinBox and Future High Performance Computer Algebra 

3:554:15  Break  
Session chair: Jeremy Johnson  
4:154:40  [PASCO] Marc Moreno Maza and Yuzhen Xie. Componentlevel Parallelization of Triangular Decompositions 

4:405:05  [SNC] Victor Y. Pan and Xiaodong Yan. Null Space and Eigenspace Computations with Additive Preprocessing 

5:055:30  [PASCO] Anton Leykin. Computing Monodromy via Parallel Homotopy Continuation 

SNCPASCO Banquet  
6:00  Banquet at the Grad Club (Middlesex College)  
Afterdinner speaker: Keith Geddes 